1629 search results - page 220 / 326 » Infeasible Code Detection |
113
click to vote
PLDI
1990
ACM
15 years 5 months ago
1990
ACM
- This paper describes techniques for optimizing range checks performed to detect array bound violations. In addition to the elimination of range check:s, the optimizations discuss...
131
click to vote
HOTOS
2007
IEEE
15 years 5 months ago
2007
IEEE
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...
AAAI
2004
15 years 2 months ago
2004
A wide variety of techniques for visual navigation using robot-mounted cameras have been described over the past several decades, yet adoption of optical flow navigation technique...
112
click to vote
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
This paper introduces a new way to provide strong atomicity in an implementation of transactional memory. Strong atomicity lets us offer clear semantics to programs, even if they ...
103
click to vote
CLUSTER
2003
IEEE
15 years 6 months ago
2003
IEEE
We further increase the efficiency of Java RMI programs. Where other optimizing re-implementations of RMI use pre-processors to create stubs and skeletons and to create class spe...