Sciweavers

5548 search results - page 80 / 1110
» Programming a Distributed System Using Shared Objects
Sort
View
ICTAC
2009
Springer
15 years 9 months ago
A Deadlock-Free Semantics for Shared Memory Concurrency
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
Gérard Boudol
107
Voted
ICLP
2004
Springer
15 years 7 months ago
Multi-agent Coordination as Distributed Logic Programming
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
David Robertson
134
Voted
IPPS
2009
IEEE
15 years 9 months ago
Scalable RDMA performance in PGAS languages
Partitioned Global Address Space (PGAS) languages provide a unique programming model that can span shared-memory multiprocessor (SMP) architectures, distributed memory machines, o...
Montse Farreras, George Almási, Calin Casca...
113
Voted
AINA
2006
IEEE
15 years 6 months ago
Distributed Model-Based Diagnosis using Object-Relational Constraint Databases
This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. In order to improve aspects as versatility, persistence,...
María Teresa Gómez López, Raf...
VLDB
1994
ACM
126views Database» more  VLDB 1994»
15 years 6 months ago
Building a Laboratory Information System Around a C++-Based Object-Oriented DBMS
MapBase is a laboratory information system that has been supporting a high-throughput genome-mapping operation for the last three years. We chose to build MapBase around a C++-bas...
Nathan Goodman, Steve Rozen, Lincoln Stein