967 search results - page 109 / 194 » Automated benchmarking and analysis tool |
133
click to vote
PVM
2007
Springer
15 years 10 months 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...
117
Voted
MSE
2003
IEEE
15 years 9 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...
137
Voted
WS
2008
ACM
15 years 3 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...
141
Voted
SPIN
2010
Springer
15 years 2 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...
122
Voted
DDECS
2008
IEEE
15 years 10 months 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 ...