616 search results - page 26 / 124 » An effective dynamic analysis for detecting generalized dead... |
83
Voted
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
107
click to vote
ISBI
2007
IEEE
15 years 4 months ago
2007
IEEE
According to the recent theory of compressed sensing, accurate reconstruction is possible even from data samples dramatically smaller than Nyquist sampling limit as long as the un...
132
click to vote
DLS
2010
14 years 7 months ago
2010
Dynamic languages such as Python allow programs to be written more easily using high-level constructs such as comprehensions for queries and using generic code. Efficient executio...
NIPS
2003
14 years 11 months ago
2003
Recent multi-agent extensions of Q-Learning require knowledge of other agents’ payoffs and Q-functions, and assume game-theoretic play at all times by all other agents. This pap...