Sciweavers

1308 search results - page 248 / 262
» Application of Hazard Analysis to Software Quality Modelling
Sort
View
DATE
2009
IEEE
111views Hardware» more  DATE 2009»
15 years 6 months ago
Increased accuracy through noise injection in abstract RTOS simulation
RTOS Simulation Henning Zabel, Wolfgang Mueller Universität Paderborn, C-LAB Fürstenallee 11, D-33102 Paderborn, Germany —Today, mobile and embedded real-time systems have to c...
Henning Zabel, Wolfgang Mueller
IROS
2008
IEEE
108views Robotics» more  IROS 2008»
15 years 6 months ago
Robots at home: Understanding long-term human-robot interaction
— Human-robot interaction (HRI) is now well enough understood to allow us to build useful systems that can function outside of the laboratory. We are studying longterm interactio...
Cory D. Kidd, Cynthia Breazeal
SAFECOMP
2007
Springer
15 years 5 months ago
Controller Architecture for Safe Cognitive Technical Systems
Abstract. Cognition of technical systems, as the ability to perceive situations, to learn about favorable behavior, and to autonomously generate decisions, adds new attributes to s...
Sebastian Kain, Hao Ding, Frank Schiller, Olaf Stu...
MICRO
2005
IEEE
117views Hardware» more  MICRO 2005»
15 years 5 months ago
A Quantum Logic Array Microarchitecture: Scalable Quantum Data Movement and Computation
Recent experimental advances have demonstrated technologies capable of supporting scalable quantum computation. A critical next step is how to put those technologies together into...
Tzvetan S. Metodi, Darshan D. Thaker, Andrew W. Cr...
PLDI
2005
ACM
15 years 5 months ago
Path slicing
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
Ranjit Jhala, Rupak Majumdar