1182 search results - page 130 / 237 » Reducing the Overhead of Dynamic Analysis |
CAV
2011
Springer
13 years 2 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
ICFP
2003
ACM
14 years 11 months ago
2003
ACM
Program analysis is the heart of modern compilers. Most control flow analyses are reduced to the problem of finding a fixed point in a certain transition system, and such fixed po...
OOPSLA
2005
Springer
14 years 4 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
DATE
2006
IEEE
14 years 5 months ago
2006
IEEE
— The world of 3D graphics, until recently restricted to high-end workstations and game consoles, is rapidly expanding into the domain of mobile platforms such as cellular phones...
INFOCOM
2003
IEEE
14 years 4 months ago
2003
IEEE
—On-demand routing reduces the control overhead in mobile ad hoc networks, but it has the major drawback of introducing latency between route-request arrival and the determinatio...