Search Sciweavers | Sciweavers

4609 search results - page 99 / 922

» Automatic Generation of Sigma-Protocols

120

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 7 days ago

Download se.ethz.ch

Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller

claim paper

Read More »

164

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 6 days ago

Download home.mit.bme.hu

Zoltán Micskei, István Majzik

claim paper

Read More »

112

click to vote

ICSEA
2006
IEEE

89views Software Engineering» more ICSEA 2006»

Automatic Generation of Functional Programs from CASL Specifications

16 years 5 days ago

Download www.epigenomique.genopole.fr

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

claim paper

Read More »

132

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 5 days ago

Download www.cecs.uci.edu

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

claim paper

Read More »

130

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 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers