Search Sciweavers | Sciweavers

7628 search results - page 134 / 1526

» Automatic Generation of the C

103

click to vote

HICSS
2003
IEEE

104views Biometrics» more HICSS 2003»

Certification Support for Automatically Generated Programs

15 years 10 months ago

Download ti.arc.nasa.gov

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

claim paper

Read More »

119

click to vote

ISPDC
2003
IEEE

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

Efficient Code Generation for Automatic Parallelization and Optimization

15 years 10 months ago

Download www.cse.ohio-state.edu

Cédric Bastoul

claim paper

Read More »

107

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 10 months ago

Download faculty.ist.unomaha.edu

Deepak Kapur, Mahadevan Subramaniam

claim paper

Read More »

click to vote

CCS
2003
ACM

98views Security Privacy» more CCS 2003»

Automatic generation of two-party computations

15 years 10 months ago

Download www.cs.cmu.edu

Philip D. MacKenzie, Alina Oprea, Michael K. Reite...

claim paper

Read More »

104

click to vote

DATE
2010
IEEE

166views Hardware» more DATE 2010»

GoldMine: Automatic assertion generation using data mining and static analysis

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers