Sciweavers

1136 search results - page 86 / 228
» A case for the accountable cloud
Sort
View
PDP
1996
IEEE
15 years 10 months ago
Application-Dependent Performability Evaluation of Fault-Tolerant Multiprocessors
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...
Stefan Dalibor, A. Hein, Wolfgang Hohl
ICLP
1994
Springer
15 years 10 months ago
Language Independence and Language Tolerance in Logic Programs
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...
Norman McCain, Hudson Turner
SSD
1993
Springer
237views Database» more  SSD 1993»
15 years 10 months ago
A Small Set of Formal Topological Relationships Suitable for End-User Interaction
Topological relationships between spatial objects represent important knowledge that users of geographic information systems expect to retrieve from a spatial database. A di cult t...
Eliseo Clementini, Paolino Di Felice, Peter van Oo...
AI50
2006
15 years 10 months ago
AI in Locomotion: Challenges and Perspectives of Underactuated Robots
Abstract. This article discusses the issues of adaptive autonomous navigation as a challenge of artificial intelligence. We argue that, in order to enhance the dexterity and adapti...
Fumiya Iida, Rolf Pfeifer, André Seyfarth
DATE
2004
IEEE
134views Hardware» more  DATE 2004»
15 years 10 months ago
Context-Aware Performance Analysis for Efficient Embedded System Design
Performance analysis has many advantages in theory compared to simulation for the validation of complex embedded systems, but is rarely used in practice. To make analysis more att...
Marek Jersak, Rafik Henia, Rolf Ernst