939 search results - page 40 / 188 » Improving Dynamic Data Analysis with Aspect-Oriented Program... |
APLAS
2008
ACM
13 years 10 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
ICSEA
2006
IEEE
14 years 2 months ago
2006
IEEE
— In today software industry defect tracking tools either help to improve an organization’s software development process or an individual’s software development process. No d...
IDEAS
2003
IEEE
14 years 2 months ago
2003
IEEE
We characterize the dynamic data management problem for location based services(LBS) in mobile environments and devise a cost model for servicing both location independent and loc...
CAV
2007
Springer
14 years 3 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
SAMOS
2010
Springer
13 years 6 months ago
2010
Springer
A new heterogeneous multiprocessor system with dynamic memory and power management for improved performance and power consumption is presented. Increased data locality is automatic...