7393 search results - page 1130 / 1479 » Synthesis-for-testability using transformations |
186
click to vote
CLEANDB
2006
ACM
15 years 8 months ago
2006
ACM
RFID holds the promise of real-time identifying, locating, tracking and monitoring physical objects without line of sight, and can be used for a wide range of pervasive computing ...
126
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
136
click to vote
DIS
2006
Springer
15 years 8 months ago
2006
Springer
One of the primary goals in discovery science is to understand the human scientific reasoning processes. Despite sporadic success of automated discovery systems, few studies have s...
172
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
Chaitin proved that register allocation is equivalent to graph coloring and hence NP-complete. Recently, Bouchez, Brisk, and Hack have proved independently that the interference gr...
146
click to vote
FSE
2006
Springer
15 years 8 months ago
2006
Springer
The main application of stream ciphers is online-encryption of arbitrarily long data, for example when transmitting speech data between a Bluetooth headset and a mobile GSM phone o...