Search Sciweavers | Sciweavers

603 search results - page 12 / 121

» concurrency 2010

click to vote

ENTCS
2000

88views more ENTCS 2000»

Notes on Coalgebras, Cofibrations and Concurrency

14 years 9 months ago

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 »

click to vote

ISCA
2010
IEEE

131views Hardware» more ISCA 2010»

Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races

15 years 2 months ago

Download www.cs.washington.edu

Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qade...

claim paper

Read More »

click to vote

VLSID
2010
IEEE

143views VLSI» more VLSID 2010»

Synchronization of Concurrently-Implemented Fluidic Operations in Pin-Constrained Digital Microfluidic Biochips

15 years 1 months ago

Download people.ee.duke.edu

Yang Zhao, Ryan Sturmer, Krishnendu Chakrabarty, V...

claim paper

Read More »

click to vote

ATAL
2010
Springer

101views Intelligent Agents» more ATAL 2010»

Partitioning the multiagent simple temporal problem for concurrency and privacy

14 years 10 months ago

Download www.aamas-conference.org

James C. Boerkoel Jr., Edmund H. Durfee

claim paper

Read More »

click to vote

CRYPTO
2010
Springer

139views Cryptology» more CRYPTO 2010»

Concurrent Non-Malleable Zero Knowledge Proofs

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers