Search Sciweavers | Sciweavers

20126 search results - page 348 / 4026

» Timed Transition Systems

132

click to vote

SIGOPSE
2004
ACM

108views Operating System» more SIGOPSE 2004»

Using time travel to diagnose computer problems

16 years 6 days ago

Download www.cs.washington.edu

Andrew Whitaker, Richard S. Cox, Steven D. Gribble

claim paper

Read More »

127

click to vote

ECRTS
2002
IEEE

97views Embedded Systems» more ECRTS 2002»

Real-Time Communications over Hybrid Wired/Wireless PROFIBUS-based Networks

15 years 11 months ago

Download www.hurray.isep.ipp.pt

Mário Alves, Eduardo Tovar, Francisco Vasqu...

claim paper

Read More »

132

click to vote

RTAS
2002
IEEE

96views Embedded Systems» more RTAS 2002»

Achieving Bounded and Predictable Recovery using Real-Time Logging

15 years 11 months ago

Download www.cs.virginia.edu

LihChyun Shu, John A. Stankovic, Sang Hyuk Son

claim paper

Read More »

154

click to vote

HYBRID
2001
Springer

105views Control Systems» more HYBRID 2001»

Optimal Paths in Weighted Timed Automata

15 years 11 months ago

Download www.seas.upenn.edu

Rajeev Alur, Salvatore La Torre, George J. Pappas

claim paper

Read More »

152

click to vote

RTAS
2000
IEEE

107views Embedded Systems» more RTAS 2000»

Scheduling Distributed Real-Time Tasks in the DGMF Model

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers