5159 search results - page 275 / 1032 » Structural Testing of Executables |
209
click to vote
JMLR
2012
13 years 9 months ago
2012
Often when modeling structured domains, it is desirable to leverage information that is not naturally expressed as simply a label. Examples include knowledge about the evaluation ...
197
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
211
click to vote
ALGORITHMICA
2005
15 years 7 months ago
2005
A new priority queue structure, the queap, is introduced. The queap executes insertion in O(1) amortized time and extract-min in O(log(k+2)) amortized time if there are k items th...
213
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
Structure from motion (SFM) is the problem of reconstructing the geometry of a scene from a stream of images. In this problem, the geometry of the scene must be inferred from imag...
170
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...