Search Sciweavers | Sciweavers

22

ECRTS
2005
IEEE

165views Embedded Systems» more ECRTS 2005»

Non-Preemptive Interrupt Scheduling for Safe Reuse of Legacy Drivers in Real-Time Systems

14 years 1 months ago

Low-level support of peripheral devices is one of the most demanding activities in a real-time operating system. In fact, the rapid development of new interface boards causes a tr...

Tullio Facchinetti, Giorgio C. Buttazzo, Mauro Mar...

claim paper

Read More »

21

click to vote

CSCW
2006
ACM

111views Social Sciences» more CSCW 2006»

Interruptions on software teams: a comparison of paired and solo programmers

14 years 1 months ago

Download www.cs.xu.edu

This study explores interruption patterns among software developers who program in pairs versus those who program solo. Ethnographic observations indicate that interruption length...

Jan Chong, Rosanne Siino

claim paper

Read More »

26

click to vote

RTSS
2003
IEEE

157views Control Systems» more RTSS 2003»

Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems

14 years 23 days ago

Download groups.csail.mit.edu

We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...

Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segal...

claim paper

Read More »

28

click to vote

CONCUR
2009
Springer

123views Distributed And Parallel Com...» more CONCUR 2009»

Strict Divergence for Probabilistic Timed Automata

14 years 2 months ago

Download www.sti.uniurb.it

Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. In previous work, a probabilistic notion of time divergence for p...

Jeremy Sproston

claim paper

Read More »

18

click to vote

LATA
2009
Springer

82views Artificial Intelligence» more LATA 2009»

Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions

14 years 2 months ago