6308 search results - page 95 / 1262 » Modeling Urgency in Timed Systems |
MEMOCODE
2006
IEEE
15 years 3 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
SIPS
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, we present four scheduling algorithms that provide flexible utilization of fine-grain DSP accelerators with low run-time overhead. Methods that have originally been...
ISPDC
2006
IEEE
15 years 3 months ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
ASMTA
2008
Springer
14 years 12 months ago
2008
Springer
In this paper we analytically derive the sojourn time of a user accessing an online IPTV recording service. Basically, the system consists of a server (or server farm) and the band...
EUROMICRO
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...