„Program Analysis“
Suchergebnisse
7.892 Treffer
-
Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties
-
Methods and software to enhance statistical analysis in large scale problems in breeding and quantitative genetics
-
Modellgestützte Untersuchung des wirtschaftlichen Potenzials sektorgekoppelter Wärmeversorgung in Wohngebäuden im Kontext der Transformation des Energiesystems in Deutschland
-
Decidability of linear tree constraints for resource analysis of object-oriented programs
-
Primärprozess in der Katathym Imaginativen Psychotherapie unter dem Einfluss psychotroper Substanzen
-
Design, analysis and demonstration of a hybrid analog/digital retro-directive antenna system for satellite communications
-
Cooperative Software Verification
-
Convergence properties of evolution strategies on the multimodal rastrigin function
-
Development and Semi-Automated Analysis of an in vitro Dissemination Model for Myeloma Cells Interacting with Mesenchymal Stromal Cells
-
Ist es unmoralisch, ein Kind zu zeugen? – Ein ethischer Versuch
-
Accelerated Programming for Data Analysis and Processing
-
Ist es unmoralisch, ein Kind zu zeugen? – Ein ethischer Versuch
-
Empirical Analysis and Solution Designs for Goals and Metrics in Large-Scale Agile Software Development
-
Reverse Engineering of Complex Legacy Telecommunication Systems
-
Multi-objective analysis of machine learning algorithms using model-based optimization techniques
-
A Methodology for Automated Analysis of Application Specific Processor Models with Respect to Test Generation
-
Variational Methods for Discrete Tomography
-
Evaluation of single photon avalanche diode arrays for imaging fluorescence correlation spectroscopy : FPGA-based data readout and fast correlation analysis on CPUs, GPUs and FPGAs
-
E-thesis repositories in the world – A critical analysis
-
E-thesis repositories in the world – A critical analysis