970 search results - page 42 / 194 » Symbolic timing simulation using cluster scheduling |
114
Voted
MICRO
2002
IEEE
15 years 3 months ago
2002
IEEE
Convergent scheduling is a general framework for instruction scheduling and cluster assignment for parallel, clustered architectures. A convergent scheduler is composed of many ind...
99
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
We address in this paper the problem of jointly scheduling hard periodic tasks and soft aperiodic events using the Real-Time Specification for Java (RTSJ). We present the programm...
138
Voted
JSSPP
2004
Springer
15 years 9 months ago
2004
Springer
As we continue to evolve into large-scale parallel systems, many of them employing hundreds of computing engines to take on mission-critical roles, it is crucial to design those s...
138
Voted
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Scheduling algorithms assign contention probability for each link in Wireless Ad Hoc Networks and plays a key role in deciding the system performance. Recently, many lowcost di...
129
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...