967 search results - page 109 / 194 » Automated benchmarking and analysis tool |
158
click to vote
PVM
2007
Springer
16 years 1 days ago
2007
Springer
Complex code bases require continual testing to ensure that both new development and routine maintenance do not create unintended side effects. Automation of regression testing is...
144
click to vote
MSE
2003
IEEE
15 years 11 months ago
2003
IEEE
We present the structure of an analog integrated circuit design laboratory to instruct at both, senior undergraduate and entry graduate levels. The teaching material includes: a l...
165
click to vote
WS
2008
ACM
15 years 5 months ago
2008
ACM
The World Wide Web (WWW) can be seen as an ideal platform for enhancing argumentative expression and communication, due to its ubiquity and openness. Much argumentation takes plac...
178
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
155
click to vote
DDECS
2008
IEEE
16 years 12 days ago
2008
IEEE
— Due to ever increasing design sizes more efficient tools for Automatic Test Pattern Generation (ATPG) are needed. Recently ATPG based on Boolean satisfiability (SAT) has been ...