48 search results - page 5 / 10 » Implementation and Results of Hypothesis Testing from the C3... |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
ICS
2004
Tsinghua U.
14 years 26 days ago
2004
Tsinghua U.
Given the scale of massively parallel systems, occurrence of faults is no longer an exception but a regular event. Periodic checkpointing is becoming increasingly important in the...
CODES
2006
IEEE
14 years 1 months ago
2006
IEEE
Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffe...
USENIX
2001
13 years 8 months ago
2001
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
ASPDAC
2010
ACM
13 years 4 months ago
2010
ACM
This paper describes gate work function and oxide thickness tuning to realize novel circuits using dual-Vth independent-gate FinFETs. Dual-Vth FinFETs with independent gates enabl...