|
| | Preview | Author(s) | Title | Type | Issue Date |
| 261 | | Bartocci, Ezio ; Bortolussi, Luca ; Smolka, Scott A. | Hybrid Systems and Biology | Artikel Article | 2014 |
| 262 | | Bartocci, Ezio ; Höftberger, Oliver ; Grosu, Radu | Cyber-Physical Systems: Theoretical and Practical Challenges | Artikel Article | 2014 |
| 263 | | Siebert, Christian ; Träff, Jesper Larsson | Perfectly Load-Balanced, Stable, Synchronization-Free Parallel Merge | Artikel Article | 2014 |
| 264 | | Träff, Jesper Larsson ; Benkner, Siegfried | Preface: Selected Papers from EuroMPI 2012 | Artikel Article | 2014 |
| 265 | | Popper, Nikolas ; Hafner, Irene ; Rössler, Matthias ; Preyser, Franz Josef ; Heinzl, Bernhard ; Smolek, Peter ; Leobner, Ines | A General Concept for Description of Production Plants | Artikel Article | 2014 |
| 266 | | Kandl, Susanne ; Chandrashekar, Sandeep | Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation | Artikel Article | 2014 |
| 267 | | Haramina, Hrvoje ; Schöbel, Andreas ; Bojić, Mladen | Računalno modeliranje i simulacija zeljezničkog prometa na relaciji Savski Marof - Dugo Selo primjenom programskog alata OpenTrack | Artikel Article | 2014 |
| 268 | | Jara, Antonio J. ; Olivieri, Alex C. ; Bocchi, Yann ; Jung, Markus ; Kastner, Wolfgang ; Skarmeta, Antonio F. | Semantic Web of Things: an analysis of the application semantics for the IoT moving towards the IoT convergence | Artikel Article | 2014 |
| 269 | | Dolev, Danny ; Függer, Matthias ; Posch, Markus ; Schmid, Ulrich ; Steininger, Andreas ; Lenzen, Christoph | Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip | Artikel Article | 2014 |
| 270 | | Zeiner, Martin | On a family of $q$-binomial distributions | Artikel Article | 2014 |
| 271 | | Biely, Martin ; Robinson, Peter ; Schmid, Ulrich | The Generalized Loneliness Detector and Weak System Models for k-Set Agreement | Artikel Article  | 2014 |
| 272 | | Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan | Runtime verification of microcontroller binary code | Artikel Article | 2014 |
| 273 | | Blieberger, Johann ; Kirschenhofer, Peter | Generalized Catalan Sequences Originating from the Analysis of Special Data Structures | Artikel Article | 2014 |
| 274 | | Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg | Runtime verification of embedded real-time systems | Artikel Article | 2013 |
| 275 | | Hofbauer, Michael ; Schweiger, Kurt ; Zimmermann, Horst ; Giesen, Ulrich ; Langner, Frank ; Schmid, Ulrich ; Steininger, Andreas | Supply Voltage Dependent On-Chip Single-Event Transient Pulse Shape Measurements in 90-nm Bulk CMOS Under Alpha Irradiation | Artikel Article | 2013 |
| 276 | | Nowak, Thomas ; Függer, Matthias ; Kößler, Alexander | On the performance of a retransmission-based synchronizer | Artikel Article | 2013 |
| 277 | | Veeravalli, Varadan Savulimedu ; Polzer, Thomas ; Schmid, Ulrich ; Steininger, Andreas ; Hofbauer, Michael ; Schweiger, Kurt ; Dietrich, Horst ; Schneider-Hornstein, Kerstin ; Zimmermann, Horst ; Voss, Kay-Obbe ; Merk, Bruno ; Hajek, Michael | An infrastructure for accurate characterization of single-event transients in digital circuits | Artikel Article | 2013 |
| 278 | | Jung, Markus ; Hofer, Thomas ; Kastner, Wolfgang ; Döbelt, Susen | Protecting data assets in a Smart Grid SOA | Artikel Article | 2013 |
| 279 | | El Salloum, Christian ; Elshuber, Martin ; Höftberger, Oliver ; Isakovic, Haris ; Wasicek, Armin | The ACROSS MPSoC - A new generation of multi-core processors designed for safety-critical embedded systems | Artikel Article | 2013 |
| 280 | | Bertin, Rémi ; Hunold, Sascha ; Legrand, Arnaud ; Touati, Corinne | Fair scheduling of bag-of-tasks applications using distributed Lagrangian optimization | Artikel Article | 2013 |
