Sciweavers

    603 search results - page 12 / 121
    » concurrency 2010
    Sort
    View
    155
    Voted
    ENTCS
    2000
    88views more  ENTCS 2000»
    Notes on Coalgebras, Cofibrations and Concurrency
    15 years 7 months ago
    Notes on Coalgebras, Cofibrations and Concurrency
    Download  www.doc.ic.ac.uk
    We consider categories of coalgebras as (co)-fibred over a base category of parameters and analyse categorical constructions in the total category of deterministic and non-determi...
    Alexander Kurz, Dirk Pattinson
    claim paper
    Read More »
    118
    Voted
    ISCA
    2010
    IEEE
    131views Hardware» more  ISCA 2010»
    Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races
    16 years 17 days ago
    Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races
    Download  www.cs.washington.edu
    Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qade...
    claim paper
    Read More »
    VLSID
    2010
    IEEE
    143views VLSI» more  VLSID 2010»
    Synchronization of Concurrently-Implemented Fluidic Operations in Pin-Constrained Digital Microfluidic Biochips
    15 years 11 months ago
    Synchronization of Concurrently-Implemented Fluidic Operations in Pin-Constrained Digital Microfluidic Biochips
    Download  people.ee.duke.edu
    Yang Zhao, Ryan Sturmer, Krishnendu Chakrabarty, V...
    claim paper
    Read More »
    113
    Voted
    ATAL
    2010
    Springer
    101views Intelligent Agents» more  ATAL 2010»
    Partitioning the multiagent simple temporal problem for concurrency and privacy
    15 years 8 months ago
    Partitioning the multiagent simple temporal problem for concurrency and privacy
    Download  www.aamas-conference.org
    James C. Boerkoel Jr., Edmund H. Durfee
    claim paper
    Read More »
    CRYPTO
    2010
    Springer
    139views Cryptology» more  CRYPTO 2010»
    Concurrent Non-Malleable Zero Knowledge Proofs
    15 years 8 months ago
    Concurrent Non-Malleable Zero Knowledge Proofs
    Download  www.cs.cornell.edu
    Huijia Lin, Rafael Pass, Wei-Lung Dustin Tseng, Mu...
    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.