„Programmlaufzeit“

Suchergebnisse

60 Treffer

• Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
  Draheim, Dirk 2017 Springer Berlin Heidelberg
• Runtime verification – 4th international conference ; proceedings
  Legay, Axel ; Bensalem, Saddek 2013 Springer
• Behavioral Intervals in Embedded Software – Timing and Power Analysis of Embedded Real-Time Software Processes
  2002 Springer US
• Self-adaptive performance monitoring for component-based software systems
  Ehlers, Jens 2012 Books on Demand GmbH
• Self-Adaptive Performance Monitoring for Component-Based Software Systems
  Ehlers, Jens 2012 Books on Demand
• Die soziale Stadt, Ergebnisse der Zwischenevaluierung – Bewertung des Bund-Länder-Programms "Stadtteile mit besonderem Entwicklungsbedarf - die soziale Stadt" nach vier Jahren Programmlaufzeit
  2004 BMVBW
• Die soziale Stadt - Ergebnisse der Zwischenevaluierung – Bewertung des Bund-Länder-Programms "Stadtteile mit besonderem Entwicklungsbedarf - die soziale Stadt" nach vier Jahren Programmlaufzeit
  Aehnelt, Reinhard 2004 Bundesamt für Bauwesen und Raumordnung
• Synchronous stream runtime verification with uncertainties and assumptions
  Kallwies, Hannes ; Leucker, Martin 2024 Zentrale Hochschulbibliothek Lübeck
• Zur Effizienz von Elliptische-Kurven-Kryptographie
  Henhapl, Birgit
• Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten – e. Optimalitätskonzept u. seine Anwendung
  Steffen, Bernhard 1987 Inst. für Informatik u. Prakt. Mathematik
• Das Clean-Nachweis-Programm (CNP) für Heroinabhängige am Institut für Rechtsmedizin der Freien Universität Berlin – Ergebnisse einer Kohortenstudie von der Programmlaufzeit des CNP's 1979 - 85 bis zur Katamnese 1996 - 97 im Hinblick auf mögliche Faktoren der Suchtentstehung, Suchtbewältigung, sozialen Rehabilitation und Mortalität
  Klostermann-Lempe, Hermann-Peter
• Behavioral intervals in embedded software
  Wolf, Fabian
• Evaluation des arbeitsmarktpolitischen Programms FAIR: Stand der Begleitforschung zum Ende der Programmlaufzeit
  Schiel, Stefan ; Cramer, Ralph ; Gilberg, Reiner ; Hess, Doris ; Schröder, Helmut 2006
• Laufzeitanalyse für Echtzeitprogramme basierend auf Programmpfad-Clustering und Architekturklassifikation
  Ye, Wei
• Semantics of probabilistic typed lambda calculus – markov chain semantics, termination behavior, and denotational semantics
  Draheim, Dirk 2017 Springer
• Efficient implementation of stream transformations
  Schmitz, Malte ; Leucker, Martin ; Lourenço, João 2024 Zentrale Hochschulbibliothek Lübeck
• Logics of programs
  1985 Springer
• Logics of programs – proceedings
  1981 Springer
• Modellbasierte Laufzeitüberprüfung vernetzter eingebetteter Systeme
  Drabek, Christian ; Bauer, Bernhard 2021 Universität Augsburg
• Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten - ein Optimalitätskonzept und seine Anwendung
  Steffen, Bernhard