Search Sciweavers | Sciweavers

4609 search results - page 107 / 922

» Automatic Generation of Sigma-Protocols

117

click to vote

CODES
1997
IEEE

105views Software Engineering» more CODES 1997»

Automatic Generation of a Real-Time Operating System for Embedded Systems

15 years 10 months ago

Download embedded.eecs.berkeley.edu

Abstract Felice Balarin Massimiliano Chiodoy Attila Jurecskaz Luciano Lavagno Bassam Tabbarax Alberto Sangiovanni-Vincentelli April 28, 1997

Felice Balarin, Massimiliano Chiodo, Attila Jurecs...

claim paper

Read More »

125

click to vote

GLVLSI
1997
IEEE

92views VLSI» more GLVLSI 1997»

An Efficient Dynamic Parallel Approach to Automatic Test Pattern Generation

15 years 10 months ago

Download www.cecs.uci.edu

H.-Ch. Dahmen, Uwe Gläser, Heinrich Theodor V...

claim paper

Read More »

133

click to vote

HPDC
1994
IEEE

129views Distributed And Parallel Com...» more HPDC 1994»

Automatic Generation of Parallel Programs with Dynamic Load Balancing

15 years 10 months ago

Download reports-archive.adm.cs.cmu.edu

Bruce S. Siegell, Peter Steenkiste

claim paper

Read More »

136

click to vote

EURODAC
1990
IEEE

72views VHDL» more EURODAC 1990»

CGE: automatic generation of controllers in the CATHEDRAL-II silicon compiler

15 years 10 months ago

Download bwrc.eecs.berkeley.edu

J. Zegers, Paul Six, Jan M. Rabaey, Hugo De Man

claim paper

Read More »

125

click to vote

PLDI
1989
ACM

85views Programming Languages» more PLDI 1989»

Automatic Generation of DAG Parallelism

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers