Search Sciweavers | Sciweavers

4609 search results - page 99 / 922

» Automatic Generation of Sigma-Protocols

121

click to vote

TAP
2007
Springer

64views Hardware» more TAP 2007»

Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation

16 years 12 days ago

Download se.ethz.ch

Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller

claim paper

Read More »

165

click to vote

DEPCOS
2006
IEEE

93views Hardware» more DEPCOS 2006»

Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers

16 years 11 days ago

Download home.mit.bme.hu

Zoltán Micskei, István Majzik

claim paper

Read More »

113

click to vote

ICSEA
2006
IEEE

89views Software Engineering» more ICSEA 2006»

Automatic Generation of Functional Programs from CASL Specifications

16 years 10 days ago

Download www.epigenomique.genopole.fr

Agnès Arnould, Laurent Fuchs, Marc Aiguier,...

claim paper

Read More »

135

click to vote

IPPS
2006
IEEE

258views Distributed And Parallel Com...» more IPPS 2006»

VHDL to FPGA automatic IP-Core generation: a case study on Xilinx design flow

16 years 10 days ago

Download www.cecs.uci.edu

Fabrizio Ferrandi, G. Ferrara, R. Palazzo, Vincenz...

claim paper

Read More »

134

click to vote

IPPS
2006
IEEE

104views Distributed And Parallel Com...» more IPPS 2006»

Automatic code generation for distributed memory architectures in the polytope model

16 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers