Sciweavers

2523 search results - page 235 / 505
» Correct Development of Embedded Systems
Sort
View
192
Voted
ASPLOS
2010
ACM
16 years 1 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
215
Voted
ICIAR
2004
Springer
16 years 12 days 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...
191
Voted
ERSHOV
1993
Springer
15 years 11 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
205
Voted
WER
2004
Springer
16 years 11 days 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...
195
Voted
MIXER
2004
15 years 8 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...