1097 search results - page 86 / 220 » Sequential Object Monitors |
139
Voted
ICECCS
1995
IEEE
15 years 6 months ago
1995
IEEE
Large and complex software systems contain a variety of entities objects and a complex control system transformationfunction . The pure object-orienteddesign and structured des...
135
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
110
Voted
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
― Self-assembly systems in space are arguably within the reach of today’s technology based on the research and development of self-reconfigurable robots on earth. This paper pr...
99
Voted
ECBS
2000
IEEE
15 years 7 months ago
2000
IEEE
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...
123
Voted
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
This paper describes an approach to retrieve images containing specific objects, scenes or buildings. The image content is captured by a set of local features. More precisely, we ...