326 search results - page 24 / 66 » Embedding Real Time in Stochastic Process Algebras |
115
click to vote
TACAS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
145
Voted
SCP
2000
15 years 1 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
142
Voted
AVSS
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents the implementation of a video segmentation unit used for embedded automated video surveillance systems. Various aspects of the underlying segmentation algorith...
SIGCOMM
2000
ACM
15 years 6 months ago
2000
ACM
In this paper, we present a model for TCP/IP ow control mechanism. The rate at which data is transmitted increases linearly in time until a packet loss is detected. At that point,...
124
click to vote
ECRTS
2008
IEEE
15 years 8 months ago
2008
IEEE
The commonly used task models for real-time systems focus on execution windows expressing earliest start times and deadlines of tasks for feasibility. Within these windows, execut...