Search Sciweavers | Sciweavers

9210 search results - page 27 / 1842

» Analyzing Real-Time Systems

click to vote

ADBIS
1997
Springer

149views Database» more ADBIS 1997»

Concurrency Control Protocol for Nested Transactions in Real-Time Databases

15 years 2 months ago

Download meta.math.spbu.ru

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

claim paper

Read More »

click to vote

RTSS
2002
IEEE

111views Control Systems» more RTSS 2002»

Cost and Benefit of Separate Address Spaces in Real-Time Operating Systems

15 years 3 months ago

Download www.cc.gatech.edu

Frank Mehnert, Michael Hohmuth, Hermann Härti...

claim paper

Read More »

click to vote

RTSS
1999
IEEE

155views Control Systems» more RTSS 1999»

On Scheduling Tasks in Reliable Real-Time Control Systems

15 years 2 months ago

Download suif.stanford.edu

Ramesh Chandra, Lui Sha

claim paper

Read More »

click to vote

RTSS
1999
IEEE

130views Control Systems» more RTSS 1999»

Towards Systematic Testing of Distributed Real-Time Systems

15 years 2 months ago

Download www.mrtc.mdh.se

Henrik Thane, Hans Hansson

claim paper

Read More »

click to vote

RTCSA
1998
IEEE

142views Embedded Systems» more RTCSA 1998»

A State Graph Manipulator Tool for Real-Time System Specification and Verification

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers