Sciweavers

16725 search results - page 2759 / 3345
» Engineering Software Correctness
Sort
View
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
16 years 1 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
VRST
2009
ACM
16 years 1 months ago
HardBorders: a new haptic approach for selection tasks in 3D menus
In this paper, we introduce a 3D menu with a new technique of haptic guidance, for virtual environments. The 3D menu consists in a thin polyhedral shape, with the items at the cor...
Caroline Essert-Villard, Antonio Capobianco
ARCS
2010
Springer
16 years 1 months ago
Exploiting Inactive Rename Slots for Detecting Soft Errors
Register renaming is a widely used technique to remove false data dependencies in superscalar datapaths. Rename logic consists of a table that holds a physical register mapping for...
Mehmet Kayaalp, Oguz Ergin, Osman S. Ünsal, M...
IOLTS
2008
IEEE
117views Hardware» more  IOLTS 2008»
16 years 1 months ago
Verification and Analysis of Self-Checking Properties through ATPG
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
Marc Hunger, Sybille Hellebrand
IOLTS
2008
IEEE
116views Hardware» more  IOLTS 2008»
16 years 1 months ago
SystemC-Based Minimum Intrusive Fault Injection Technique with Improved Fault Representation
In this paper, we propose a new SystemC-based fault injection technique that has improved fault representation in visible and on-the-fly data and signal registers. The technique ...
Rishad A. Shafik, Paul M. Rosinger, Bashir M. Al-H...
« Prev « First page 2759 / 3345 Last » Next »