Sciweavers

2686 search results - page 228 / 538
» Parallel object monitors
Sort
View
TCS
2008
15 years 4 months ago
Spatial-behavioral types for concurrency and resource control in distributed systems
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
Luís Caires
ICS
1999
Tsinghua U.
15 years 9 months ago
Eliminating synchronization bottlenecks in object-based programs using adaptive replication
This paper presents a technique, adaptive replication, for automatically eliminating synchronization bottlenecks in multithreaded programs that perform atomic operations on object...
Martin C. Rinard, Pedro C. Diniz
ICPR
2008
IEEE
15 years 11 months ago
Anomalous trajectory patterns detection
In the field of event analysis, the detection of anomalous events has often been based on the creation of a model representing the most common patterns of activity detected withi...
Claudio Piciarelli, Christian Micheloni, Gian Luca...
CRV
2007
IEEE
101views Robotics» more  CRV 2007»
15 years 11 months ago
Using a Raster Display for Photometric Stereo
This paper presents a new controlled lighting apparatus which uses a raster display device as a light source. The setup has the advantage over other alternatives in that it is rel...
Nathan Funk, Yee-Hong Yang
ESORICS
2007
Springer
15 years 11 months ago
Obligations and Their Interaction with Programs
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...
Daniel J. Dougherty, Kathi Fisler, Shriram Krishna...