5159 search results - page 651 / 1032 » Structural Testing of Executables |
226
Voted
ECBS
2010
IEEE
16 years 2 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
170
Voted
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper describes a systematic approach that facilitates yield improvement of integrated circuits at the post-manufacture stage. A new Configurable Analogue Transistor (CAT) st...
220
click to vote
CIVR
2009
Springer
16 years 2 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that is also a natural test bed for evaluating semantic structures for natural language descriptions of motion ...
210
click to vote
CMSB
2009
Springer
16 years 2 months ago
2009
Springer
Systems of ordinary differential equations (ODEs) are often used to model the dynamics of complex biological pathways. We construct a discrete state model as a probabilistic appro...
219
click to vote
DAARC
2009
Springer
16 years 2 months ago
2009
Springer
We focus on automatic coreference resolution for blogs and news articles with user comments as part of a project on opinion mining. We aim to study the effect of the genre shift f...