2364 search results - page 87 / 473 » An Engine for Computing Well-Founded Models |
170
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
133
click to vote
IJCSA
2008
15 years 3 months ago
2008
Within the computer aided design (CAD) teaching framework, new information and communication technologies (ICT's) are being set through new tools and methodological changes: ...
158
click to vote
ECBS
2007
IEEE
15 years 5 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...
109
Voted
JVM
2001
15 years 5 months ago
2001
ompiler for Many Memory Models { extended abstract Samuel P. Midki IBM TJ Watson Research Jaejin Lee Dept. of Computer Science and Engineering, Michigan State University David A. P...
118
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...