


default search action
Science of Computer Programming, Volume 90
Volume 90, Part A, September 2014
- Amparo Gil

, Jean-Michel Muller
, Javier Segura
:
Preface to the special issue on Numerical Software: Design, Analysis and Verification. 1 - Franky Backeljauw, Stefan Becuwe, Annie A. M. Cuyt, Joris Van Deun, Daniel W. Lozier:

Validated evaluation of special mathematical functions. 2-20 - Javier D. Bruguera:

Optimizing the representation of intervals. 21-33 - Antti Hannukainen, Sergey Korotov, Michal Krízek:

On numerical regularity of the face-to-face longest-edge bisection algorithm for tetrahedral partitions. 34-41 - Amparo Gil

, Javier Segura
, Nico M. Temme:
Recent software developments for special functions in the Santander-Amsterdam project. 42-54 - Michael Moldaschl, Wilfried N. Gansterer

:
Comparison of eigensolvers for symmetric band matrices. 55-66
Volume 90, Part B, September 2014
- Barbora Buhnova

, Antonio Vallecillo
, Nenad Medvidovic, Magnus Larsson
, Javier López
, Jorge Cuéllar:
Guest editorial to the Special Issue on Component-Based Software Engineering and Software Architecture. 67-70 - Fabian Brosig, Nikolaus Huber, Samuel Kounev:

Architecture-level software performance abstractions for online performance prediction. 71-92 - Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli

:
Learning from the future of component repositories. 93-115 - Rouven Krebs, Christof Momm, Samuel Kounev:

Metrics and techniques for quantifying performance isolation in cloud environments. 116-134 - Thomas Haitzer

, Uwe Zdun:
Semi-automated architectural abstraction specifications for supporting software evolution. 135-160 - Vladimir Rupanov, Christian Buckl

, Ludger Fiege, Michael Armbruster, Alois C. Knoll
, Gernot Spiegelberg:
Employing early model-based safety evaluation to iteratively derive E/E architecture design. 161-179

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














