Sciweavers

4615 search results - page 787 / 923
» Virtual Classes and Their Implementation
Sort
View
SPAA
1995
ACM
15 years 9 months ago
Provably Efficient Scheduling for Languages with Fine-Grained Parallelism
Many high-level parallel programming languages allow for fine-grained parallelism. As in the popular work-time framework for parallel algorithm design, programs written in such lan...
Guy E. Blelloch, Phillip B. Gibbons, Yossi Matias
SRDS
1995
IEEE
15 years 9 months ago
Supporting Semantics-Based Transaction Processing in Mobile Database Applications
Advances in computer and telecommunication technologies have made mobile computing a reality. However, greater mobility implies a more tenuous network connection and a higher rate...
Gary D. Walborn, Panos K. Chrysanthis
VLDB
1991
ACM
123views Database» more  VLDB 1991»
15 years 9 months ago
Rule Management in Object Oriented Databases: A Uniform Approach
Rules have been proposed for providing active behaviour in DBMS. Previous attempts to add rules to Object Oriented DBs have often resulted in a dichotomy between rules and other k...
Oscar Díaz, Norman W. Paton, Peter M. D. Gr...
VLDB
1991
ACM
128views Database» more  VLDB 1991»
15 years 9 months ago
A Functional Programming Approach to Deductive Databases
We introduce a persistentfunctional languagecalled PFL which adapts functional programming to the area of deductive databases,much as logic-based deductive databaselanguagesadapt ...
Alexandra Poulovassilis, Carol Small
174
Voted
ECOOP
2010
Springer
15 years 9 months ago
Verifying Executable Object-Oriented Specifications with Separation Logic
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
Stephan van Staden, Cristiano Calcagno, Bertrand M...