5683 search results - page 73 / 1137 » Interactive Schedulability Analysis |
140
Voted
CODES
2005
IEEE
15 years 9 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...
152
Voted
ICUMT
2009
15 years 1 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 ...
155
Voted
ACPC
1999
Springer
15 years 8 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...
120
Voted
INTERACT
2003
15 years 5 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...
130
Voted
IPPS
2008
IEEE
15 years 10 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...