321 search results - page 28 / 65 » Parallel Rule-Firing Production Systems |
149
click to vote
ICPP
2007
IEEE
16 years 6 days ago
2007
IEEE
The demand for more computational power in science and engineering has spurred the design and deployment of ever-growing cluster systems. Even though the individual components use...
172
click to vote
TACAS
2007
Springer
16 years 14 hour ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
151
click to vote
PODC
2010
ACM
15 years 9 months ago
2010
ACM
Large-scale hosting infrastructures require automatic system anomaly management to achieve continuous system operation. In this paper, we present a novel adaptive runtime anomaly ...
159
click to vote
ICDCS
2008
IEEE
16 years 10 days ago
2008
IEEE
To rapidly evolve new designs of peer-to-peer (P2P) multimedia streaming systems, it is highly desirable to test and troubleshoot them in a controlled and repeatable experimental ...
135
click to vote
IPPS
2006
IEEE
15 years 12 months ago
2006
IEEE
Checkpoint and Recovery (CPR) systems have many uses in high-performance computing. Because of this, many developers have implemented it, by hand, into their applications. One of ...