446 search results - page 47 / 90 » An approach to safe object sharing |
ENTCS
2000
13 years 8 months ago
2000
The region calculus of Tofte and Talpin is an annotated polymorphically typed lambda calculus which makes memory allocation and deallocation explicit. It is intended as an interme...
TSE
1998
13 years 8 months ago
1998
—There are many standards which are relevant for building safety or mission critical software systems. An effective standard is one that should help developers, assessors, and us...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
CRV
2005
IEEE
14 years 2 months ago
2005
IEEE
— Efficient exploration of unknown environments is a fundamental problem in mobile robotics. In this paper we present an approach to distributed multi-robot mapping and explorat...
RTCSA
1998
IEEE
14 years 1 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...