Sciweavers

400 search results - page 43 / 80
» Resource-aware exploration of the emergent dynamics of simul...
Sort
View
KBSE
2002
IEEE
14 years 1 months ago
An Approach to Rapid Prototyping of Large Multi-Agent Systems
Engineering individual components of a multi-agent system and their interactions is a complex and error-prone task in urgent need of methods and tools. Prototyping is a valuable t...
Wamberto Weber Vasconcelos, Carles Sierra, Marc Es...
HPCC
2009
Springer
14 years 17 days ago
Dynamically Filtering Thread-Local Variables in Lazy-Lazy Hardware Transactional Memory
Abstract--Transactional Memory (TM) is an emerging technology which promises to make parallel programming easier. However, to be efficient, underlying TM system should protect only...
Sutirtha Sanyal, Sourav Roy, Adrián Cristal...
AUTOMATICA
2004
110views more  AUTOMATICA 2004»
13 years 8 months ago
Robust adaptive control of a class of nonlinear systems with unknown dead-zone
This paper deals with the adaptive control of a class of continuous-time nonlinear dynamic systems preceded by an unknown dead-zone. By using a new description of a dead-zone and ...
Xing-Song Wang, Chun-Yi Su, Henry Hong
ICCD
2007
IEEE
98views Hardware» more  ICCD 2007»
14 years 5 months ago
Priority-monotonic energy management for real-time systems with reliability requirements
Considering the impact of the popular energy management technique Dynamic Voltage and Frequency Scaling (DVFS) on system reliability, the Reliability-Aware Power Management (RA-PM...
Dakai Zhu, Xuan Qi, Hakan Aydin
QEST
2007
IEEE
14 years 3 months ago
Symbolic Bisimulations for Probabilistic Systems
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
Peng Wu 0002, Catuscia Palamidessi, Huimin Lin