Sciweavers

4385 search results - page 301 / 877
» Abstraction for Concurrent Objects
Sort
View
ICDE
1993
IEEE
104views Database» more  ICDE 1993»
15 years 10 months ago
Deterministic Semantics of Set-Oriented Update Sequences
An iterator is proposed that allows to apply sequences of update operations in a set-oriented way with deterministic semantics. Because the mechanism is independent of a particula...
Christian Laasch, Marc H. Scholl
HICSS
1995
IEEE
101views Biometrics» more  HICSS 1995»
15 years 10 months ago
Prototyping of parallel and distributed object-oriented systems: the PDC model and its environment
To ease the implementation of distributed objectoriented systems we developed the PDC technique (Proxy/ Dispatcher/Collocutor technique), a simple and pragmatic approach to allow ...
Rainer Weinreich, Reinhold Plösch
VLDB
1991
ACM
220views Database» more  VLDB 1991»
15 years 10 months ago
A Performance Evaluation of Multi-Level Transaction Management
Multi-level transactions are a variant of open nested transactions in which the subtransactions correspond to operations at different levels of a layered system architecture. The ...
Christof Hasse, Gerhard Weikum
DAGSTUHL
2006
15 years 8 months ago
Enriched categories and models for spaces of dipaths
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order mo...
Timothy Porter
ISTA
2003
15 years 8 months ago
Formal Modeling of Communication Traces
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko,...