Sciweavers

1663 search results - page 169 / 333
» Scheduling techniques for media-on-demand
Sort
View
SIPS
2007
IEEE
16 years 20 days ago
Montgomery Modular Multiplication Algorithm on Multi-Core Systems
In this paper, we investigate the efficient software implementations of the Montgomery modular multiplication algorithm on a multi-core system. A HW/SW co-design technique is use...
Junfeng Fan, Kazuo Sakiyama, Ingrid Verbauwhede
ICMCS
2000
IEEE
100views Multimedia» more  ICMCS 2000»
15 years 10 months ago
About the Semantic Verification of SMIL Documents
This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS spec...
Paulo Nazareno Maia Sampaio, C. A. S. Santos, Jean...
FPL
2009
Springer
142views Hardware» more  FPL 2009»
15 years 10 months ago
Cooperative multithreading in dynamically reconfigurable systems
Preemptive multitasking, a popular technique for timesharing of computational resources in software-based systems, faces considerable difficulties when applied to partially reconf...
Enno Lübbers, Marco Platzner
ICCD
2008
IEEE
133views Hardware» more  ICCD 2008»
16 years 3 months ago
Reliability-aware Dynamic Voltage Scaling for energy-constrained real-time embedded systems
— The Dynamic Voltage Scaling (DVS) technique is the basis of numerous state-of-the-art energy management schemes proposed for real-time embedded systems. However, recent researc...
Baoxian Zhao, Hakan Aydin, Dakai Zhu
CSCLP
2007
Springer
16 years 17 days ago
Temporal Reasoning in Nested Temporal Networks with Alternatives
Temporal networks play a crucial role in modeling temporal relations in planning and scheduling applications. Temporal Networks with Alternatives (TNAs) were proposed to model alte...
Roman Barták, Ondrej Cepek, Martin Hejna