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

15 years 18 days 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 »

Voted

ISCA
2010
IEEE

131views Hardware» more ISCA 2010»

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

15 years 5 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 4 months ago

Download people.ee.duke.edu

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

claim paper

Read More »

Voted

ATAL
2010
Springer

101views Intelligent Agents» more ATAL 2010»

Partitioning the multiagent simple temporal problem for concurrency and privacy

15 years 1 months ago

Download www.aamas-conference.org

James C. Boerkoel Jr., Edmund H. Durfee

claim paper

Read More »

Voted

CRYPTO
2010
Springer

139views Cryptology» more CRYPTO 2010»

Concurrent Non-Malleable Zero Knowledge Proofs

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers