3145 search results - page 529 / 629 » Algebraic Linear Orderings |
121
click to vote
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we propose a novel fault-oriented test generation methodology for detection and isolation of faults in analog circuits. Given the description of the circuit-underte...
142
Voted
DEXA
2000
Springer
15 years 8 months ago
2000
Springer
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
123
click to vote
SPAA
2010
ACM
15 years 8 months ago
2010
ACM
In dynamically multithreaded platforms that employ work stealing, there appears to be a fundamental tradeoff between providing provably good time and space bounds and supporting S...
123
click to vote
ICNP
1999
IEEE
15 years 8 months ago
1999
IEEE
As a soft-state protocol, RSVP specifies that each RSVP node sends periodic control messages to maintain the state for active RSVP sessions. The protocol overhead due to such peri...
127
click to vote
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...