Sciweavers

419 search results - page 12 / 84
» Automatic Synthesis of Real Time Systems
Sort
View
FDL
2004
IEEE
15 years 5 months ago
Real-Time Operating System Services for Realistic SystemC Simulation Models of Embedded Systems
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
P. Hastono, Stephan Klaus, Sorin A. Huss
114
Voted
SBCCI
2004
ACM
127views VLSI» more  SBCCI 2004»
15 years 7 months ago
A formal software synthesis approach for embedded hard real-time systems
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
Raimundo S. Barreto, Marília Neves, Meuse N...
127
Voted
ICCAD
2009
IEEE
179views Hardware» more  ICCAD 2009»
14 years 11 months ago
Automatic memory partitioning and scheduling for throughput and power optimization
Hardware acceleration is crucial in modern embedded system design to meet the explosive demands on performance and cost. Selected computation kernels for acceleration are usually ...
Jason Cong, Wei Jiang, Bin Liu, Yi Zou
127
Voted
RTCSA
2007
IEEE
15 years 8 months ago
A Voltage and Resource Synthesis Technique for Energy-Aware Real-time Systems
We consider a resource synthesis technique for realtime systems where dynamic voltage scaling is supported, the energy budget is limited, and the performance of the system depends...
Dong-In Kang, Stephen P. Crago, Jinwoo Suh, Janice...
AICT
2005
IEEE
157views Communications» more  AICT 2005»
15 years 3 months ago
Fast Retransmission of Real-Time Traffic in HIPERLAN/2 Systems
Automatic repeat request (ARQ) schemes are effective to recover non-real-time data corrupted by channel errors, but their use with real-time traffic is seldom considered because p...
Jose A. Afonso, Joaquim E. Neves