1087 search results - page 42 / 218 » Generation under Space Constraints |
163
click to vote
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
143
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
107
click to vote
NECO
2008
15 years 4 months ago
2008
ns. We have previously developed an abstract dynamical system for networks of spiking neurons that has allowed us to identify the criterion for the stationary dynamics of a network...
164
click to vote
RSP
2003
IEEE
15 years 9 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
185
click to vote
EMNLP
2011
14 years 4 months ago
2011
We explore unsupervised approaches to relation extraction between two named entities; for instance, the semantic bornIn relation between a person and location entity. Concretely, ...