231 search results - page 43 / 47 » A Parallel State Assignment Algorithm for Finite State Machi... |
111
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Cooperative checkpointing uses global knowledge of the state and health of the machine to improve performance and reliability by dynamically deciding when to skip checkpoint reque...
131
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
144
Voted
SPAA
2009
ACM
16 years 2 months ago
2009
ACM
Thread-level speculation (TLS) is a technique that allows parts of a sequential program to be executed in parallel. TLS ensures the parallel program's behaviour remains true ...
124
Voted
SPAA
2010
ACM
15 years 7 months ago
2010
ACM
TL2 and similar STM algorithms deliver high scalability based on write-locking and invisible readers. In fact, no modern STM design locks to read along its common execution path b...
121
Voted
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
Clusters are mostly used through Resources Management Systems (RMS) with a static allocation of resources for a bounded amount of time. Those approaches are known to be insufficie...