4166 search results - page 514 / 834 » Automating the constraining process |
162
click to vote
JCIT
2008
15 years 4 months ago
2008
Lack of time and capital for software testing is an oft encountered problem in most organizations. The plethora of possible test cases for each software component makes software t...
136
click to vote
NAR
2006
15 years 4 months ago
2006
The completion of the sequencing of the human genome and the concurrent, rapid development of high-throughput proteomic methods have resulted in an increasing need for automated a...
163
click to vote
IVC
2007
15 years 4 months ago
2007
ct 7 An increasingly frequent application of Machine Vision technologies is in automated surface inspection for the detection of defects in 8 manufactured products. Such systems oï...
165
click to vote
TVLSI
2008
15 years 4 months ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
129
click to vote
JSA
1998
15 years 4 months ago
1998
In this paper, we present a network conscious approach to designing distributed real-time systems. Given a task graph design of the system, the end-to-end constraints on the input...