Sciweavers

880 search results - page 5 / 176
» Semantics-Based Concurrency Control
Sort
View
RTDB
1996
105views more  RTDB 1996»
15 years 6 months ago
Towards Priority Ceilings in Object-Based Semantic Real-Time Concurrency Control
This paper shows how priority ceiling techniques can be added to object-based real-time semantic concurrency control. The resulting protocol provides more potential concurrency fo...
Michael Squadrito, Lisa Cingiser DiPippo, Victor F...
ICDE
2005
IEEE
143views Database» more  ICDE 2005»
16 years 6 months ago
Postgres-R(SI): Combining Replica Control with Concurrency Control based on Snapshot Isolation
Replicating data over a cluster of workstations is a powerful tool to increase performance, and provide faulttolerance for demanding database applications. The big challenge in su...
Shuqing Wu, Bettina Kemme
115
Voted
KBSE
2005
IEEE
15 years 10 months ago
Application of design for verification with concurrency controllers to air traffic control software
Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Be...
VEE
2012
ACM
269views Virtualization» more  VEE 2012»
14 years 18 days ago
SimTester: a controllable and observable testing framework for embedded systems
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
Tingting Yu, Witawas Srisa-an, Gregg Rothermel