3424 search results - page 304 / 685 » Automated Testing of Classes |
153
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
RFIC reliability is fast becoming a major bottleneck in the yield and performance of modern IC systems, as process complexity and levels of integration continually increase. Due t...
150
click to vote
ETFA
2006
IEEE
16 years 24 days ago
2006
IEEE
Current wireless technologies offer a viable solution for implementing communication systems capable of satisfying the severe timing requirements often required for operations at ...
176
click to vote
WCRE
2006
IEEE
16 years 22 days ago
2006
IEEE
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
156
click to vote
TSD
2004
Springer
16 years 2 days ago
2004
Springer
This paper is about the automated production of dialogue models. The goal is to propose and validate a methodology that allows the production of finalized dialogue models (i.e. di...
161
click to vote
LICS
2003
IEEE
16 years 8 hour ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...