Search Sciweavers | Sciweavers

10539 search results - page 103 / 2108

» On L

click to vote

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

14 years 1 months ago

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

click to vote

VISUALIZATION
1999
IEEE

85views Visualization» more VISUALIZATION 1999»

Progressive Compression and Transmission of Arbitrary Triangular Meshes

14 years 1 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

14 years 1 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

14 years 1 months ago

Download www.cs.york.ac.uk

Shankar G. Govindaraju, David L. Dill

claim paper

Read More »

click to vote

KES
1999
Springer

314views Information Technology» more KES 1999»

Genetic algorithms vs. Tabu search in timetable scheduling

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers