Sciweavers

    1491 search results - page 218 / 299
    » Resource-Passing Concurrent Programming
    Sort
    View
    NDDL
    2003
    132views Digital Library» more  NDDL 2003»
    High-Level Data Races
    14 years 11 months ago
    High-Level Data Races
    Download  ti.arc.nasa.gov
    Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools...
    Cyrille Artho, Klaus Havelund, Armin Biere
    claim paper
    Read More »
    PDPTA
    2000
    87views Distributed And Parallel Com...» more  PDPTA 2000»
    The KIT COSMOS Processor: Introducing CONDOR
    14 years 11 months ago
    The KIT COSMOS Processor: Introducing CONDOR
    Download  www.cis.fukuoka-u.ac.jp
    Abstract In this paper, we propose a microprocessor architecture which eciently utilizes nextgeneration semiconductor technology. While the technology makes it possible to integrat...
    Toshinori Sato, Itsujiro Arita
    claim paper
    Read More »
    WOA
    2000
    128views Intelligent Agents» more  WOA 2000»
    Implementing Autonomous Reactive Agents by Using Active Objects
    14 years 11 months ago
    Implementing Autonomous Reactive Agents by Using Active Objects
    Download  www.diee.unica.it
    This paper briefly outlines the main characteristics of an ongoing research aimed at developing a support library for implementing systems based on autonomous agents. The library ...
    Giuliano Armano, Eloisa Vargiu
    claim paper
    Read More »
    WSC
    1989
    172views Modeling And Simulation» more  WSC 1989»
    A general purpose animator
    14 years 11 months ago
    A general purpose animator
    Download  www.informs-sim.org
    Proof Animation™ is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsiz...
    Daniel T. Brunner, James O. Henriksen
    claim paper
    Read More »
    CIDR
    2009
    133views Algorithms» more  CIDR 2009»
    Principles for Inconsistency
    14 years 11 months ago
    Principles for Inconsistency
    Download  www-db.cs.wisc.edu
    Data consistency is very desirable because strong semantic properties make it easier to write correct programs that perform as users expect. However, there are good reasons why co...
    Shel Finkelstein, Dean Jacobs, Rainer Brendle
    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.