5683 search results - page 73 / 1137 » Interactive Schedulability Analysis |
123
click to vote
CODES
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a novel approach for multiprocess synthesis supporting well-tailored module integration at system level. The goal is to extend the local scope of existing arch...
134
click to vote
ICUMT
2009
14 years 11 months ago
2009
Uplink users in cellular networks, such as UMTS/ HSPA, located at the edge of the cell generally suffer from poor channel conditions. Deploying intermediate relay nodes is seen as ...
138
click to vote
ACPC
1999
Springer
15 years 5 months ago
1999
Springer
In this paper, we first present an Object Composition Petri Nets (OCPN) based model methodology for describing the dynamic behaviour of the multiple video objects and user interac...
100
click to vote
INTERACT
2003
15 years 2 months ago
2003
The Fly's Eye project (2002) creates an animated document of both space and time and draws inspiration from the structure, function and significance of the eye of the fly and...
116
click to vote
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...