„Static Program Analysis“
Suchergebnisse
227 Treffer
-
Hardwarenahe Analyse und Entwicklung einer performantenKommunikationsschnittstelle zwischen Mikrocontroller und Field Programmable Gate Array basierend auf dem Flexible Static Memory Controller – Low-level analysis and development of a high-performance communication interface between a microcontroller and a Field Programmable Gate Array based on the Flexible Static Memory Controller
-
Static Structural Analysis. Finite Elements With Exercises, Projects, and Matlab Programming
-
Static Structural Analysis. Finite Elements With Exercises, Projects, and Matlab Programming
-
Compiler Construction – 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
-
Algorithmic Differentiation of Pragma-Defined Parallel Regions – Differentiating Computer Programs Containing OpenMP
-
Timing-Predictable Memory Allocation In Hard Real-Time Systems
-
Static Analysis – 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings
-
Compiler Construction – 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
-
Static Analysis – 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
-
Static Analysis – 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
-
The Pyttern Program Query Language
-
A Comparison of Three Program Query Languages to Detect Python Programming Misconceptions
-
Are We There Yet? On Security Vulnerabilities Produced by Open Source Generative AI Models and Its Implications for Security Education
-
On the Use of Concept Maps to Improve Student Skills in an Introductory Object-Oriented Analysis and Design Course
-
Abstracts Collection -- Workshop Trustworthy Software 2006
-
Static Detection of Software Errors – Precise and Scalable Algorithms for Automatic Detection of Software Errors
-
Web Services, Formal Methods, and Behavioral Types – 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
-
Trustworthy Global Computing – 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers
-
Static Analysis – 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings
-
Compositional Static Value Analysis for Higher-Order Numerical Programs