Sciweavers

5900 search results - page 192 / 1180
» Dependable Systems
Sort
View
ET
2010
83views more  ET 2010»
15 years 4 months ago
Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems
—Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. For the class of static affine program...
Sven Verdoolaege, Martin Palkovic, Maurice Bruynoo...
ICARIS
2010
Springer
15 years 4 months ago
A Developmental and Immune-Inspired Dynamic Task Allocation Algorithm for Microprocessor Array Systems
Abstract. This paper presents a high level dynamic task allocation algorithm that is inspired by the biological development process and the immune system. For a microprocessor (µP...
Yang Liu, Jon Timmis, Omer Qadir, Gianluca Tempest...
HAPTICS
2007
IEEE
16 years 11 days ago
Tilt Perception by Constant Tactile and Constant Proprioceptive Feedback through a Human System Interface
Tilt perception through a haptic human system interface is experimentally investigated. Tactile feedback is provided by vibration motors and proprioceptive feedback by the Cybergr...
Franziska K. B. Freyberger, Martin Kuschel, Bertho...
IAT
2007
IEEE
16 years 11 days ago
Coordination in Introspective Multi-Agent Systems
This paper proposes a multi-agent system architecture based on introspective agents provided with an expressive communication language and reasoning capabilities on their skills. ...
Yasmine Charif, Nicolas Sabouret
ISCAS
2007
IEEE
104views Hardware» more  ISCAS 2007»
16 years 10 days ago
Noncoherent Correlation-Based Communication Systems Choosing Different Chaotic Maps
— This paper proposes a new noncoherent detection system improved based on the differential chaos shift keying (DCSK) and the correlation delay shift keying (CDSK). In this schem...
Shintaro Arai, Yoshifumi Nishio