4491 search results - page 515 / 899 » Algorithm Engineering |
153
click to vote
ISLPED
2007
ACM
15 years 7 months ago
2007
ACM
To address the productivity bottlenecks in power analysis and optimization of modern systems, we propose to treat power as a signal and leverage the rich set of signal processing ...
157
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...
162
click to vote
JODS
2007
15 years 6 months ago
2007
This paper describes a theoretical framework for inducing knowledge from incomplete data sets. The general framework can be used with any formalism based on a lattice structure. It...
193
click to vote
CGO
2010
IEEE
16 years 1 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
164
click to vote
IUI
2005
ACM
15 years 12 months ago
2005
ACM
XML has emerged as the primary standard of data representation and data exchange [13]. Although many software tools exist to assist the XML implementation process, data must be ma...