Sciweavers

1243 search results - page 159 / 249
» EDZL Scheduling Analysis
Sort
View
GSEM
2007
Springer
15 years 8 months ago
FIFO Queuing of Constant Length Fully Synchronous Jobs
Abstract. The paper examines the behaviour of a saturated multiprocessor system to which fully synchronous parallel jobs are submitted. In order to simplify the analysis, we assume...
Vandy Berten, Raymond R. Devillers, Guy Louchard
ATAL
1999
Springer
15 years 6 months ago
Incorporating Uncertainty in Agent Commitments
Abstract. Commitments play a central role in multi-agent coordination. However, they are inherently uncertain and it is important to take these uncertainties into account during pl...
Ping Xuan, Victor R. Lesser
130
Voted
ECRTS
2006
IEEE
15 years 7 months ago
Optimal deadline assignment for periodic real-time tasks in dynamic priority systems
Real-time systems are often designed using a set of periodic tasks. Task periods are usually set by the system requirements, but deadlines and computation times can be modified i...
Patricia Balbastre, Ismael Ripoll, Alfons Crespo
RTCSA
2003
IEEE
15 years 7 months ago
Deterministic and Statistical Deadline Guarantees for a Mixed Set of Periodic and Aperiodic Tasks
Current hard real-time technologies are unable to support a new class of applications that have real-time constraints but with dynamic request arrivals and unpredictable resource r...
Minsoo Ryu, Seongsoo Hong
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
15 years 10 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening