Dependability - a Byproduct of Model-Driven System Synthesis -
A. Pataricza |
13 |
|
|
| Diverse Systems |
|
A Methodology to Optimize Diversity Approaches for Imperfectly Specified Applications
A. Popov, K.-E. Großpietsch |
17 |
Pessimistic Fault Injection for Automatically Generated Virtual Duplex Systems
M. Jochim |
25 |
|
|
| Fault Tolerance in Networks |
|
Cluster-basierter ausfalltoleranter Massenspeicher
P. Sobe |
31 |
Testing the Fault-Tolerance of Networked Systems
V. Sieh, K. Buchacker |
37 |
Performanz eines fehlertoleranten WLAN-Gruppenkommunikationsprotokolls bei Störungen durch Bluetooth
S. Trikaliotis |
47 |
|
|
| Fault Tolerant Hardware |
|
Mechatronic System Dependability Analysis - An Application Example
H.-D. Kochs |
55 |
A Code-disjoint Multiplier with Parity Encoded Inputs and Outputs Checked by a Residue Code
G. Kusnezow, M. Gössel |
67 |
|
|
| Fault Modeling |
|
Fehlermodellierung ohne explizite Fehlerzustände
F. Gärtner |
71 |
Implicit Fault Modeling with the Specification Language SDL
P. Kessler |
81 |
|
|
| Modeling of Fault Tolerant Systems |
|
Object Oriented Notation for Modeling Quantitative Aspects
G. Huszerl, K. Kosmidis |
91 |
Petri-Netz-Entwurf für selbst-adaptive Wartung
W. Schneeweiss |
101 |
|
|
| Workshop |
|
| Java in Embedded Systems |
107 |
|
|
| Instruction Level Parallelism |
|
Connecting Peripheral Interfaces to a Multithreaded Java Microcontroller
S. Uhrig, U. Brinkschulte, M. Pfeffer, T. Ungerer |
111 |
Bytecode Traces: Exploiting Java-ILP
R. Achutharaman, G. Hariprakash, A. Omondi, R. Govindarajan |
117 |
|
|
| Hardware Acceleration of Java |
|
Hardware Compilation for High Performance Java Processors
G. Hariprakash, R. Achutharaman, A. Omondi |
125 |
JSM: A Small Java Processor Core for Smart Cards and Embedded Systems
F. Golatowski, H. Ploog, N. Bannow, D. Timmermann |
135 |
|
|
| Practical Experience Reports |
|
MIDP + JavaPOS: A Business Application Platform for Point of Sale Terminal Devices
L. Guedes, A. Farias |
141 |
Java Environment for a JUMPtec WebtoNet Embedded System
V. Silva, J. Fonseca, J. Oliveira |
151 |
|
|
| Workshop |
|
| Parallel Systems and Algorithms (PASA) |
157 |
A Dynamic Load Balancing Algorithm with Adjustable Degree of Imbalance on Heterogeneous Networks
F. Meisgen, E. Speckenmeyer |
161 |
On Effects of Machine Configurations on Parallel Job Scheduling in Computational Grids
C. Ernemann, V. Hamscher, R. Yahyapour, A. Streit |
169 |
SDAARC: Eine COMA-Architektur mit automatischer Verteilung von Daten- und Instruktionsblöcken
F. Eschmann, B. Klauer, R. Moore, K. Waldschmidt |
181 |
A Novel Approach for Data Distribution on NUMA Machines
J. Tao, W. Karl, M. Schulz |
191 |
Ubiquitous Parallel Program Observation and Analysis with DEWIZ
D. Kranzlmüller, J. Volkert |
189 |
A Matrix-Matrix Multiplication Approach to the Automatic Differentiation and Parallelization of Straight-Line Codes
H. M. Bücker, K. R. Buschelman, P. D. Hovland |
203 |
How to Realize Data-Parallel Algorithmic Skeletons with C++
J. Striegnitz |
211 |
GIO: Ein System für parallele Ein-/Ausgabe auf Rechnerverbundsystemen
K. Scholtyssik |
217 |
Parallel Stochastic Simulation of Whole-Cell Models
M. Schwehm |
225 |
Parallel Exploration of the Structure of Random Functions
J. Keller |
233 |