653 search results - page 92 / 131 » Implications of a Data Structure Consistency Checking System |
137
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse...
136
Voted
APN
2008
Springer
15 years 6 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
156
click to vote
TPDS
2010
14 years 11 months ago
2010
Publish/subscribe systems provide useful platforms for delivering data (events) from publishers to subscribers in a decoupled fashion. Developing efficient publish/subscribe scheme...
133
click to vote
DEBU
2008
15 years 4 months ago
2008
Increasingly, companies recognize that most of their important information does not exist in relational stores but in documents. For a long time, textual information has been rela...
155
Voted
DASFAA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. The rapid growth in the amount of XML data and the development of publish-subscribe systems have led to great interest in processing streaming XML data. We propose the Qs...