Sciweavers

2996 search results - page 344 / 600
» Dynamic Traveling Repairperson Problem for dynamic systems
Sort
View
FCT
2007
Springer
16 years 27 days ago
Rewriting Systems with Data
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Miha...
200
Voted
ECAL
2005
Springer
16 years 8 days ago
Artificial Homeostatic System: A Novel Approach
Abstract. Many researchers are developing frameworks inspired by natural, especially biological, systems to solve complex real-world problems. This work extends previous work in th...
Patrícia Amâncio Vargas, Renan C. Moi...
HCW
2000
IEEE
15 years 11 months ago
Fast and Effective Task Scheduling in Heterogeneous Systems
Recently, we presented two very low-cost approaches to compile-time list scheduling where the tasks’ priorities are computed statically or dynamically, respectively. For homogen...
Andrei Radulescu, Arjan J. C. van Gemund
ICCAD
2006
IEEE
119views Hardware» more  ICCAD 2006»
16 years 3 months ago
Energy management for real-time embedded systems with reliability requirements
With the continued scaling of CMOS technologies and reduced design margins, the reliability concerns induced by transient faults have become prominent. Moreover, the popular energ...
Dakai Zhu, Hakan Aydin
AUSAI
2009
Springer
16 years 1 months ago
Probabilistic Seeking Prediction in P2P VoD Systems
In P2P VoD streaming systems, user behavior modeling is critical to help optimise user experience as well as system throughput. However, it still remains a challenging task due to ...
Weiwei Wang, Tianyin Xu, Yang Gao, Sanglu Lu