„Programmlaufzeit“
Suchergebnisse
60 Treffer
-
Extending a dynamic programming language and runtime environment with access control
-
Extending a dynamic programming language and runtime environment with access control
-
Verfahren zum Anspringen einer Programmmarke, die zur Programmlaufzeit für Teileprogramme einer Werkzeugmaschine erzeugt wurde
-
Konstruktion verifizierender Übersetzer mit Programmprüfung
-
Algorithm selection based on empirical data
-
Ermittlung von Programmlaufzeiten anhand von Speicherzugriffen, Microbenchmarks und Simulation von Speicherhierarchien
-
Das NFP 33 aus der Sicht der Forscherinnen und Forscher – Ergebnisse einer Befragung der beteiligten Forschenden am Ende der Programmlaufzeit im Auftrag der Programmleitung
-
Runtime verification – third international conference ; revised selected papers
-
Timing model derivation – pipeline analyzer generation from hardware description languages
-
Foundational and practical aspects of resource analysis – second international workshop ; revised selected papers
-
Runtime verification – second international conference ; revised selected papers
-
Allowing flexibility in critical systems: the EPOC framework
-
Types with potential: polynomial resource bounds via automatic amortized analysis
-
Methoden und Werkzeuge zur automatischen Kontrolle der Thread-Platzierung auf Mehrkernprozessoren
-
Runtime verification – first international conference ; proceedings
-
On application-specific network-on-chip synthesis and on-chip trace and debug
-
Runtime verification – 9th international workshop ; selected papers
-
Runtime verification – 8th international workshop ; selected papers
-
Eingebettete Runge-Kutta-Verfahren für parallele Rechnersysteme – effiziente Implementierung durch Ausnutzung der Speicherzugriffslokalität
-
Algorithmen zur WCET-Optimierung – Einfluss von statischem Cache-Locking auf Worst Case execution times