432 search results - page 38 / 87 » Automated testing of refactoring engines |
103
click to vote
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
124
click to vote
CAIP
2007
Springer
15 years 5 months ago
2007
Springer
Automating the steps involved in video processing has yet to be tackled with much success by vision developers and knowledge engineers. This is due to the difficulty in formulating...
KBSE
1998
IEEE
15 years 3 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
119
click to vote
TASE
2010
IEEE
14 years 5 months ago
2010
IEEE
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...