Search Sciweavers | Sciweavers

7811 search results - page 108 / 1563

» computing 2004

153

click to vote

DAC
2004
ACM

126views Computer Architecture» more DAC 2004»

Automatic abstraction and verification of verilog models

16 years 8 months ago

Download www.eecs.umich.edu

Zaher S. Andraus, Karem A. Sakallah

claim paper

Read More »

142

click to vote

CMSB
2004
Springer

104views Applied Computing» more CMSB 2004»

The Biochemical Abstract Machine BIOCHAM

16 years 12 days ago

Download hal.archives-ouvertes.fr

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

claim paper

Read More »

125

click to vote

CONCUR
2004
Springer

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

Compiling Pattern Matching in Join-Patterns

16 years 12 days ago

Download hal.archives-ouvertes.fr

Qin Ma 0002, Luc Maranget

claim paper

Read More »

150

click to vote

DSOM
2004
Springer

57views Computer Networks» more DSOM 2004»

Using Process Restarts to Improve Dynamic Provisioning

16 years 12 days ago

Download walfredo.dsc.ufcg.edu.br

Raquel Vigolvino Lopes, Walfredo Cirne, Francisco ...

claim paper

Read More »

149

click to vote

GD
2004
Springer

100views Computer Graphics» more GD 2004»

Unit Bar-Visibility Layouts of Triangulated Polygons

16 years 12 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers