2108 search results - page 237 / 422 » An Operational Semantics for Stateflow |
141
click to vote
PODC
2010
ACM
15 years 8 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...
130
click to vote
ACNS
2006
Springer
15 years 8 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...
141
click to vote
HPDC
2010
IEEE
15 years 5 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...
158
Voted
BMCBI
2005
15 years 4 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...
138
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Keyword search for smallest lowest common ancestors (SLCAs) in XML data has recently been proposed as a meaningful way to identify interesting data nodes in XML data where their s...