4385 search results - page 78 / 877 » Abstraction for Concurrent Objects |
ISQED
2003
IEEE
15 years 4 months ago
2003
IEEE
We discuss a non-intrusive methodology for concurrent fault detection in random combinational logic. The proposed method is similar to duplication, wherein a replica of the circui...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
In Concurrent engineering, design solutions are not only produced by individuals specialized in a given field. Due to the team nature of the design activity, solutions are negotia...
105
click to vote
CC
2004
Springer
15 years 4 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
119
click to vote
RTAS
1999
IEEE
15 years 3 months ago
1999
IEEE
Data replication can help database systems meet the stringent temporal constraints of current time-critical applications, especially Internet-based services. A prerequisite, howev...
113
click to vote
CORR
2004
Springer
14 years 10 months ago
2004
Springer
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...