Sciweavers

1453 search results - page 186 / 291
» Scheduling for Embedded Real-Time Systems
Sort
View
CODES
2001
IEEE
15 years 7 months ago
Formal synthesis and code generation of embedded real-time software
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
Pao-Ann Hsiung
QEST
2008
IEEE
15 years 10 months ago
Automatic Translation of UML Sequence Diagrams into PEPA Models
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
Mirco Tribastone, Stephen Gilmore
128
Voted
IPPS
1998
IEEE
15 years 8 months ago
Partial Rearrangements of Space-Shared FPGAs
Abstract Oliver Diessel1 and Hossam ElGindy2 1Department of Computer Science and Software Engineering 2Department of Electrical and Computer Engineering The University of Newcastle...
Oliver Diessel, Hossam A. ElGindy
158
Voted
RTAS
2010
IEEE
15 years 1 months ago
Improved Task Management Techniques for Enforcing EDF Scheduling on Recurring Tasks
The management of tasks is an essential requirement in most real-time and embedded systems, but invariably leads to unwanted CPU overheads. This paper is concerned with task manage...
Michael Short
DSD
2006
IEEE
83views Hardware» more  DSD 2006»
15 years 7 months ago
Resource-Efficient Routing and Scheduling of Time-Constrained Network-on-Chip Communication
Abstract. Network-on-chip-based multiprocessor systems-onchip are considered as future embedded systems platforms. One of the steps in mapping an application onto such a parallel p...
Sander Stuijk, Twan Basten, Marc Geilen, Amir Hoss...