„Programmlaufzeit“

Suchergebnisse

1.000+ Treffer

• Methoden und Werkzeuge zur automatischen Kontrolle der Thread-Platzierung auf Mehrkernprozessoren
  Klug, Tobias M. 2011 Shaker
• Timing model derivation – pipeline analyzer generation from hardware description languages
  Pister, Markus ; Wilhelm, Reinhard 2012 Saarländische Universitäts- und Landesbibliothek
• Self-Adaptive Performance Monitoring for Component-Based Software Systems
  Ehlers, Jens 2012 Universitätsbibliothek Kiel
• Self-Adaptive Performance Monitoring for Component-Based Software Systems
  Ehlers, Jens 2012 Books on Demand
• Self-Adaptive Performance Monitoring for Component-Based Software Systems
  Ehlers, Jens 2012 Universitätsbibliothek Kiel
• Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis
  Hoffmann, Jan 2012 epubli GmbH
• Types with potential – polynomial resource bounds via automatic amortized analysis
  Hoffmann, Jan ; Hofmann, Martin 2011 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Eingebettete Runge-Kutta-Verfahren für parallele Rechnersysteme – Effiziente Implementierung durch Ausnutzung der Speicherzugriffslokalität
  Korch, Matthias 2008 VDM Verlag Dr. Müller
• Mining and checking object behavior
  Dallmeier, Valentin
• Runtime verification – 9th international workshop ; selected papers
  Bensalem, Saddek 2009 Springer
• Zur Effizienz von Elliptische-Kurven-Kryptographie
  Henhapl, Birgit
• Runtime Verification – 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
  Legay, Axel ; Bensalem, Saddek 2013 Springer Berlin Heidelberg
• Runtime Verification – Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
  Qadeer, Shaz ; Tasiran, Serdar 2013 Springer Berlin Heidelberg
• Foundational and Practical Aspects of Resource Analysis – Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
  Peña, Ricardo ; van Eekelen, Marko ; Shkaravska, Olha 2012 Springer Berlin Heidelberg
• Runtime Verification – Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
  Khurshid, Sarfraz ; Sen, Koushik 2012 Springer Berlin Heidelberg
• Runtime Verification – First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
  Barringer, Howard ; Rosu, Grigore ; Sokolsky, Oleg 2010 Springer Berlin Heidelberg
• Runtime verification – 8th international workshop ; selected papers
  Leucker, Martin 2008 Springer
• On application-specific network-on-chip synthesis and on-chip trace and debug
  Todorov, Vladimir 2015 Verlag Dr. Hut
• Runtime Optimization of Contextual Role-oriented Programming Languages
  Schütze, Lars ; Castrillón Mazo, Jerónimo ; Hirschfeld, Robert 2025 Technische Universität Dresden
• Statically-analyzed stream monitoring for cyber-physical Systems
  Schwenger, Maximilian ; Finkbeiner, Bernd 2022 Saarländische Universitäts- und Landesbibliothek