762 search results - page 5 / 153 » Conditionally correct superoptimization |
TSE
2002
13 years 9 months ago
2002
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
As devices are scaled to the nanoscale regime, it is clear that future nanodevices will be plagued by higher soft error rates and reduced noise margins. Traditional implementation...
ICST
2008
IEEE
14 years 4 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
TPHOL
1994
IEEE
14 years 1 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
PRDC
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper we explore the minimal system requirements to implement unreliable failure detectors. We first consider systems formed by lossy asynchronous and eventually timely l...