Real-Time C++
Christopher Michael Kormanyos
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Tiziana Margaria
OpenMP - Advanced Task-Based, Device and Compiler Programming
IWOMP
Advances in Service-Oriented and Cloud Computing
Christian Zirpins
Cloud Computing and Services Science
International Conference on Cl
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Tiziana Margaria
Embedded Computer Systems
SAMOS
Real-Time Systems
Hermann Kopetz
Software Technologies
ICSOFT
Computational Neuroscience
Latin American Workshop on Com
Service-Oriented and Cloud Computing
ESOCC
Smart Card Research and Advanced Applications
CARDIS
Job Scheduling Strategies For Parallel Processing Theoretical Computer Science and General Issues
Dalibor Klusácek
Principles of Parallel Scientific Computing
Tobias Weinzierl
Tools and Algorithms For the Construction and Analysis of Systems Theoretical Computer Science and General Issues
Dirk Beyer
Designing Digital Solutions
Peter Thompson
Creating Software With Modern Diagramming Techniques
Ashley Peacock
Acing the System Design Interview
Zhiyong Tan
Software Mistakes and Tradeoffs
Tomasz Lelek
Software Telemetry
Jamie Riedesel
