245 search results - page 48 / 49 » Efficient Symbolic Model Checking for Process Algebras |
WSCG
2004
13 years 7 months ago
2004
We present an accurate, interactive silhouette extraction mechanism for texture-based volume rendering. Compared to previous approaches, our system guarantees silhouettes of a use...
CAD
2004
Springer
13 years 5 months ago
2004
Springer
Joints in product design are common because of the limitations of component geometric configurations and material properties, and the requirements of inspection, accessibility, re...
ICML
2005
IEEE
14 years 6 months ago
2005
IEEE
T ORDER REGRESSION (EXTENDED ABSTRACT) Kurt Driessensa Saso Dzeroskib a Department of Computer Science, University of Waikato, Hamilton, New Zealand (kurtd@waikato.ac.nz) b Departm...
POPL
2010
ACM
14 years 2 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
DAC
2004
ACM
14 years 6 months ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...