7452 search results - page 94 / 1491 » A Semantics for Multiprocessor Systems |
188
Voted
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
In system-level platform-based embedded systems design, the mapping model is a crucial link between the application model and the architecture model. All three models must match w...
151
click to vote
RTS
2006
15 years 6 months ago
2006
A new feasibility test for preemptive scheduling of periodic or sporadic real-time tasks on a single-queue m-server system allows for arbitrary fixed task priorities and arbitrary...
201
click to vote
JLP
2010
15 years 27 days ago
2010
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...
170
click to vote
IISWC
2006
IEEE
16 years 4 days ago
2006
IEEE
— As CMPs are emerging as the dominant architecture for a wide range of platforms (from embedded systems and game consoles, to PCs, and to servers) the need to manage on-chip res...
157
click to vote
RTAS
2008
IEEE
16 years 14 days ago
2008
IEEE
Multiprocessor scheduling problems are hard because of the numerous constraints on valid schedules to take into account. This paper presents new schedule representations in order ...