Search Sciweavers | Sciweavers

4604 search results - page 34 / 921

» Concurrency in Synchronous Systems

click to vote

SIGADA
1999
Springer

89views Programming Languages» more SIGADA 1999»

Formal modeling of synchronization methods for concurrent objects in Ada 95

13 years 12 months ago

Download www.sigada.org

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

claim paper

Read More »

click to vote

DAC
1992
ACM

113views Computer Architecture» more DAC 1992»

On Efficient Concurrent Fault Simulation for Synchronous Sequential Circuits

13 years 11 months ago

Download muah.knu.ac.kr

Dong-Ho Lee, Sudhakar M. Reddy

claim paper

Read More »

click to vote

PLILP
1994
Springer

109views Programming Languages» more PLILP 1994»

Abstracting Synchronization in Concurrent Constraint Programming

13 years 11 months ago

Download www.cs.unipr.it

Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi

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

13 years 11 months ago

Download people.ee.duke.edu

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

claim paper

Read More »

click to vote

PARCO
2007

92views Distributed And Parallel Com...» more PARCO 2007»

Comparative Study of Concurrency Control on Bulk-Synchronous Parallel Search Engines

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers