Sciweavers

1453 search results - page 125 / 291
» Scheduling for Embedded Real-Time Systems
Sort
View
148
Voted
RTSS
2007
IEEE
15 years 10 months ago
Response-Time Analysis for Globally Scheduled Symmetric Multiprocessor Platforms
In the last years, a progressive migration from single processor chips to multi-core computing devices has taken place in the general-purpose and embedded system market. The devel...
Marko Bertogna, Michele Cirinei
117
Voted
RTCSA
2007
IEEE
15 years 10 months ago
Tardiness Bounds for EDF Scheduling on Multi-Speed Multicore Platforms
Multicore platforms, which include several processing cores on a single chip, are being widely touted as a solution to heat and energy problems that are impediments to single-core...
Hennadiy Leontyev, James H. Anderson
ISOLA
2007
Springer
15 years 9 months ago
Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
Joris Rehm, Dominique Cansell
125
Voted
IVA
2005
Springer
15 years 9 months ago
Hierarchical Motion Controllers for Real-Time Autonomous Virtual Humans
Abstract. Continuous and synchronized whole-body motions are essential for achieving believable autonomous virtual humans in interactive applications. We present a new motion contr...
Marcelo Kallmann, Stacy Marsella
ADAEUROPE
2008
Springer
15 years 5 months ago
Real-Time Distribution Middleware from the Ada Perspective
Standards for distribution middleware sometimes impose restrictions and often allow the implementations to decide on aspects that are fundamental to the correct and efficient behav...
Héctor Pérez, J. Javier Gutié...