4385 search results - page 118 / 877 » Abstraction for Concurrent Objects |
CALCO
2005
Springer
15 years 4 months ago
2005
Springer
Simulations are a very natural way of relating concurrent systems, which are mathematically modeled by Kripke structures. The range of available notions of simulations makes it ver...
105
click to vote
ICTCS
2003
Springer
15 years 4 months ago
2003
Springer
The algebraic models of computation for contextual nets that have been proposed in the literature either rely on a non-free monoid of objects, or introduce too many fictitious beh...
KES
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. In the field of the service robots, object detection and scene understanding are very important. Conventional methods for object detection are performed with the geometri...
97
Voted
DATESO
2006
15 years 15 days ago
2006
Abstract. The aim of this article is to explore and investigate possibilities of reuse already known techniques from object and objectoriented processing for effective processing i...
119
click to vote
PPOPP
2006
ACM
15 years 5 months ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...