Sciweavers

4385 search results - page 193 / 877
» Abstraction for Concurrent Objects
Sort
View
IPPS
2006
IEEE
15 years 5 months ago
Incrementally developing parallel applications with AspectJ
1 This paper presents a methodology to develop more modular parallel applications, based on aspect oriented programming. Traditional object oriented mechanisms implement applicatio...
João Luís Sobral
QEST
2005
IEEE
15 years 5 months ago
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
Roberto Segala, Andrea Turrini
MIDDLEWARE
2005
Springer
15 years 4 months ago
Dual-Quorum Replication for Edge Services
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Dual-quorum replication combines volume leases and qu...
Lei Gao, Michael Dahlin, Jiandan Zheng, Lorenzo Al...
VLDB
2004
ACM
203views Database» more  VLDB 2004»
15 years 4 months ago
PLACE: A Query Processor for Handling Real-time Spatio-temporal Data Streams
The emergence of location-aware services calls for new real-time spatio-temporal query processing algorithms that deal with large numbers of mobile objects and queries. In this de...
Mohamed F. Mokbel, Xiaopeng Xiong, Walid G. Aref, ...
ICRA
2003
IEEE
133views Robotics» more  ICRA 2003»
15 years 4 months ago
A hierarchical behavior-based approach to manipulation tasks
Typical mobile robots can be customized to perform a variety of different tasks by combining in different ways a set of basic control modules, or behaviors. By contrast, most cu...
Zbigniew Wasik, Alessandro Saffiotti