Search Sciweavers | Sciweavers

4609 search results - page 103 / 922

» Automatic Generation of Sigma-Protocols

133

click to vote

DATE
2003
IEEE

109views Hardware» more DATE 2003»

Fully Automatic Test Program Generation for Microprocessor Cores

16 years 2 days ago

Download www.cs.bris.ac.uk

Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda...

claim paper

Read More »

134

click to vote

DFT
2003
IEEE

81views VLSI» more DFT 2003»

A Digital and Wide Power Bandwidth H-Field Generator for Automatic Test Equipment

16 years 2 days ago

Download www.ece.neu.edu

Fengming Zhang, Young-Jun Lee, T. Kane, Luca Schia...

claim paper

Read More »

129

click to vote

HICSS
2003
IEEE

104views Biometrics» more HICSS 2003»

Certification Support for Automatically Generated Programs

16 years 2 days ago

Download ti.arc.nasa.gov

Johann Schumann, Bernd Fischer 0002, Michael W. Wh...

claim paper

Read More »

156

click to vote

ISPDC
2003
IEEE

105views Distributed And Parallel Com...» more ISPDC 2003»

Efficient Code Generation for Automatic Parallelization and Optimization

16 years 1 days ago

Download www.cse.ohio-state.edu

Cédric Bastoul

claim paper

Read More »

137

click to vote

ASIAN
2003
Springer

102views Algorithms» more ASIAN 2003»

Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report

16 years 12 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers