Sciweavers

2523 search results - page 235 / 505
» Correct Development of Embedded Systems
Sort
View
128
Voted
ASPLOS
2010
ACM
15 years 10 months ago
Virtualized and flexible ECC for main memory
We present a general scheme for virtualizing main memory errorcorrection mechanisms, which map redundant information needed to correct errors into the memory namespace itself. We ...
Doe Hyun Yoon, Mattan Erez
ICIAR
2004
Springer
15 years 8 months ago
Large Display Interaction Using Video Avatar and Hand Gesture Recognition
This paper presents a new system for interacting with a large display using live video avatar of a user and hand gesture recognition. The system enables a user to appear on a scree...
Sang Chul Ahn, Tae-Seong Lee, Ig-Jae Kim, Yong-Moo...
ERSHOV
1993
Springer
15 years 7 months ago
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
Hanan Lutfiyya, Bruce M. McMillin, Alan Su 0002
WER
2004
Springer
15 years 8 months ago
Towards Requirement Traceability in TROPOS
If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so w...
Andréa Castor, Rosa Pinto, Carla T. L. L. S...
MIXER
2004
15 years 4 months ago
Design Patterns for Augmented Reality Systems
For documentation and development of augmented reality (AR) systems, we propose the use of design patterns. Patterns are structured descriptions of successfully applied problem-so...
Asa MacWilliams, Thomas Reicher, Gudrun Klinker, B...