Sciweavers

2114 search results - page 136 / 423
» A model of cooperative threads
Sort
View
101
Voted
HIPS
1998
IEEE
15 years 5 months ago
Parallel and Distributed Programming with Pthreads and Rthreads
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...
Bernd Dreier, Markus Zahn, Theo Ungerer
FMOODS
2008
15 years 2 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
CVPR
2009
IEEE
16 years 7 months ago
Cooperative Mapping of Multiple PTZ Cameras in Automated Surveillance Systems
Due to the capacity of pan-tilt-zoom (PTZ) cameras to simultaneously cover a panoramic area and maintain high resolution imagery, researches in automated surveillance systems wi...
Andreas Koschan, Anis Drira, Chung-Chen Chen, Mong...
ICDE
2007
IEEE
123views Database» more  ICDE 2007»
16 years 2 months ago
A Cooperative, Self-Configuring High-Availability Solution for Stream Processing
We present a collaborative, self-configuring high availability (HA) approach for stream processing that enables low-latency failure recovery while incurring small run-time overhea...
Jeong-Hyon Hwang, Ying Xing, Ugur Çetinteme...
106
Voted
MICRO
2009
IEEE
103views Hardware» more  MICRO 2009»
15 years 7 months ago
BulkCompiler: high-performance sequential consistency through cooperative compiler and hardware support
A platform that supported Sequential Consistency (SC) for all codes — not only the well-synchronized ones — would simplify the task of programmers. Recently, several hardware ...
Wonsun Ahn, Shanxiang Qi, M. Nicolaides, Josep Tor...