Sciweavers

3311 search results - page 149 / 663
» Deductive Object Programming
Sort
View
SEFM
2005
IEEE
15 years 7 months ago
Safe Concurrency for Aggregate Objects with Invariants
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
Bart Jacobs 0002, Frank Piessens, K. Rustan M. Lei...
TOOLS
1999
IEEE
15 years 6 months ago
Optimizing Object-Oriented Collection Join Queries through Path Traversals
Path traversals have been recognized as one of the strengths of object-oriented query processing as object retrieval can be carried out through pointer navigation. Apart from path...
David Taniar
JAVA
1999
Springer
15 years 6 months ago
Object Serialization for Marshalling Data in a Java Interface to MPI
Several Java bindings of the Message Passing Interface standard, MPI, have been developed recently. Message bu ers have usually been restricted to arrays with elements of primitiv...
Bryan Carpenter, Geoffrey Fox, Sung Hoon Ko, Sang ...
POS
1998
Springer
15 years 6 months ago
Lumberjack: A Log-Structured Persistent Object Store
Lumberjack is a log-structured persistent object store intended for use with conventional operating systems such as Unix. The design draws together facets of previous work, in par...
David Hulse, Alan Dearle
ICDCS
1997
IEEE
15 years 6 months ago
Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects
—This paper describes algorithms for implementing a high-level programming model for synchronous distributed groupware applications. In this model, several application data objec...
Robert E. Strom, Guruduth Banavar, Kevan Miller, A...