2135 search results - page 221 / 427 » An Operational Semantics for JavaScript |
138
Voted
WDAG
2004
Springer
15 years 8 months ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
129
Voted
PODC
2010
ACM
15 years 7 months ago
2010
ACM
Concurrent collection classes are widely used in multi-threaded programming, but they provide atomicity only for a fixed set of operations. Software transactional memory (STM) pr...
120
click to vote
ACNS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Membership queries are basic predicate operations that apply to datasets. Quantifications of such queries express global properties between datasets, including subset inc...
126
click to vote
HPDC
2010
IEEE
15 years 4 months ago
2010
IEEE
We introduce LogGOPSim--a fast simulation framework for parallel algorithms at large-scale. LogGOPSim utilizes a slightly extended version of the well-known LogGPS model in combin...
151
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Computational methods for problem solving need to interleave information access and algorithm execution in a problem-specific workflow. The structures of these workflo...