Journal: Inform., Forsch. Entwickl.

Volume 28, Issue 4

263 -- 264Sabine Glesner. Rigorous software engineering
265 -- 0Gabor Nagy. ERC grants
267 -- 277Luciano Baresi, Carlo Ghezzi. A journey through SMScom: self-managing situational computing
279 -- 293Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Víctor A. Braberman, Marsha Chechik, Guido de Caso, Nicolás D'Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German E. Sibay. Supporting incremental behaviour model elaboration
295 -- 310Marta Z. Kwiatkowska. From software verification to 'everyware' verification
311 -- 329Vítor E. Silva Souza, Alexei Lapouchnian, Konstantinos Angelopoulos, John Mylopoulos. Requirements-driven software evolution
331 -- 344Thomas A. Henzinger. Quantitative reactive modeling and verification

Volume 28, Issue 2-3

107 -- 108Julian M. Kunkel, Thomas Ludwig 0002, Hans Werner Meuer. Editorial for the ISC'12 research paper sessions proceedings
109 -- 117Tom Scogland, Balaji Subramaniam, Wu-chun Feng. The Green500 list: escapades to exascale
119 -- 125Gilad Shainer, Todd Wilde, Pak Lui, Tong Liu, Michael Kagan, Mike Dubman, Yiftah Shahar, Richard L. Graham, Pavel Shamis, Steve Poole. The co-design architecture for exascale systems, a novel approach for scalable designs
127 -- 135. Blue Gene/Q: by co-design
137 -- 146Miao Luo, Hao Wang, Jérôme Vienne, Dhabaleswar K. Panda. Redesigning MPI shared memory communication for large multi-core architecture
147 -- 155Tomoya Adachi, Naoyuki Shida, Kenichi Miura, Shinji Sumimoto, Atsuya Uno, Motoyoshi Kurokawa, Fumiyoshi Shoji, Mitsuo Yokokawa. The design of ultra scalable MPI collective communication on the K computer
157 -- 165Heinz Kredel, Hans-Günther Kruse, Sabine Richling, Erich Strohmaier. Performance analysis and prediction for distributed homogeneous clusters
167 -- 174Julian M. Kunkel. Simulating parallel programs on application and system level
175 -- 184Kenneth S. Lee, Heshan Lin, Wu-chun Feng. Performance characterization of data-intensive kernels on AMD Fusion architectures
185 -- 192Yves Ineichen, Andreas Adelmann, Costas Bekas, Alessandro Curioni, Peter Arbenz. A fast and scalable low dimensional solver for charged particle dynamics in large particle accelerators
193 -- 201Huiwei Lv, Guangming Tan, Mingyu Chen, Ninghui Sun. Understanding parallelism in graph traversal on multi-core clusters
203 -- 209James Coyle, Indranil Roy, Marina Kraeva, Glenn R. Luecke. UPC-CHECK: a scalable tool for detecting run-time errors in Unified Parallel C
211 -- 220Jiri Kraus, Malte Förster, Thomas Brandes, Thomas Soddemann. Using LAMA for efficient AMG on hybrid clusters
221 -- 230Balaji Subramaniam, Wu-chun Feng. GBench: benchmarking methodology for evaluating the energy efficiency of supercomputers
231 -- 239Nathanael Hübbe, Julian M. Kunkel. Reducing the HPC-datastorage footprint with MAFISC - Multidimensional Adaptive Filtering Improved Scientific data Compression
241 -- 251Marc C. Wiedemann, Julian M. Kunkel, Michaela Zimmer, Thomas Ludwig 0002, Michael M. Resch, Thomas Bönisch, Xuan Wang, Andriy Chut, Alvaro Aguilera, Wolfgang E. Nagel, Michael Kluge, Holger Mickler. Towards I/O analysis of HPC systems and a generic architecture to collect access patterns
253 -- 261T. Heller, H. Kaiser, Klaus Iglberger. Application of the ParalleX execution model to stencil-based problems

Volume 28, Issue 1

1 -- 2Gregor Engels, Markus Luckey. Editorial
3 -- 22Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer. Modeling and verifying dynamic communication structures based on graph transformations
23 -- 43Dirk Ahrens, Andreas Frey, Andreas Pfeiffer, Torsten Bertram. Objective evaluation of software architectures in driver assistance systems
45 -- 64David Trachtenherz. Formal semantics of modular time refinement in AutoFocus
65 -- 84Andreas Fuhr, Tassilo Horn, Volker Riediger, Andreas Winter. Model-driven software migration into service-oriented architectures
85 -- 105Markus Jahn, Reinhard Wolfinger, Markus Löberbauer, Hanspeter Mössenböck. Composing user-specific web applications from distributed plug-ins