„Program Analysis“

Suchergebnisse

7.892 Treffer

• Combined Schedulability and WCET Analysis for Real-Time Operating Systems
  Schneider, Jörn 2003 Shaker
• Networks of Nonlinear Thin Structures - Theory and Applications
  Strohmeyer, Christoph ; Leugering, Günter ; Gugat, Martin 2018 FAU University Press
• Kooperation, Beziehungsstrukturen und Sozialkapital von Lehrkräften – eine Analyse zum Programm „Jedem Kind ein Instrument“
  Kulin, Sabrina ; Schwippert, Knut 2016 Staats- und Universitätsbibliothek Hamburg
• Meta-analysis on the impact of in-service professional development programs for preschool teachers on quality ratings and child outcomes
  Egert, Franziska ; Roßbach, Hans-Günther 2015 Otto-Friedrich-Universität Bamberg
• Elements of Computational Statistics
  2002 Springer International Publishing
• A Computer Analysis of Patient Activity and Blood Product Usage in Community Hospital Hemophilia Program
  Lipton, R.A. ; Chin, J.
• Programming Language Design, Analysis and Implementation for Automated and Effective Program Parallelization
  Herz, Alexander ; Seidl, Helmut ; Hack, Sebastian 2015 Universitätsbibliothek der TU München
• Automatic authorization analysis
  Lamotte-Schubert, Manuel ; Weidenbach, Christoph 2015 Saarländische Universitäts- und Landesbibliothek
• Optimal Control of Mission Design in Multi-Body Models
  Salmani, Majid ; Büskens, Christof ; Schmidt, Alfred 2012 Staats- und Universitätsbibliothek Bremen
• Programming abstractions, compilation, and execution techniques for massively parallel data analysis
  Ewen, Stephan ; Markl, Volker ; Pepper, Peter ; Kao, Odej ; Carey, Michael 2015 Technische Universität Berlin
• Exact Approaches for Higher-Dimensional Orthogonal Packing and Related Problems
  Mesyagutov, Marat ; Fischer, Andreas ; Scheithauer, Guntram ; Clautiaux, François 2014 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Algorithms for the constraint-based analysis of metabolic networks
  Dávid, László 2015 Freie Universität Berlin
• The analysis of programmed cell death and sporulation in Myxococcus xanthus developmental program
  Holkenbrink, Carina ; Higgs, Penelope 2015 Philipps-Universität Marburg
• A framework for machine learning based mapping of concurrent applications to parallel architectures
  Tetzlaff, Dirk ; Glesner, Sabine ; Marwedel, Peter ; Knoop, Jens 2014 Technische Universität Berlin
• Termination analysis for imperative programs operating on the heap
  Brockschmidt, Marc 2014 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Static termination analysis for prolog using term rewriting and SAT solving
  Schneider-Kamp, Peter 2008 RWTH, Fachgruppe Informatik
• Kisses, ambivalent models and more: Contributions to the analysis of RNA secondary structure.
  Janssen, Stefan 2014 Universitätsbibliothek Bielefeld
• A unified analytical foundation for constraint handling rules
  Betz, Hariolf 2014 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis
  Hritcu, Cătălin ; Backes, Michael 2012 Saarländische Universitäts- und Landesbibliothek
• Shape analysis for algorithm animation – strengths and weaknesses
  Parduhn, Sascha A. ; Seidel, Raimund 2011 Saarländische Universitäts- und Landesbibliothek