243 search results - page 40 / 49 » Error Detection Using Dynamic Dataflow Verification |
PRDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Reliability has become a serious concern as systems embrace nanometer technologies. In this paper, we propose a novel approach for organizing redundancy that provides high degree ...
ESOP
2003
Springer
14 years 1 months ago
2003
Springer
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...
ASPLOS
2012
ACM
12 years 4 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
DAC
2008
ACM
14 years 9 months ago
2008
ACM
Hardware accelerators are common in embedded systems that have high performance requirements but must still operate within stringent energy constraints. To facilitate short time-t...
CGVR
2007
13 years 10 months ago
2007
We present an experiment on depth cues for knot visualization in desktop virtual reality (fishtank VR). We used a within-subjects experiment to investigate stereoscopic visuals an...