Sciweavers

880 search results - page 15 / 176
» Semantics-Based Concurrency Control
Sort
View
RTCSA
2000
IEEE
13 years 12 months ago
Using importance of transactions and optimistic concurrency control in firm real-time databases
In a real-time database system, it is difficult to meet all timing constraints due to the consistency requirements of the underlying database. However, when the transactions in t...
Jan Lindström, Kimmo E. E. Raatikainen
COMPSAC
2001
IEEE
13 years 11 months ago
Utilizing Object-Oriented Databases for Concurrency Control in Virtual Environments
Virtual Reality Modeling Language (VRML) is widely used to represent, create, and display virtual reality objects and their environment. Some VRML applications require concurrent ...
Damla Turgut, Nevin Aydin, Ramez Elmasri, Begumhan...
ICFP
2010
ACM
13 years 7 months ago
Lolliproc: to concurrency from classical linear logic via curry-howard and control
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
Karl Mazurak, Steve Zdancewic
CDC
2009
IEEE
129views Control Systems» more  CDC 2009»
13 years 5 months ago
Adaptive control using retrospective cost optimization with RLS-based estimation for concurrent Markov-parameter updating
We present a discrete-time adaptive control law that is effective for systems that are MIMO and either minimum phase or nonminimum phase. The adaptive control algorithm provides gu...
Mario A. Santillo, Matthew S. Holzel, Jesse B. Hoa...
IPPS
1994
IEEE
13 years 11 months ago
Toward Flexible Control of the Temporal Mapping from Concurrent Program Events to Animations
As parallel and distributed computers become more widely available and used, the already important process of understanding and debugging concurrent programs will take on even gre...
Eileen Kraemer, John T. Stasko