Sciweavers

    466 search results - page 52 / 94
    » A Theory of Rate-Based Execution
    Sort
    View
    ML
    2007
    ACM
    92views Machine Learning» more  ML 2007»
    Status report: specifying javascript with ML
    14 years 9 months ago
    Status report: specifying javascript with ML
    Download  slang.soe.ucsc.edu
    The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applicatio...
    David Herman, Cormac Flanagan
    claim paper
    Read More »
    PTS
    2010
    175views Hardware» more  PTS 2010»
    Test Data Generation for Programs with Quantified First-Order Logic Specifications
    14 years 7 months ago
    Test Data Generation for Programs with Quantified First-Order Logic Specifications
    Download  www.uni-koblenz.de
    We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
    Christoph Gladisch
    claim paper
    Read More »
    FMCAD
    2006
    Springer
    113views Formal Methods» more  FMCAD 2006»
    An Integration of HOL and ACL2
    15 years 1 months ago
    An Integration of HOL and ACL2
    Download  www.cl.cam.ac.uk
    We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
    Michael J. C. Gordon, James Reynolds, Warren A. Hu...
    claim paper
    Read More »
    CASES
    2007
    ACM
    163views System Software» more  CASES 2007»
    Performance optimal processor throttling under thermal constraints
    15 years 1 months ago
    Performance optimal processor throttling under thermal constraints
    Download  www.cs.york.ac.uk
    We derive analytically, the performance optimal throttling curve for a processor under thermal constraints for a given task sequence. We found that keeping the chip temperature co...
    Ravishankar Rao, Sarma B. K. Vrudhula
    claim paper
    Read More »
    TII
    2008
    77views more  TII 2008»
    The One-Shot Task Model for Robust Real-Time Embedded Control Systems
    14 years 9 months ago
    The One-Shot Task Model for Robust Real-Time Embedded Control Systems
    Download  www.arl.wustl.edu
    Embedded control systems are often implemented in small microprocessors enabled with real-time technology. In this context, control laws are often designed according to discrete-ti...
    Camilo Lozoya, Manel Velasco, Pau Martí
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2025, USA.