445 search results - page 74 / 89 » A Call Abstraction for Component Coordination |
109
click to vote
EDCC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract—A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts t...
103
click to vote
ICCS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Parallel Computational Science and Engineering (CSE) applications often exhibit irregular structure and dynamic load patterns. Many such applications have been developed ...
AMAST
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
66
Voted
CAV
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The problem of finding a small unsatisfiable core of an unsatisfiable CNF formula is addressed. The proposed algorithm, Trimmer, iterates over each internal node d in the...
DSD
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract-- Networks-on-Chip will serve as the central integration platform in future complex SoC designs, composed of a large number of heterogeneous processing resources. Most res...