182 search results - page 8 / 37 » The Secret Art of Computer Programming |
ICAD
2004
13 years 8 months ago
2004
This paper provides a summary of previous work done in the area of external auditory representations of programs (known as program auralisation). A brief historical review is give...
ERSHOV
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Information flow exhibited by multithreaded programs is subtle because the attacker may exploit scheduler properties when deducing secret information from publicly observ...
AHS
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper reviews the current state of the art in highperformance reconfigurable computing (HPRC) from the perspective of EPCC, the high-performance computing centre at the Unive...
PEPM
2009
ACM
14 years 4 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
Dynamic programming on a scanline is one of the oldest and still popular methods for stereo correspondence. While efficient, its performance is far from the state of the art becau...