9 search results - page 2 / 2 » Anticipating the Reader's Problems and the Automatic Generat... |
ICCS
2007
Springer
14 years 5 days ago
2007
Springer
Abstract. Multiphysics and multiscale simulation systems are emerging as a new grand challenge in computational science, largely because of increased computing power provided by th...
SIGSOFT
2008
ACM
14 years 6 months ago
2008
ACM
Web macros give web browser users ways to "program" tedious tasks, allowing those tasks to be repeated more quickly and reliably than when performed by hand. Web macros ...
ICCAD
2002
IEEE
14 years 2 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...
CORR
2002
Springer
13 years 5 months ago
2002
Springer
Many academic journals ask their authors to provide a list of about five to fifteen keywords, to appear on the first page of each article. Since these key words are often phrases ...