Sciweavers

    8 search results - page 1 / 2
    » eurocast 2001
    Sort
    View
    EUROCAST
    2001
    Springer
    73views Hardware» more  EUROCAST 2001»
    Integrated Design and Implementation of Digital Controllers
    15 years 7 months ago
    Integrated Design and Implementation of Digital Controllers
    Download  www.arl.wustl.edu
    Pedro Albertos, Alfons Crespo
    claim paper
    Read More »
    EUROCAST
    2001
    Springer
    165views Hardware» more  EUROCAST 2001»
    Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies
    15 years 7 months ago
    Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies
    Download  lsi.ugr.es
    María Visitación Hurtado, José...
    claim paper
    Read More »
    EUROCAST
    2001
    Springer
    87views Hardware» more  EUROCAST 2001»
    Adding Traces to a Lazy Monadic Evaluator
    15 years 7 months ago
    Adding Traces to a Lazy Monadic Evaluator
    Download  dalila.sip.ucm.es
    Cristóbal Pareja, Ricardo Pena, Fernando Ru...
    claim paper
    Read More »
    EUROCAST
    2001
    Springer
    75views Hardware» more  EUROCAST 2001»
    Verifying an Applicative ATP Using Multiset Relations
    15 years 7 months ago
    Verifying an Applicative ATP Using Multiset Relations
    Download  www.cs.us.es
    Francisco-Jesús Martín-Mateos, Jos&e...
    claim paper
    Read More »
    EUROCAST
    2001
    Springer
    189views Hardware» more  EUROCAST 2001»
    Assertion-Based Analysis of Hybrid Systems with PVS
    15 years 7 months ago
    Assertion-Based Analysis of Hybrid Systems with PVS
    Download  folk.uio.no
    Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
    Erika Ábrahám-Mumm, Ulrich Hannemann...
    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.