271 search results - page 52 / 55 » Detecting Deadlocks in Concurrent Systems |
EPIA
1999
Springer
13 years 12 months ago
1999
Springer
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...
GIS
2008
ACM
14 years 8 months ago
2008
ACM
We introduce a parallel approximation of an Over-determined Laplacian Partial Differential Equation solver (ODETLAP) applied to the compression and restoration of terrain data use...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
Internet traffic is bursty and network servers are often overloaded with surprising events or abnormal client request patterns. This paper studies a load shedding mechanism called...
RTSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Wireless sensor networks have traditionally focused on low duty-cycle applications where sensor data are reported periodically in the order of seconds or even longer. This is due ...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
Technology Roadmap for Semiconductors (ITRS) clearly identifies the integration of electrochemical and electrobiological techniques as one of the system-level design challenges tha...