1243 search results - page 165 / 249 » EDZL Scheduling Analysis |
100
click to vote
ICPP
1999
IEEE
15 years 6 months ago
1999
IEEE
Most of today's multiprocessors have a DistributedShared Memory (DSM) organization, which enables scalability while retaining the convenience of the shared-memory programming...
135
click to vote
ENTCS
2007
15 years 1 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
139
click to vote
DAC
2000
ACM
16 years 2 months ago
2000
ACM
In this paper, we present a case study for the design, programming and usage of a reconfigurable system-on-chip, MorphoSys, which is targeted at computation-intensive applications...
105
click to vote
RTSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
121
Voted
RTSS
2008
IEEE
15 years 8 months ago
2008
IEEE
—Wormhole switching with fixed priority preemption has been proposed as a possible solution for real-time on-chip communication. However, none of current priority assignment pol...