Journal: it - Information Technology

Volume 52, Issue 4

179 -- 180Sybille Hellebrand. Nano-electronic Systems (Nano-elektronische Systeme)
181 -- 188Dominik Lorenz, Georg Georgakos, Ulf Schlichtmann. Aging-aware Timing Analysis of Combinatorial Circuits on Gate Level (Alterungsanalyse von kombinatorischen Schaltungen auf Gatterebene)
189 -- 194Ilia Polian, Bernd Becker. Fault Models and Test Algorithms for Nanoscale Technologies (Fehlermodelle und Testalgorithmen für Nanoscale-Technologien)
195 -- 200Jano Gebelein, Heiko Engel, Udo Kebschull. FPGA Fault Tolerance in Particle Physics Experiments (FPGA Fehlertoleranz bei Experimenten in der Teilchenphysik)
201 -- 208Gert Schley, Martin Radetzki, Adán Kohler. Degradability Enabled Routing for Network-on-Chip Switches (Routingverfahren zur Unterstützung der Degradierbarkeit von Network-on-Chip Switches)
209 -- 215Claus Braun, Hans-Joachim Wunderlich. Algorithmen-basierte Fehlertoleranz für Many-Core-Architekturen (Algorithm-based Fault-Tolerance on Many-Core Architectures)
216 -- 223Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler. Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen (Automated Formal Verification of Fault Tolerance for Circuits)
224 -- 228Jan Lunze, Christian Stöcker. DFG Priority Programme 1305: Control Theory of Digitally Networked Dynamical Systems (DFG Schwerpunktprogramm 1305: Regelungstheorie digital vernetzter dynamischer Systeme)
229 -- 231Jonathan Schmitt. Modellierung und Verifikation medizinischer Leitlinien (Modelling and Verification of Medical Guidelines)