Sciweavers

10539 search results - page 103 / 2108
» On L
Sort
View
ESEC
1999
Springer
15 years 10 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
VISUALIZATION
1999
IEEE
15 years 10 months ago
Progressive Compression and Transmission of Arbitrary Triangular Meshes
Chandrajit L. Bajaj, Valerio Pascucci, Guozhong Zh...
100
Voted
ICSE
1999
IEEE-ACM
15 years 10 months ago
Architecting for Large-Scale Systematic Component Reuse
Martin L. Griss
ICCAD
1998
IEEE
70views Hardware» more  ICCAD 1998»
15 years 10 months ago
Verification by approximate forward and backward reachability
Shankar G. Govindaraju, David L. Dill