441 search results - page 32 / 89 » Generic Timing Fault Tolerance using a Timely Computing Base |
SIGOPS
2011
13 years 2 months ago
2011
Secure, fault-tolerant distributed systems are difficult to build, to validate, and to operate. Conservative design for such systems dictates that their security and fault toleran...
FDTC
2006
Springer
13 years 11 months ago
2006
Springer
With physical attacks threatening the security of current cryptographic schemes, no security policy can be developed without taking into account the physical nature of computation....
ENTCS
2006
13 years 7 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In large Wireless Sensor Networks (WSNs), each hop might incur varying delays due to medium access contention, transmission and computation delays. Fast and efficient query re...
AFRIGRAPH
2007
ACM
13 years 11 months ago
2007
ACM
Nowadays, many commercial CAD systems are built on proprietary geometric kernels which provide an API containing a set of high level geometric operations (boolean operations, slot...