203 search results - page 24 / 41 » A Linear Metalanguage for Concurrency |
ICDE
2010
IEEE
14 years 4 months ago
2010
IEEE
— In this paper, we propose a non-blocking buffer management scheme based on a lock-free variant of the GCLOCK page replacement algorithm. Concurrent access to the buffer managem...
ICCAD
2004
IEEE
14 years 4 months ago
2004
IEEE
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. Current techniques f...
ISCAS
2008
IEEE
14 years 1 months ago
2008
IEEE
An ultra-wideband low-noise amplifier (LNA) covering the full mobile TV bands (170-to-1700 MHz) is presented. It features an ESD-protected open-source-input structure to interface...
APCCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
— We propose a VLSI architecture for the single-chip realization of 2D spatio-temporal IIR digital filters, consisting of a meshed connection of concurrent identical vector-proce...
PDP
2005
IEEE
14 years 1 months ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...