Sciweavers

208 search results - page 10 / 42
» Object-oriented real-time concurrency
Sort
View
JUCS
2006
109views more  JUCS 2006»
13 years 9 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
ADBIS
1997
Springer
149views Database» more  ADBIS 1997»
14 years 2 months ago
Concurrency Control Protocol for Nested Transactions in Real-Time Databases
In this paper we consider real-time concurrency control for the nested transaction model. We analyze problems that have pure optimistic and pessimistic approaches. As the solution...
Ekaterina Pavlova, Igor Nekrestyanov
CONCUR
2010
Springer
13 years 11 months ago
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar B...
HICSS
2002
IEEE
120views Biometrics» more  HICSS 2002»
14 years 2 months ago
Real Time Decision Support System for Portfolio Management
We describe our real time decision support system; a system that supports information gathering and managing of an investment portfolio. Our system uses the Object Oriented Bayesi...
Chiu-Che Tseng, Piotr J. Gmytrasiewicz
ECRTS
2004
IEEE
14 years 1 months ago
TLSF: A New Dynamic Memory Allocator for Real-Time Systems
Dynamic storage allocation (DSA) algorithms play an important role in the modern software engineering paradigms and techniques (such as object oriented programming). Using DSA inc...
Miguel Masmano, Ismael Ripoll, Alfons Crespo, Jorg...