1178 search results - page 131 / 236 » Static and Dynamic Evaluation of Data Dependence Analysis |
180
click to vote
CAV
2011
Springer
14 years 9 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 ...
160
click to vote
ISBI
2007
IEEE
16 years 13 days ago
2007
IEEE
Quantitative analysis of dynamical processes in living cells by means of fluorescence microscopy imaging requires tracking of hundreds of bright spots in noisy image sequences. D...
143
Voted
FASE
2007
Springer
16 years 9 days ago
2007
Springer
Web applications are increasingly prominent in society, serving a wide variety of user needs. Engineers seeking to enhance, test, and maintain these applications and third-party pr...
163
click to vote
ISWC
2003
IEEE
15 years 11 months ago
2003
IEEE
Context-aware computing describes the situation where a wearable / mobile computer is aware of its user’s state and surroundings and modifies its behavior based on this informat...
183
click to vote
GECCO
2009
Springer
16 years 21 days ago
2009
Springer
We investigate the dynamics of trader behaviors using a co-evolutionary genetic programming system to simulate a double-auction market. The objective of this study is twofold. Fir...