Sciweavers

10 search results - page 1 / 2

» adaeurope 2001

12

ADAEUROPE
2001
Springer

85views Software Engineering» more ADAEUROPE 2001»

Logic versus Magic in Critical Systems

13 years 9 months ago

Logic versus Magic in Critical Systems

Download www.sparkada.com

Peter Amey

claim paper

Read More »

12

ADAEUROPE
2001
Springer

93views Software Engineering» more ADAEUROPE 2001»

Ship System 2000, a Stable Architecture under Continuous Evolution

13 years 9 months ago

Ship System 2000, a Stable Architecture under Continuous Evolution

Download www.sigada.org

Björn Källberg, Rei Stråhle

claim paper

Read More »

10

ADAEUROPE
2001
Springer

76views Software Engineering» more ADAEUROPE 2001»

Object-Oriented Stable Storage Based on Mirroring

13 years 9 months ago

Object-Oriented Stable Storage Based on Mirroring

Download infoscience.epfl.ch

Xavier Caron, Jörg Kienzle, Alfred Strohmeier

claim paper

Read More »

10

ADAEUROPE
2001
Springer

84views Software Engineering» more ADAEUROPE 2001»

Migrating Large Applications from Ada83 to Ada95

13 years 9 months ago

Migrating Large Applications from Ada83 to Ada95

Download people.cs.kuleuven.be

Philippe Waroquiers, Stef van Vlierberghe, Dirk Cr...

claim paper

Read More »

8

ADAEUROPE
2001
Springer

126views Software Engineering» more ADAEUROPE 2001»

Expression Templates in Ada

13 years 9 months ago

Expression Templates in Ada

Download www.lrde.epita.fr

High-order matrix or vector expressions tend to be penalized by the use of huge temporary variables. Expression templates is a C++ technique which can be used to avoid these tempor...

Alexandre Duret-Lutz

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »