141 search results - page 13 / 29 » A dynamic evaluation of the precision of static heap abstrac... |
120
click to vote
CSMR
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract--Building comprehensive test suites for web applications poses new challenges in software testing. Coverage criteria used for traditional systems to assess the quality of ...
137
click to vote
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
111
click to vote
GECCO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This paper investigates the sample weighting effect on Genetic Parallel Programming (GPP) that evolves parallel programs to solve the training samples captured directly f...
138
click to vote
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract—The WiFi radio in smartphones consumes a significant portion of energy when active. To reduce the energy consumption, the Power Saving Mode was standardized in IEEE 802...
101
click to vote
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—To respond to variations in solar energy, harvestedenergy prediction is essential to harvested-energy management approaches. The effectiveness of such approaches is depe...