697 search results - page 35 / 140 » An Efficient Hardware Support for Control Data Validation |
VLDB
2004
ACM
14 years 28 days ago
2004
ACM
The erosion of trust put in traditional database servers and in Database Service Providers, the growing interest for different forms of data dissemination and the concern for prot...
ICCAD
2009
IEEE
13 years 5 months ago
2009
IEEE
Very thorough online self-test is essential for overcoming major reliability challenges such as early-life failures and transistor aging in advanced technologies. This paper demon...
AAAI
1997
13 years 9 months ago
1997
This paper describes an environment for supporting very large ontologies. The system can be used on single PCs, workstations, a cluster of workstations, and high-end parallel supe...
ICSM
2003
IEEE
14 years 26 days ago
2003
IEEE
Version control and bug tracking systems contain large amounts of historical information that can give deep insight into the evolution of a software project. Unfortunately, these ...
PLDI
2010
ACM
13 years 10 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...