![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.