945 search results - page 64 / 189 » A Schedulability Analysis of Deferrable Scheduling Using Pat... |
120
click to vote
HCI
2011
14 years 6 months ago
2011
: This work, a collaboration between Alstom Transport and the MIT Humans and Automation Laboratory (HAL), is focused on the development of an interactive in-cab scheduling interfac...
145
Voted
WCET
2010
15 years 12 days ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
104
Voted
STTT
2008
15 years 2 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
156
click to vote
FCCM
2009
IEEE
15 years 6 months ago
2009
IEEE
Modern use of FPGAs as hardware accelerators involves the partial reconfiguration of hardware resources as the application executes. In this paper, we present a polynomial time al...
149
Voted
RSP
2000
IEEE
15 years 7 months ago
2000
IEEE
Dataflow programming has proven to be popular for representing applications in rapid prototyping tools for digital signal processing (DSP); however, existing dataflow design tools...