2850 search results - page 542 / 570 » On Timed Models and Full Abstraction |
117
Voted
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Abstract. Several computing environments including wide area networks and nondedicated networks of workstations are characterized by frequent unavailability of the participating ma...
118
click to vote
ATVA
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...
133
click to vote
PAMI
2008
15 years 17 days ago
2008
Abstract-- We present a novel approach for multi-object tracking which considers object detection and spacetime trajectory estimation as a coupled optimization problem. Our approac...
CORR
1999
Springer
15 years 9 days ago
1999
Springer
In recent work we have presented a formal framework for linguistic annotation based on labeled acyclic digraphs. These `annotation graphs' oer a simple yet powerful method fo...
103
Voted
TASE
2008
IEEE
15 years 2 days ago
2008
IEEE
Abstract--Cluster tools are widely used as semiconductor manufacturing equipment. While throughput analysis and scheduling of single-cluster tools have been well-studied, research ...