Sciweavers

1663 search results - page 169 / 333
» Scheduling techniques for media-on-demand
Sort
View
104
Voted
SIPS
2007
IEEE
15 years 7 months 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
92
Voted
ICMCS
2000
IEEE
100views Multimedia» more  ICMCS 2000»
15 years 5 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...
117
Voted
FPL
2009
Springer
142views Hardware» more  FPL 2009»
15 years 5 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
98
Voted
ICCD
2008
IEEE
133views Hardware» more  ICCD 2008»
15 years 10 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
91
Voted
CSCLP
2007
Springer
15 years 7 months 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