Search Sciweavers | Sciweavers

7811 search results - page 108 / 1563

» computer 2004

132

click to vote

DAC
2004
ACM

126views Computer Architecture» more DAC 2004»

Automatic abstraction and verification of verilog models

16 years 7 months ago

Download www.eecs.umich.edu

Zaher S. Andraus, Karem A. Sakallah

claim paper

Read More »

130

click to vote

CMSB
2004
Springer

104views Applied Computing» more CMSB 2004»

The Biochemical Abstract Machine BIOCHAM

15 years 11 months ago

Download hal.archives-ouvertes.fr

Nathalie Chabrier-Rivier, François Fages, S...

claim paper

Read More »

110

click to vote

CONCUR
2004
Springer

98views Distributed And Parallel Com...» more CONCUR 2004»

Compiling Pattern Matching in Join-Patterns

15 years 11 months ago

Download hal.archives-ouvertes.fr

Qin Ma 0002, Luc Maranget

claim paper

Read More »

135

click to vote

DSOM
2004
Springer

57views Computer Networks» more DSOM 2004»

Using Process Restarts to Improve Dynamic Provisioning

15 years 11 months ago

Download walfredo.dsc.ufcg.edu.br

Raquel Vigolvino Lopes, Walfredo Cirne, Francisco ...

claim paper

Read More »

129

click to vote

GD
2004
Springer

100views Computer Graphics» more GD 2004»

Unit Bar-Visibility Layouts of Triangulated Polygons

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers