Search Sciweavers | Sciweavers

4609 search results - page 103 / 922

» Automatic Generation of Sigma-Protocols

114

click to vote

DATE
2003
IEEE

109views Hardware» more DATE 2003»

Fully Automatic Test Program Generation for Microprocessor Cores

15 years 11 months ago

Download www.cs.bris.ac.uk

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

claim paper

Read More »

124

click to vote

DFT
2003
IEEE

81views VLSI» more DFT 2003»

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

15 years 11 months ago

Download www.ece.neu.edu

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

claim paper

Read More »

119

click to vote

HICSS
2003
IEEE

104views Biometrics» more HICSS 2003»

Certification Support for Automatically Generated Programs

15 years 11 months ago

Download ti.arc.nasa.gov

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

claim paper

Read More »

140

click to vote

ISPDC
2003
IEEE

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

Efficient Code Generation for Automatic Parallelization and Optimization

15 years 11 months ago

Download www.cse.ohio-state.edu

Cédric Bastoul

claim paper

Read More »

124

click to vote

ASIAN
2003
Springer

102views Algorithms» more ASIAN 2003»

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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers