✦ LIBER ✦

[Lecture Notes in Computer Science] Reliable Software Technologies - Ada-Europe 2011 Volume 6652 || A Real-Time Framework for Multiprocessor Platforms Using Ada 2012

✍ Scribed by Romanovsky, Alexander; Vardanega, Tullio

Book ID: 120159723
Publisher: Springer Berlin Heidelberg
Year: 2011
Weight: 330 KB
Category: Article
ISBN: 3642213383
DOI: 10.1007/978-3-642-21338-0_4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Reli

[Lecture Notes in Computer Science] Reliable Software Technologies - Ada-Europe 2011 Volume 6652 || Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE

✍ Romanovsky, Alexander; Vardanega, Tullio 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 620 KB

[Lecture Notes in Computer Science] Reli

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2012 Volume 7308 || Teaching ‘Concepts of Programming Languages’ with Ada

✍ Brorsson, Mats; Pinho, Luís Miguel 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 217 KB

[Lecture Notes in Computer Science] Reli

[Lecture Notes in Computer Science] Reliable Software Technologiey – Ada-Europe 2010 Volume 6106 || Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012

✍ Real, Jorge; Vardanega, Tullio 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 305 KB

[Lecture Notes in Computer Science] Reli

[Lecture Notes in Computer Science] Reliable SoftwareTechnologies — Ada-Europe 2001 Volume 2043 || MaRTE OS: An Ada Kernel for Real-Time Embedded Applications

✍ Craeynest, Dirk; Strohmeier, Alfred 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 209 KB

Building Formal Requirements Models For Reliable Software / Axel Van Lamsweerde -- Using Ada In Interactive Digital Television Systems / Pascal Heraud And Thierry Lelegard -- Testing From Formal Specifications, A Generic Approach / Marie-claude Gaudel -- Logic Versus Magic In Critical Systems / Pete

[Lecture Notes in Computer Science] Reli

[Lecture Notes in Computer Science] Reliable Software Technologies — Ada-Europe Volume 1411 || Guidance on the use of Ada95 in high integrity systems

✍ Asplund, Lars 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 778 KB

Embedded Opportunities / F. Gasperoni -- Ada+b The Formula For Safety Critical Software Development / P. Chapront -- Porting The Gnat Tasking Runtime System To The Java Virtual Machine / L. Millet, T. Baker -- Automating The Ada Binding Process For Java : How Far Can We Go? / D.e. Emery, R.f. Mathis

[Lecture Notes in Computer Science] Reli

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2006 Volume 4006 || One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code

✍ Pinho, Luís Miguel; González Harbour, Michael 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 441 KB

The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. It was organized by members of the School