Sciweavers

    4609 search results - page 99 / 922
    » Automatic Generation of Sigma-Protocols
    Sort
    View
    TAP
    2007
    Springer
    64views Hardware» more  TAP 2007»
    Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation
    16 years 26 days ago
    Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation
    Download  se.ethz.ch
    Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller
    claim paper
    Read More »
    DEPCOS
    2006
    IEEE
    93views Hardware» more  DEPCOS 2006»
    Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers
    16 years 25 days ago
    Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers
    Download  home.mit.bme.hu
    Zoltán Micskei, István Majzik
    claim paper
    Read More »
    119
    Voted
    ICSEA
    2006
    IEEE
    89views Software Engineering» more  ICSEA 2006»
    Automatic Generation of Functional Programs from CASL Specifications
    16 years 24 days ago
    Automatic Generation of Functional Programs from CASL Specifications
    Download  www.epigenomique.genopole.fr
    Agnès Arnould, Laurent Fuchs, Marc Aiguier,...
    claim paper
    Read More »
    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 24 days ago
    VHDL to FPGA automatic IP-Core generation: a case study on Xilinx design flow
    Download  www.cecs.uci.edu
    Fabrizio Ferrandi, G. Ferrara, R. Palazzo, Vincenz...
    claim paper
    Read More »
    IPPS
    2006
    IEEE
    104views Distributed And Parallel Com...» more  IPPS 2006»
    Automatic code generation for distributed memory architectures in the polytope model
    16 years 24 days ago
    Automatic code generation for distributed memory architectures in the polytope model
    Download  www.infosun.fim.uni-passau.de
    Michael Classen, Martin Griebl
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.