Zobrazeno 1 - 10
of 173
pro vyhledávání: '"Peterson, Christina"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Smart contract transactions demonstrate issues of performance and correctness that application programmers must work around. Although the blockchain consensus mechanism approaches ACID compliance, use cases that rely on frequent state changes are imp
Externí odkaz:
http://arxiv.org/abs/1905.12351
Architectural imperatives due to the slowing of Moore's Law, the broad acceptance of relaxed semantics and the O(n!) worst case verification complexity of generating sequential histories motivate a new approach to concurrent correctness. Desiderata f
Externí odkaz:
http://arxiv.org/abs/1905.06421
We present a new approach to check for commutativity in concurrent programs from their state-chart graphs. A set of operations are commutative if changing the order of their execution on an object does not affect the abstract state of the object and
Externí odkaz:
http://arxiv.org/abs/1904.04291
Adjacency lists are frequently used in graphing or map based applications. Although efficient concurrent linked-list algorithms are well known, it can be difficult to adapt these approaches to build a high-performance adjacency list. Furthermore, it
Externí odkaz:
http://arxiv.org/abs/1903.10036
Autor:
Peterson, Christina A.
In an increasingly urbanized world, parks, open space and wilderness areas are vitally important to human well-being. California State Parks provide people with the ability to connect with nature and engage in outdoor recreation. Moreover, these park
Externí odkaz:
http://pqdtopen.proquest.com/#viewpdf?dispub=10169616
Autor:
Cook, Victor1 (AUTHOR), Peterson, Christina1 (AUTHOR) clp8199@knights.ucf.edu, Painter, Zachary1 (AUTHOR), Dechev, Damian1 (AUTHOR)
Publikováno v:
Computing. May2023, Vol. 105 Issue 5, p955-978. 24p.
Autor:
Peterson, Christina *, Skolits, Gary
Publikováno v:
In Evaluation and Program Planning June 2020 80
Autor:
Peterson, Christina, Skolits, Gary
Publikováno v:
In Evaluation and Program Planning October 2019 76
Compiler‐driven approach for automating nonblocking synchronization in concurrent data abstractions.
Publikováno v:
Concurrency & Computation: Practice & Experience; 2/29/2024, Vol. 36 Issue 5, p1-27, 27p