23 search results - page 1 / 5 » Controlling factors in evaluating path-sensitive error detec... |
SIGSOFT
2006
ACM
15 years 11 months ago
2006
ACM
DFT
2008
IEEE
15 years 13 days ago
2008
IEEE
This paper presents a concurrent error detection technique for the control logic of a modern microprocessor. Our method is based on execution time prediction for each instruction ...
JSAC
2006
14 years 10 months ago
2006
Multicarrier direct-sequence code-division multiple access (MC-DS-CDMA) becomes an attractive technique for the future fourth-generation (4G) wireless system because it can flexibl...
DFT
2006
IEEE
15 years 4 months ago
2006
IEEE
Control flow checking (CFC) is a well known concurrent checking technique for ensuring that a program’s instruction execution sequence follows permissible paths. Almost all CFC...
107
click to vote
ASPLOS
2011
ACM
14 years 2 months ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...