Sciweavers

7827 search results - page 49 / 1566
» time 2007
Sort
View
RTCSA
2007
IEEE
15 years 11 months ago
Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems
Guillaume Salagnac, Christophe Rippert, Sergio Yov...
QUESTA
2007
88views more  QUESTA 2007»
15 years 4 months ago
On queues with service and interarrival times depending on waiting times
We consider an extension of the standard G/G/1 queue, described by the equation W D = max{0, B − A + Y W}, where P[Y = 1] = p and P[Y = −1] = 1 − p. For p = 1 this model red...
Onno J. Boxma, Maria Vlasiou
PRDC
2007
IEEE
15 years 11 months ago
An Automatic Real-Time Analysis of the Time to Reach Consensus
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
Tatsuhiro Tsuchiya, André Schiper