Sciweavers

198 search results - page 25 / 40
» The Ethics of Safety-Critical Systems
Sort
View
94
Voted
ECRTS
2009
IEEE
14 years 7 months ago
Using Randomized Caches in Probabilistic Real-Time Systems
While hardware caches are generally effective at improving application performance, they greatly complicate performance prediction. Slight changes in memory layout or data access p...
Eduardo Quiñones, Emery D. Berger, Guillem ...
SAFECOMP
2007
Springer
15 years 3 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...
DATE
2008
IEEE
89views Hardware» more  DATE 2008»
15 years 3 months ago
Software Protection Mechanisms for Dependable Systems
We expect that in future commodity hardware will be used in safety critical applications. But the used commodity microprocessors will become less reliable because of decreasing fe...
Ute Wappler, Martin Muller
AIED
2009
Springer
15 years 4 months ago
An Analysis and Feedback Infrastructure for Argumentation Learning Systems
In this paper, we discuss design considerations and our plans to develop a generalized framework for intelligent support in educational argumentation systems. Our goal is to develo...
Oliver Scheuer, Bruce M. McLaren, Frank Loll, Niel...
ICFEM
2003
Springer
15 years 2 months ago
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
Mickaël Kerboeuf, David Nowak, Jean-Pierre Ta...