Sciweavers

10 search results - page 1 / 2

» adaeurope 2001

15

ADAEUROPE
2001
Springer

85views Software Engineering» more ADAEUROPE 2001»

Logic versus Magic in Critical Systems

13 years 10 months ago

Logic versus Magic in Critical Systems

Download www.sparkada.com

Peter Amey

claim paper

Read More »

15

ADAEUROPE
2001
Springer

93views Software Engineering» more ADAEUROPE 2001»

Ship System 2000, a Stable Architecture under Continuous Evolution

13 years 10 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 »

14

ADAEUROPE
2001
Springer

76views Software Engineering» more ADAEUROPE 2001»

Object-Oriented Stable Storage Based on Mirroring

13 years 10 months ago

Object-Oriented Stable Storage Based on Mirroring

Download infoscience.epfl.ch

Xavier Caron, Jörg Kienzle, Alfred Strohmeier

claim paper

Read More »

13

ADAEUROPE
2001
Springer

84views Software Engineering» more ADAEUROPE 2001»

Migrating Large Applications from Ada83 to Ada95

13 years 10 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 »

12

ADAEUROPE
2001
Springer

126views Software Engineering» more ADAEUROPE 2001»

Expression Templates in Ada

13 years 10 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 »