Sciweavers

661 search results - page 104 / 133
» Concurrency, objects and visualisation
Sort
View
ECOOP
2000
Springer
15 years 4 months ago
Towards a Unified Programming Language
The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not a...
Ole Lehrmann Madsen
EUROMICRO
1999
IEEE
15 years 4 months ago
Software Synthesis for System Level Design Using Process Execution Trees
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen
EUROMICRO
1998
IEEE
15 years 4 months ago
Approaches for Scheduling of Triggered Transactions in Real-Time Active Database Systems
A real-time active database system (RTADBS) has to provide capabilities for timely trigger of timeconstrained transactions and at the same time to process them, concurrently with ...
Kam-yiu Lam, Tony S. H. Lee
ISORC
1998
IEEE
15 years 4 months ago
Checked Transactions in an Asynchronous Message Passing Environment
Traditionally transactions have been singlethreaded. In such an environment the thread terminating the transaction is, by definition, the thread which performed the work. Therefor...
Steve J. Caughey, Mark C. Little, Santosh K. Shriv...
DEXA
1998
Springer
90views Database» more  DEXA 1998»
15 years 4 months ago
On the Correctness of a Transaction Model for Mobile Computing
We discuss and prove the correctness of a transaction model for mobile computing. In our transaction model, we incorporate a prewrite operation (before a write) which does not upda...
Sanjay Kumar Madria, Bharat K. Bhargava