326 search results - page 59 / 66 » Embedding Real Time in Stochastic Process Algebras |
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
LCTRTS
2004
Springer
14 years 1 months ago
2004
Springer
This paper proposes energy efficient real-time multi-task scheduling (EDF and RM) algorithms by using buffers. The buffering technique overcomes a drawback of previous approaches ...
RTAS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
ARCS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper we present a partial bitstreams ultra-fast downloading process through a standard Ethernet network. These Virtex-based and partially reconfigurable systems...