Sciweavers

6808 search results - page 270 / 1362
» Distributed Concurrency Control
Sort
View
PPDP
2005
Springer
16 years 4 days ago
Security policy in a declarative style
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
Rachid Echahed, Frédéric Prost
SRDS
1999
IEEE
15 years 11 months ago
Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications
In CORBA-based applications that depend on object replication for fault tolerance, inconsistencies in the states of the replicas of an object can arise when concurrent threads wit...
Priya Narasimhan, Louise E. Moser, P. M. Melliar-S...
EUROMICRO
1998
IEEE
15 years 11 months ago
Hardware to Software Migration with Real-Time Thread Integration
This paper introduces thread integration, a new method of providing low-cost concurrency for microcontrollers and microprocessors. This post-pass compiler technology effectively i...
Alexander G. Dean, John Paul Shen
SCCC
1998
IEEE
15 years 11 months ago
Resurrecting Ada's Rendez-Vous in Java
Java is a programming language designed with concurrency in mind from its inception. However, the synchronization mechanism provided is a restricted version of Hoare's Monito...
Luis Mateu, José M. Piquer, Juan Leó...
SIGMOD
1997
ACM
159views Database» more  SIGMOD 1997»
15 years 10 months ago
On-Line Warehouse View Maintenance
Data warehouses store materialized views over base data from external sources. Clients typically perform complex read-only queries on the views. The views are refreshed periodical...
Dallan Quass, Jennifer Widom