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

15 years 7 months ago

Download www.sigada.org

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

claim paper

Read More »

123

click to vote

DAC
1992
ACM

113views Computer Architecture» more DAC 1992»

On Efficient Concurrent Fault Simulation for Synchronous Sequential Circuits

15 years 7 months ago

Download muah.knu.ac.kr

Dong-Ho Lee, Sudhakar M. Reddy

claim paper

Read More »

115

click to vote

PLILP
1994
Springer

109views Programming Languages» more PLILP 1994»

Abstracting Synchronization in Concurrent Constraint Programming

15 years 7 months ago

Download www.cs.unipr.it

Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi

claim paper

Read More »

Voted

VLSID
2010
IEEE

143views VLSI» more VLSID 2010»

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

15 years 7 months ago

Download people.ee.duke.edu

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

claim paper

Read More »

Voted

PARCO
2007

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

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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers