Sciweavers

2686 search results - page 228 / 538
» Parallel object monitors
Sort
View
TCS
2008
15 years 6 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 10 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
16 years 1 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»
16 years 27 days 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
16 years 22 days 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...