180 search results - page 22 / 36 » Locating causes of program failures |
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
We present a mobile vision system for multi-person tracking in busy environments. Specifically, the system integrates continuous visual odometry computation with tracking-bydetect...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Performance tuning involves a diagnostic process to locate and explain sources of program inefficiency. A performance diagnosis system can leverage knowledge of performance cause...
IWSEC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
TLCA
2009
Springer
14 years 3 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
IFL
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...