Search Sciweavers | Sciweavers

10539 search results - page 103 / 2108

» On L

104

click to vote

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 7 months ago

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

108

Voted

VISUALIZATION
1999
IEEE

85views Visualization» more VISUALIZATION 1999»

Progressive Compression and Transmission of Arbitrary Triangular Meshes

15 years 7 months ago

Download www.pascucci.org

Chandrajit L. Bajaj, Valerio Pascucci, Guozhong Zh...

claim paper

Read More »

click to vote

ICSE
1999
IEEE-ACM

87views Software Engineering» more ICSE 1999»

Architecting for Large-Scale Systematic Component Reuse

15 years 7 months ago

Download www.hpl.hp.com

Martin L. Griss

claim paper

Read More »

click to vote

ICCAD
1998
IEEE

70views Hardware» more ICCAD 1998»

Verification by approximate forward and backward reachability

15 years 7 months ago

Download www.cs.york.ac.uk

Shankar G. Govindaraju, David L. Dill

claim paper

Read More »

116

click to vote

KES
1999
Springer

314views Information Technology» more KES 1999»

Genetic algorithms vs. Tabu search in timetable scheduling

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers