3235 search results - page 368 / 647 » Partial Redundant Modeling |
131
click to vote
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, a new paradigm for designing logic circuits with concurrent error detection (CED) is described. The key idea is to exploit the asymmetric soft error susceptibility ...
135
Voted
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract. Computer simulations of realistic applications usually require solving a set of non-linear partial di erential equations PDEs over a nite region. The process of obtaini...
127
click to vote
RTCSA
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper, we propose a protocol synthesis method based on a partial order model (called event structures) for the class of context-free processes. First, we assign a unique n...
159
click to vote
CONCUR
1992
Springer
15 years 8 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
132
click to vote
LICS
1991
IEEE
15 years 8 months ago
1991
IEEE
Starting from a logic which speci es how to make deductions from a set of sentences (a ` at theory'), a way to generalise this toa partiallyordered bag ofsentences (a `struct...