Sciweavers

    4666 search results - page 84 / 934
    » Equations on Timed Languages
    Sort
    View
    PPDP
    2005
    Springer
    72views Programming Languages» more  PPDP 2005»
    Timed constraint programming: a declarative approach to usage control
    15 years 10 months ago
    Timed constraint programming: a declarative approach to usage control
    Download  fpl.cs.depaul.edu
    Radha Jagadeesan, Will Marrero, Corin Pitcher, Vij...
    claim paper
    Read More »
    SIGADA
    2004
    Springer
    147views Programming Languages» more  SIGADA 2004»
    Cheddar: a flexible real time scheduling framework
    15 years 10 months ago
    Cheddar: a flexible real time scheduling framework
    Download  www.sigada.org
    Frank Singhoff, Jérôme Legrand, Laure...
    claim paper
    Read More »
    FDL
    2003
    IEEE
    101views Natural Language Processing» more  FDL 2003»
    Combining Formal Refinement and Model Checking for Real-Time Systems Verification
    15 years 10 months ago
    Combining Formal Refinement and Model Checking for Real-Time Systems Verification
    Download  www.c-lab.de
    Alexander Krupp, Wolfgang Müller 0003
    claim paper
    Read More »
    CP
    2009
    Springer
    115views Artificial Intelligence» more  CP 2009»
    Filtering Numerical CSPs Using Well-Constrained Subsystems
    16 years 5 months ago
    Filtering Numerical CSPs Using Well-Constrained Subsystems
    Download  ftp-sop.inria.fr
    When interval methods handle systems of equations over the reals, two main types of filtering/contraction algorithms are used to reduce the search space. When the system is well-co...
    Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
    claim paper
    Read More »
    IPPS
    2007
    IEEE
    110views Distributed And Parallel Com...» more  IPPS 2007»
    An Optimizing Compiler for Parallel Chemistry Simulations
    15 years 11 months ago
    An Optimizing Compiler for Parallel Chemistry Simulations
    Download  www.cecs.uci.edu
    Well designed domain specific languages enable the easy expression of problems, the application of domain specific optimizations, and dramatic improvements in productivity for t...
    Jun Cao, Ayush Goyal, Samuel P. Midkiff, James M. ...
    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.