250 search results - page 18 / 50 » State Isomorphism in Model Programs with Abstract Data Struc... |
HIPC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Lock-free shared data structures in the setting of distributed computing have received a fair amount of attention. Major motivations of lock-free data structures include ...
TLDI
2003
ACM
15 years 2 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
106
click to vote
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...
89
Voted
IJON
2006
14 years 9 months ago
2006
ional models of cortical associative memory often take a top-down approach. We have previously described such an abstract model with a hypercolumnar structure. Here we explore a s...
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...