Sciweavers

1256 search results - page 16 / 252
» A Model of Interaction in Concurrent and Distributed Systems
Sort
View
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
14 years 4 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
ISMAR
2008
IEEE
14 years 1 months ago
OutlinAR: an assisted interactive model building system with reduced computational effort
This paper presents a system that allows online building of 3D wireframe models through a combination of user interaction and automated methods from a handheld camera-mouse. Cruci...
Pished Bunnun, Walterio W. Mayol-Cuevas
SIAMCOMP
2010
83views more  SIAMCOMP 2010»
13 years 5 months ago
Reaching and Distinguishing States of Distributed Systems
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
Robert M. Hierons
WDAG
2005
Springer
82views Algorithms» more  WDAG 2005»
14 years 25 days ago
Distributed Transactional Memory for Metric-Space Networks
Transactional Memory is a concurrent programming API in which concurrent threads synchronize via transactions (instead of locks). Although this model has mostly been studied in the...
Maurice Herlihy, Ye Sun
IFIP
1998
Springer
13 years 11 months ago
Concurrent Algorithms and Data Types Animation over the Internet
We present a distributed algorithm animation system called Catai (for Concurrent Algorithms and data Types Animation over the Internet). Among the features of this system are a lo...
Giuseppe Cattaneo, Umberto Ferraro Petrillo, Giuse...