6756 search results - page 99 / 1352 » Distributed Shared State |
134
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
126
click to vote
ESCIENCE
2007
IEEE
15 years 6 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
114
click to vote
ACL
1998
15 years 3 months ago
1998
In wide-coverage lexicalized grammars many of the elementary structures have substructures in common. This means that in conventional parsing algorithms some of the computation as...
137
click to vote
PE
2010
Springer
15 years 27 days ago
2010
Springer
From a rare events perspective, scheduling disciplines that work well under light (exponential) tailed workload distributions do not perform well under heavy (power) tailed worklo...
142
Voted
PADS
2006
ACM
15 years 8 months ago
2006
ACM
A master/worker paradigm for executing large-scale parallel discrete event simulation programs over networkenabled computational resources is proposed and evaluated. In contrast t...