Search Sciweavers | Sciweavers

20126 search results - page 348 / 4026

» Timed Transition Systems

150

click to vote

SIGOPSE
2004
ACM

108views Operating System» more SIGOPSE 2004»

Using time travel to diagnose computer problems

16 years 28 days ago

Download www.cs.washington.edu

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

claim paper

Read More »

149

Voted

ECRTS
2002
IEEE

97views Embedded Systems» more ECRTS 2002»

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

16 years 14 days ago

Download www.hurray.isep.ipp.pt

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

claim paper

Read More »

151

Voted

RTAS
2002
IEEE

96views Embedded Systems» more RTAS 2002»

Achieving Bounded and Predictable Recovery using Real-Time Logging

16 years 13 days ago

Download www.cs.virginia.edu

LihChyun Shu, John A. Stankovic, Sang Hyuk Son

claim paper

Read More »

175

click to vote

HYBRID
2001
Springer

105views Control Systems» more HYBRID 2001»

Optimal Paths in Weighted Timed Automata

16 years 5 hour ago

Download www.seas.upenn.edu

Rajeev Alur, Salvatore La Torre, George J. Pappas

claim paper

Read More »

178

Voted

RTAS
2000
IEEE

107views Embedded Systems» more RTAS 2000»

Scheduling Distributed Real-Time Tasks in the DGMF Model

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers