Reliable Software Technologies – Ada-Europe 2018

23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

Häftad, Engelska, 2018

Av António Casimiro, Pedro M. Ferreira

719 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: safety and security; Ada 202X; handling implicit overhead; real-time scheduling; and new application domains.

Produktinformation

Utgivningsdatum2018-05-26
Mått155 x 235 x 11 mm
Vikt300 g
FormatHäftad
SpråkEngelska
SerieProgramming and Software Engineering
Antal sidor175
Upplaga18001
FörlagSpringer International Publishing AG
ISBN9783319924311

Tillhör följande kategorier

Tillämpad datateknik inom Data och it
Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Programmeringsböcker inom Data och it
Hårdvara inom Data och it
E-handel inom Ekonomi och ledarskap
Referensverk och tvärvetenskap inom Samhalle och politik

Safety and Security.- Using Safety Contracts to Verify Design Assumptions During Runtime.- Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation.- Ada 202X.- Safe Dynamic Memory Management in Ada and SPARK.- Safe Non-Blocking Synchronization in Ada2x.- Handling Implicit Overhead.- On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks.- Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling.- Real-Time Scheduling.- Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar.- Theory and Practice of EDF Scheduling in Distributed Real-Time Systems.- New Application Domains.- Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP.- Microservice-based Agile Architectures: an Opportunity for Specialized Niche Technologies.

Du kanske också är intresserad av

Machine Learning and Principles and Practice of Knowledge Discovery in Databases

Machine Learning and Principles and Practice of Knowledge Discovery in Databases

Michael Kamp, Irena Koprinska, Adrien Bibal, Tassadit Bouadi, Benoît Frénay, Luis Galárraga, José Oramas, Linara Adilova, Yamuna Krishnamurthy, Bo Kang, Christine Largeron, Jefrey Lijffijt, Tiphaine Viard, Pascal Welke, Massimiliano Ruocco, Erlend Aune, Claudio Gallicchio, Gregor Schiele, Franz Pernkopf, Michaela Blott, Holger Fröning, Günther Schindler, Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Przemyslaw Biecek, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Christopher Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Tim Verbelen, Pedro M. Ferreira, Giuseppina Andresini, Donato Malerba, Ibéria Medeiros, Philippe Fournier-Viger, M. Saqib Nawaz, Sebastian Ventura, Meng Sun, Min Zhou, Valerio Bitetta, Ilaria Bordino, Andrea Ferretti, Francesco Gullo, Giovanni Ponti, Lorenzo Severini, Rita Ribeiro, João Gama, Ricard Gavaldà, Lee Cooper, Naghmeh Ghazaleh, Jonas Richiardi, Damian Roqueiro, Diego Saldana Miranda, Konstantinos Sechidis, Guilherme Graça, Benoit Frenay, Luis Galarraga, Jose Oramas

2 049 kr

Lucia är död

Nyhet

Del 3

Lucia är död

Katarina Wennstam

259 kr299 kr

Machine Learning and Principles and Practice of Knowledge Discovery in Databases

Machine Learning and Principles and Practice of Knowledge Discovery in Databases

Michael Kamp, Irena Koprinska, Adrien Bibal, Tassadit Bouadi, Benoît Frénay, Luis Galárraga, José Oramas, Linara Adilova, Yamuna Krishnamurthy, Bo Kang, Christine Largeron, Jefrey Lijffijt, Tiphaine Viard, Pascal Welke, Massimiliano Ruocco, Erlend Aune, Claudio Gallicchio, Gregor Schiele, Franz Pernkopf, Michaela Blott, Holger Fröning, Günther Schindler, Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Przemyslaw Biecek, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Christopher Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Tim Verbelen, Pedro M. Ferreira, Giuseppina Andresini, Donato Malerba, Ibéria Medeiros, Philippe Fournier-Viger, M. Saqib Nawaz, Sebastian Ventura, Meng Sun, Min Zhou, Valerio Bitetta, Ilaria Bordino, Andrea Ferretti, Francesco Gullo, Giovanni Ponti, Lorenzo Severini, Rita Ribeiro, João Gama, Ricard Gavaldà, Lee Cooper, Naghmeh Ghazaleh, Jonas Richiardi, Damian Roqueiro, Diego Saldana Miranda, Konstantinos Sechidis, Guilherme Graça, Benoit Frenay, Luis Galarraga, Jose Oramas

1 279 kr

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira, Antonio Casimiro

1 319 kr

Gränsöverskridaren

Nyhet

Del 6

Gränsöverskridaren

289 kr319 kr

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira, Antonio Casimiro

1 239 kr

Architecting Dependable Systems VII

Architecting Dependable Systems VII

Antonio Casimiro, Rogério de Lemos, Cristina Gacek

739 kr