Sciweavers

137

Voted

ADAEUROPE
1999
Springer

91views Software Engineering» more ADAEUROPE 1999»

The Ceiling Protocol in Multi-moded Real-Time Systems

15 years 11 months ago

The Ceiling Protocol in Multi-moded Real-Time Systems

Download www.cs.york.ac.uk

Jorge Real, Andy J. Wellings

claim paper

Read More »

111

Voted

ADAEUROPE
1999
Springer

79views Software Engineering» more ADAEUROPE 1999»

Ada Binding to a Shared Object Layer

15 years 11 months ago

Ada Binding to a Shared Object Layer

Download www.auto.tuwien.ac.at

Johann Blieberger, Johann Klasek, eva Kühn

claim paper

Read More »

111

Voted

ADAEUROPE
1999
Springer

84views Software Engineering» more ADAEUROPE 1999»

Interprocedural Symbolic Evaluation of Ada Programs with Aliases

15 years 11 months ago

Interprocedural Symbolic Evaluation of Ada Programs with Aliases

Download www.auto.tuwien.ac.at

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »