Sciweavers

2825 search results - page 423 / 565
» Support for Object-Oriented Testing
Sort
View
ASPDAC
2005
ACM
106views Hardware» more  ASPDAC 2005»
14 years 4 days ago
Using loop invariants to fight soft errors in data caches
Ever scaling process technology makes embedded systems more vulnerable to soft errors than in the past. One of the generic methods used to fight soft errors is based on duplicati...
Sri Hari Krishna Narayanan, Seung Woo Son, Mahmut ...
BPM
2006
Springer
128views Business» more  BPM 2006»
14 years 4 days ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
DAC
2005
ACM
14 years 3 days ago
Asynchronous circuits transient faults sensitivity evaluation
1 This paper presents a transient faults sensitivity evaluation for Quasi Delay Insensitive (QDI) asynchronous circuits. Because of their specific architecture, asynchronous circui...
Yannick Monnet, Marc Renaudin, Régis Leveug...
DCOSS
2008
Springer
13 years 12 months ago
Time Synchronization in Heterogeneous Sensor Networks
Heterogeneous sensor networks consisting of resource-constrained nodes as well as resource-intensive nodes equipped with high-bandwidth sensors offer significant advantages for dev...
Isaac Amundson, Branislav Kusy, Péter V&oum...
DIMEA
2008
190views Multimedia» more  DIMEA 2008»
13 years 12 months ago
Bridging the gap between the digital and the physical: design and evaluation of a mobile augmented reality guide for the museum
Can Augmented Reality (AR) techniques inform the design and implementation of a mobile multimedia guide for the museum setting? Drawing from our experience both on previous mobile...
Areti Damala, Pierre Cubaud, Anne Bationo, Pascal ...