Sciweavers

11200 search results - page 112 / 2240
» An Object-oriented Optimization System
Sort
View
ADC
2007
Springer
93views Database» more  ADC 2007»
14 years 29 days ago
A Heuristic Approach to Cost-Efficient Derived Horizontal Fragmentation of Complex Value Databases
Derived horizontal fragmentation is one of the main database distribution design techniques. Unlike primary horizontal fragmentation, the decision of derived horizontal fragmentat...
Hui Ma, Klaus-Dieter Schewe, Qing Wang
AINA
2003
IEEE
14 years 18 days ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
VECPAR
2000
Springer
14 years 16 days ago
A SCOOPP Evaluation on Packing Parallel Objects in Run-Time
The SCOOPP (Scalable Object Oriented Parallel Programming) system is an hybrid compile and run-time system. SCOOPP dynamically scales OO applications on a wide range of target plat...
João Luís Sobral, Alberto José...
SIGMOD
1995
ACM
97views Database» more  SIGMOD 1995»
14 years 15 days ago
Implementing Crash Recovery in QuickStore: A Performance Study
Implementing crash recovery in an Object-Oriented Database System (OODBMS) raises several challenging issues for performance that are not present in traditional DBMSs. These perfo...
Seth J. White, David J. DeWitt
FMOODS
2008
13 years 10 months ago
Symbolic Step Encodings for Object Based Communicating State Machines
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko