default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDComputer Science - Research and Development, Volume 28
Volume 28, Number 1, February 2013
- Gregor Engels, Markus Luckey:
Editorial. 1-2 - Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer:
Modeling and verifying dynamic communication structures based on graph transformations. 3-22 - Dirk Ahrens, Andreas Frey, Andreas F. H. Pfeiffer
, Torsten Bertram:
Objective evaluation of software architectures in driver assistance systems. 23-43 - David Trachtenherz:
Formal semantics of modular time refinement in AutoFocus. 45-64 - Andreas Fuhr, Tassilo Horn, Volker Riediger, Andreas Winter:
Model-driven software migration into service-oriented architectures. 65-84 - Markus Jahn, Reinhard Wolfinger, Markus Löberbauer, Hanspeter Mössenböck:
Composing user-specific web applications from distributed plug-ins. 85-105
Volume 28, Numbers 2-3, May 2013
- Julian M. Kunkel, Thomas Ludwig, Hans Werner Meuer:
Editorial for the ISC'12 research paper sessions proceedings. 107-108 - Tom Scogland, Balaji Subramaniam, Wu-chun Feng:
The Green500 list: escapades to exascale. 109-117 - Gilad 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. 119-125 - Blue Gene/Q: by co-design. 127-135
- Miao Luo, Hao Wang, Jérôme Vienne, Dhabaleswar K. Panda:
Redesigning MPI shared memory communication for large multi-core architecture. 137-146 - Tomoya 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. 147-155 - Heinz Kredel, Hans-Günther Kruse, Sabine Richling, Erich Strohmaier:
Performance analysis and prediction for distributed homogeneous clusters. 157-165 - Julian M. Kunkel:
Simulating parallel programs on application and system level. 167-174 - Kenneth S. Lee, Heshan Lin, Wu-chun Feng:
Performance characterization of data-intensive kernels on AMD Fusion architectures. 175-184 - Yves Ineichen, Andreas Adelmann, Costas Bekas, Alessandro Curioni, Peter Arbenz:
A fast and scalable low dimensional solver for charged particle dynamics in large particle accelerators. 185-192 - Huiwei Lv, Guangming Tan, Mingyu Chen, Ninghui Sun:
Understanding parallelism in graph traversal on multi-core clusters. 193-201 - James Coyle, Indranil Roy, Marina Kraeva, Glenn R. Luecke:
UPC-CHECK: a scalable tool for detecting run-time errors in Unified Parallel C. 203-209 - Jiri Kraus, Malte Förster, Thomas Brandes, Thomas Soddemann:
Using LAMA for efficient AMG on hybrid clusters. 211-220 - Balaji Subramaniam, Wu-chun Feng:
GBench: benchmarking methodology for evaluating the energy efficiency of supercomputers. 221-230 - Nathanael Hübbe, Julian M. Kunkel:
Reducing the HPC-datastorage footprint with MAFISC - Multidimensional Adaptive Filtering Improved Scientific data Compression. 231-239 - Marc C. Wiedemann, Julian M. Kunkel, Michaela Zimmer, Thomas Ludwig, 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. 241-251 - Thomas Heller, Hartmut Kaiser, Klaus Iglberger:
Application of the ParalleX execution model to stencil-based problems. 253-261
Volume 28, Number 4, November 2013
- Sabine Glesner:
Rigorous software engineering. 263-264 - Gabor Nagy:
ERC grants. 265 - Luciano Baresi, Carlo Ghezzi:
A journey through SMScom: self-managing situational computing. 267-277 - Sebastiá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. 279-293 - Marta Z. Kwiatkowska:
From software verification to 'everyware' verification. 295-310 - Vítor E. Silva Souza, Alexei Lapouchnian, Konstantinos Angelopoulos, John Mylopoulos:
Requirements-driven software evolution. 311-329 - Thomas A. Henzinger:
Quantitative reactive modeling and verification. 331-344
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 23:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
