Sciweavers

    1205 search results - page 42 / 241
    » Program Extraction from Large Proof Developments
    Sort
    View
    TCAD
    2002
    98views more  TCAD 2002»
    An Esterel compiler for large control-dominated systems
    13 years 10 months ago
    An Esterel compiler for large control-dominated systems
    Download  www1.cs.columbia.edu
    Embedded hard real-time software systems often need fine-grained parallelism and precise control of timing, things typical real-time operating systems do not provide. The Esterel l...
    Stephen A. Edwards
    claim paper
    Read More »
    PLDI
    2011
    ACM
    252views Programming Languages» more  PLDI 2011»
    Systematic editing: generating program transformations from an example
    13 years 1 months ago
    Systematic editing: generating program transformations from an example
    Download  www.cs.utexas.edu
    Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
    Na Meng, Miryung Kim, Kathryn S. McKinley
    claim paper
    Read More »
    CIKM
    2008
    Springer
    157views Information Technology» more  CIKM 2008»
    In the development of a spanish metamap
    14 years 29 days ago
    In the development of a spanish metamap
    Download  www.esp.uem.es
    MetaMap is an online application that allows mapping text to UMLS Metathesaurus concepts, which is very useful interoperability among different languages and systems within the bi...
    Francisco M. Carrero, José Carlos Cortizo, ...
    claim paper
    Read More »
    ACL
    2008
    129views Computational Linguistics» more  ACL 2008»
    Evolving New Lexical Association Measures Using Genetic Programming
    14 years 13 days ago
    Evolving New Lexical Association Measures Using Genetic Programming
    Download  www.aclweb.org
    Automatic extraction of collocations from large corpora has been the focus of many research efforts. Most approaches concentrate on improving and combining known lexical associati...
    Jan Snajder, Bojana Dalbelo Basic, Sasa Petrovic, ...
    claim paper
    Read More »
    EICS
    2009
    ACM
    108views Applied Computing» more  EICS 2009»
    Interactive usability instrumentation
    14 years 5 months ago
    Interactive usability instrumentation
    Download  hci.usask.ca
    Usage data logged from user interactions can be extremely valuable for evaluating software usability. However, instrumenting software to collect usage data is a time-intensive tas...
    Scott Bateman, Carl Gutwin, Nathaniel Osgood, Gord...
    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-2024, USA.