Sciweavers

4604 search results - page 604 / 921
» Concurrency in Synchronous Systems
Sort
View
IPPS
2010
IEEE
15 years 4 months ago
Runtime checking of serializability in software transactional memory
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
Arnab Sinha, Sharad Malik
MOBICOM
2009
ACM
16 years 1 months ago
A quorum-based framework for establishing control channels in dynamic spectrum access networks
Establishing a control channel for medium access control is a challenging problem in multi-channel and dynamic spectrum access (DSA) networks. In the design of multi-channel MAC p...
Kaigui Bian, Jung Min Park, Ruiliang Chen
ICCD
1997
IEEE
158views Hardware» more  ICCD 1997»
15 years 10 months ago
Practical Advances in Asynchronous Design
Asynchronous systems are being viewed as an increasingly viable alternative to purely synchronous systems. This paper gives an overview of the current state of the art in practica...
Erik Brunvand, Steven M. Nowick, Kenneth Y. Yun
ICIP
2005
IEEE
16 years 8 months ago
Optimizing of searching co-motion point-pairs for statistical camera calibration
In the paper we introduce an algorithm for matching partially overlapping image-pairs where the object of interest is in motion, even if the motion is discontinuous and in an unstr...
Csaba Benedek, Laszlo Havasi, Tamás Szir&aa...
321
Voted
ICDE
2008
IEEE
144views Database» more  ICDE 2008»
16 years 8 months ago
QShuffler: Getting the Query Mix Right
The typical workload in a database system consists of a mixture of multiple queries of different types, running concurrently and interacting with each other. Hence, optimizing perf...
Mumtaz Ahmad, Ashraf Aboulnaga, Shivnath Babu, Kam...