492 search results - page 91 / 99 » Reliability and Fault Tolerance in Trust |
GLVLSI
2009
IEEE
13 years 5 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
ICC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--We present Starburst, a routing-based protocol designed to efficiently disseminate data items to small subsets within a sensor network. Starburst constructs a routing hie...
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
Log-based recovery and replay systems are important for system reliability, debugging and postmortem analysis/recovery of malware attacks. These systems must incur low space and p...
SAFECOMP
2005
Springer
14 years 29 days ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
DAC
2009
ACM
14 years 8 months ago
2009
ACM
Post-silicon processor debugging is frequently carried out in a loop consisting of several iterations of the following two key steps: (i) processor execution for some duration, fo...