Sciweavers

3387 search results - page 18 / 678

» Model-Checking for Real-Time Systems

20

RTSS
2000
IEEE

97views Control Systems» more RTSS 2000»

Adding PEP to Real-Time Distributed Commit Processing

13 years 12 months ago

Adding PEP to Real-Time Distributed Commit Processing

Download dsl.serc.iisc.ernet.in

Jayant R. Haritsa, Krithi Ramamritham

claim paper

Read More »

25

RTSS
1999
IEEE

154views Control Systems» more RTSS 1999»

Testing the Temporal Behavior of Real-Time Tasks Using Extended Evolutionary Algorithms

13 years 11 months ago

Testing the Temporal Behavior of Real-Time Tasks Using Extended Evolutionary Algorithms

Download www.systematic-testing.com

Joachim Wegener, Harmen Sthamer, Hartmut Pohlheim

claim paper

Read More »

18

RTSS
1998
IEEE

93views Control Systems» more RTSS 1998»

A General Model for Recurring Real-Time Tasks

13 years 11 months ago

A General Model for Recurring Real-Time Tasks

Download www.arl.wustl.edu

Sanjoy K. Baruah

claim paper

Read More »

19

RTSS
1989
IEEE

82views Control Systems» more RTSS 1989»

Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty

13 years 11 months ago

Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty

Download groups.csail.mit.edu

Hagit Attiya, Nancy A. Lynch

claim paper

Read More »

20

ECRTS
2010
IEEE

192views Embedded Systems» more ECRTS 2010»

ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr

13 years 8 months ago

ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr

Download www-verimag.imag.fr

Karine Altisen, Matthieu Moy

claim paper

Read More »

« Prev « First page 18 / 678 Last » Next »