real-time database management

DATESO
2010

150views Database» more DATESO 2010»

Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal

13 years 10 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...

Martin Kot

claim paper

Read More »

click to vote

RTSS
1995
IEEE

131views Control Systems» more RTSS 1995»

Managing Contention and Timing Constraints in a Real-Time Database System

14 years 4 months ago

Download www.cs.virginia.edu

Previous work in real-time database management systems (RT-DBMS) has primarily based on simulation. This paper discusses how current real-time technology has been applied to archi...

Matthew R. Lehr, Young-Kuk Kim, Sang Hyuk Son

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers