85 search results - page 16 / 17 » VADA: A Transformation-Based System for Variable Dependence ... |
DATE
2006
IEEE
13 years 12 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
EH
2005
IEEE
13 years 11 months ago
2005
IEEE
Manufacturing processes are a key source of faults in complex hardware systems. Minimizing this impact of manufacturing uncertainties is one way towards achieving fault tolerant s...
EJIS
2010
13 years 5 months ago
2010
In the last few decades, several studies have found the same technology implemented in highly similar organizational settings to be associated with very different consequences for...
ICDT
2010
ACM
14 years 3 months ago
2010
ACM
The work reported here lays the foundations of data exchange in the presence of probabilistic data. This requires rethinking the very basic concepts of traditional data exchange, ...
STOC
2006
ACM
13 years 11 months ago
2006
ACM
Memory management is a fundamental problem in computer architecture and operating systems. We consider a two-level memory system with fast, but small cache and slow, but large mai...