Sciweavers

    9521 search results - page 266 / 1905
    » Compiling with continuations, continued
    Sort
    View
    92
    Voted
    AUTOMATICA
    1999
    50views more  AUTOMATICA 1999»
    Verification of logic controllers for continuous plants using timed condition/event-system models
    15 years 3 months ago
    Verification of logic controllers for continuous plants using timed condition/event-system models
    Download  www-verimag.imag.fr
    Stefan Kowalewski, Sebastian Engell, Jörg Pre...
    claim paper
    Read More »
    72
    Voted
    JC
    2002
    37views more  JC 2002»
    A Theory of Complexity for Continuous Time Systems
    15 years 3 months ago
    A Theory of Complexity for Continuous Time Systems
    Download  www.cs.umass.edu
    Asa Ben-Hur, Hava T. Siegelmann, Shmuel Fishman
    claim paper
    Read More »
    92
    Voted
    JC
    1998
    58views more  JC 1998»
    Some Lower Bounds for the Complexity of Continuation Methods
    15 years 3 months ago
    Some Lower Bounds for the Complexity of Continuation Methods
    Download  www6.cityu.edu.hk
    Jean-Pierre Dedieu, Steve Smale
    claim paper
    Read More »
    64
    Voted
    JSC
    2002
    39views more  JSC 2002»
    Continuously Parameterized Symmetries and Buchberger's Algorithm
    15 years 3 months ago
    Continuously Parameterized Symmetries and Buchberger's Algorithm
    Download  www.ricam.oeaw.ac.at
    Ralf Hemmecke
    claim paper
    Read More »
    71
    Voted
    JFP
    1998
    62views more  JFP 1998»
    Classical Logic, Continuation Semantics and Abstract Machines
    15 years 3 months ago
    Classical Logic, Continuation Semantics and Abstract Machines
    Download  eprints.sussex.ac.uk
    Thomas Streicher, Bernhard Reus
    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.