Sciweavers

7827 search results - page 49 / 1566
» time 2007
Sort
View
RTCSA
2007
IEEE
15 years 6 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»
14 years 11 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 6 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