Sciweavers

DAGSTUHL
2004
13 years 8 months ago
Finding Isolated Cliques by Queries -- An Approach to Fault Diagnosis with Many Faults
A well-studied problem in fault diagnosis is to identify the set of all good processors in a given set {p1, p2, . . . , pn} of processors via asking some processors pi to test whet...
William I. Gasarch, Frank Stephan
DAGSTUHL
2004
13 years 8 months ago
The communication complexity of the Exact-N Problem revisited
If Alice has x, y, Bob has x, z and Carol has y, z can they determine if x + y + z = N? They can if (say) Alice broadcasts x to Bob and Carol; can they do better? Chandra, Furst, a...
William I. Gasarch, James Glenn, Andrey Utis
DAGSTUHL
2004
13 years 8 months ago
Foundations of Meta-Pyramids: Languages vs. Metamodels - Episode II: Story of Thotus the Baboon1
Abstract. Despite the recent interest for Model Driven Engineering approaches, the so-called four-layers metamodelling architecture is subject to a lot of debate. The relationship ...
Jean-Marie Favre
DAGSTUHL
2004
13 years 8 months ago
Modelling Learning Subjects as Relationships
This paper describes a novel intellectual structure for the subject space of material designed for selective autodidactic learning in a large knowledge base. This structure is base...
Martin Doerr
DAGSTUHL
2004
13 years 8 months ago
The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
Xin Li, Reinhard von Hanxleden
DAGSTUHL
2004
13 years 8 months ago
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04
Stephen A. Edwards, Nicolas Halbwachs, Reinhard vo...
DAGSTUHL
2004
13 years 8 months ago
SHIM: A Language for Hardware/Software Integration
Virtually every system designed today is an amalgam of hardware and software. Unfortunately, software and circuits that communicate across the hardware/software boundary are tedio...
Stephen A. Edwards
DAGSTUHL
2004
13 years 8 months ago
04441 Abstracts Collection - Mobile Information Management
Margaret H. Dunham, Birgitta König-Ries, Evag...