Sciweavers

10539 search results - page 103 / 2108
» On L
Sort
View
105
Voted
ESEC
1999
Springer
15 years 7 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
108
Voted
VISUALIZATION
1999
IEEE
15 years 7 months ago
Progressive Compression and Transmission of Arbitrary Triangular Meshes
Chandrajit L. Bajaj, Valerio Pascucci, Guozhong Zh...
ICCAD
1998
IEEE
70views Hardware» more  ICCAD 1998»
15 years 7 months ago
Verification by approximate forward and backward reachability
Shankar G. Govindaraju, David L. Dill
119
Voted
KES
1999
Springer
15 years 7 months ago
Genetic algorithms vs. Tabu search in timetable scheduling
S. C. Chu, H. L. Fang