Sciweavers

2165 search results - page 61 / 433
» cases 2005
Sort
View
128
Voted
ISORC
2005
IEEE
15 years 9 months ago
EarlGray: A Component-Based Java Virtual Machine for Embedded Systems
EarlGray is a component-based Java virtual machine (JVM) that can be configured to satisfy various kinds of requirements for building future information appliances and embedded s...
Hiroo Ishikawa, Tatsuo Nakajima
UAI
2008
15 years 4 months ago
Almost Optimal Intervention Sets for Causal Discovery
We conjecture that the worst case number of experiments necessary and sufficient to discover a causal graph uniquely given its observational Markov equivalence class can be specif...
Frederick Eberhardt
EUC
2005
Springer
15 years 9 months ago
Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...
Jens Brandt, Klaus Schneider
IEAAIE
2005
Springer
15 years 9 months ago
A Holistic Approach to Test-Driven Model Checking
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
Fevzi Belli, Baris Güldali
123
Voted
ATAL
2005
Springer
15 years 9 months ago
Coordination of quantum internet agents
Intelligent agents in the quantum internet are supposed to operate on networked hybrid quantum computers to individually or jointly accomplish their goals by means of both classic...
Matthias Klusch