-
Extending a dynamic programming language and runtime environment with access control
Tessenow, Philipp ; Felgentreff, Tim ; Bracha, Gilad ; Hirschfeld, Robert 2016 Universität Potsdam
-
Extending a dynamic programming language and runtime environment with access control
Tessenow, Philipp ; Felgentreff, Tim ; Bracha, Gilad ; Hirschfeld, Robert 2016 Universitätsverlag
-
Verfahren zum Anspringen einer Programmmarke, die zur Programmlaufzeit für Teileprogramme einer Werkzeugmaschine erzeugt wurde
2014 Prior Art Publishing GmbH
-
Konstruktion verifizierender Übersetzer mit Programmprüfung
Gaul, Thilo S. 2004 Conzema AG
-
Algorithm selection based on empirical data
Kreppel, Adrian Uwe
-
Ermittlung von Programmlaufzeiten anhand von Speicherzugriffen, Microbenchmarks und Simulation von Speicherhierarchien
Schintke, Florian 2000 ZIB
-
Das NFP 33 aus der Sicht der Forscherinnen und Forscher – Ergebnisse einer Befragung der beteiligten Forschenden am Ende der Programmlaufzeit im Auftrag der Programmleitung
Meyer, Thomas 1999 Programmleitung NFP 33
-
Runtime verification – third international conference ; revised selected papers
Qadeer, Shaz ; Tasiran, Serdar 2013 Springer
-
Timing model derivation – pipeline analyzer generation from hardware description languages
Pister, Markus 2012 Pirrot
-
Foundational and practical aspects of resource analysis – second international workshop ; revised selected papers
Peña, Ricardo ; van Eekelen, Marko ; Shkaravska, Olha 2012 Springer
-
Runtime verification – second international conference ; revised selected papers
Khurshid, Sarfraz ; Sen, Koushik 2012 Springer
-
Allowing flexibility in critical systems: the EPOC framework
Stein, Steffen 2012 Cuvillier
-
Types with potential: polynomial resource bounds via automatic amortized analysis
Hoffmann, Jan 2011 Epubli
-
Methoden und Werkzeuge zur automatischen Kontrolle der Thread-Platzierung auf Mehrkernprozessoren
Klug, Tobias M. 2011 Shaker
-
Runtime verification – first international conference ; proceedings
Barringer, Howard ; Roşu, Grigore ; Sokolsky, Oleg 2010 Springer
-
On application-specific network-on-chip synthesis and on-chip trace and debug
Todorov, Vladimir 2015 Verlag Dr. Hut
-
Runtime verification – 9th international workshop ; selected papers
Bensalem, Saddek 2009 Springer
-
Runtime verification – 8th international workshop ; selected papers
Leucker, Martin 2008 Springer
-
Eingebettete Runge-Kutta-Verfahren für parallele Rechnersysteme – effiziente Implementierung durch Ausnutzung der Speicherzugriffslokalität
Korch, Matthias 2008 VDM Verlag Dr. Müller
-
Algorithmen zur WCET-Optimierung – Einfluss von statischem Cache-Locking auf Worst Case execution times
Plazar, Sascha 2007 VDM Verlag Dr. Müller