Sciweavers

    291 search results - page 2 / 59
    » Liveness-Preserving Atomicity Abstraction
    Sort
    View
    CORR
    2006
    Springer
    126views Education» more  CORR 2006»
    Logic programs with monotone abstract constraint atoms
    13 years 11 months ago
    Logic programs with monotone abstract constraint atoms
    Download  www.cs.uky.edu
    Victor W. Marek, Ilkka Niemelä, Miroslaw Trus...
    claim paper
    Read More »
    CAL
    2006
    99views Software Engineering» more  CAL 2006»
    Subtleties of Transactional Memory Atomicity Semantics
    13 years 11 months ago
    Subtleties of Transactional Memory Atomicity Semantics
    Download  www.cis.upenn.edu
    Abstract-- Transactional memory has great potential for simplifying multithreaded programming by allowing programmers to specify regions of the program that must appear to execute ...
    Milo M. K. Martin, Colin Blundell, E. Lewis
    claim paper
    Read More »
    EVOW
    2008
    Springer
    127views Artificial Intelligence» more  EVOW 2008»
    AtomSwarm: A Framework for Swarm Improvisation
    14 years 18 days ago
    AtomSwarm: A Framework for Swarm Improvisation
    Download  www.erase.net
    Abstract. This paper introduces AtomSwarm, a framework for soundbased performance using swarm dynamics. The classical ruleset for flocking simulations is augmented with genetically...
    Daniel Jones
    claim paper
    Read More »
    LPAR
    2010
    Springer
    102views Automated Reasoning» more  LPAR 2010»
    A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
    13 years 8 months ago
    A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
    Download  cs.bath.ac.uk
    Abstract. Jer
    Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, ...
    claim paper
    Read More »
    NFM
    2011
    264views Formal Methods» more  NFM 2011»
    Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
    13 years 5 months ago
    Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
    Download  eprints.ecs.soton.ac.uk
    Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
    Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...
    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.