Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Niklas Holsti"'
Publikováno v:
Science of Computer Programming. 133:74-87
Abstract interpretation using convex polyhedra is a common and powerful program analysis technique to discover linear relationships among variables in a program. A value analysis based on a polyhedral abstract domain can be very precise, thus reducin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ef3d342c5c47d3209172c87ae9775415
https://doi.org/10.1016/j.scico.2016.07.006
https://doi.org/10.1016/j.scico.2016.07.006
Autor:
Frank Mueller, Christian Ferdinand, Niklas Holsti, Guillem Bernat, Isabelle Puaut, Reinhard Wilhelm, Jakob Engblom, Reinhold Heckmann, David Whalley, Jan Staschulat, Andreas Ermedahl, Stephan Thesing, Tulika Mitra, Per Stenström, Peter Puschner
Publikováno v:
ACM Transactions on Embedded Computing Systems
The determination of upper bounds on execution times, commonly called worst-case execution times (WCETs), is a necessary step in the development and validation process for hard real-time systems. This problem is hard if the underlying processor archi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::88fcabd33c7d70e7acffad12c8a8a6f5
Autor:
Thomas Långbacka, Niklas Holsti
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540403760
Ada-Europe
Ada-Europe
We are designing the on-board software for the GOCE satellite platform so that static analysis can verify its real-time requirements. Our aim is to analyse the binary code to derive bounds on the worst-case execution time for each task, followed by a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ea88ff18c345dbc4fd98c2c26b81d78d
https://doi.org/10.1007/3-540-44947-7_6
https://doi.org/10.1007/3-540-44947-7_6
Autor:
Niklas Holsti
Publikováno v:
Software: Practice and Experience. 19:329-350
Editing the script of an interactive session on-line can replace or enhance common interaction techniques and help to separate the user interface from the computation. We describe a text editor that executes scripts incrementally, co-operating with a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::40cdbf87d5cf61573b192f1a720617c7
https://doi.org/10.1002/spe.4380190403
https://doi.org/10.1002/spe.4380190403
Autor:
Niklas Holsti
Publikováno v:
ACM SIGPLAN Notices. 23:83-92
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3429557c4da9bff59414816e41fa6bbe
https://doi.org/10.1145/43895.43904
https://doi.org/10.1145/43895.43904
Publikováno v:
Electronic Notes in Theoretical Computer Science. :3-13
Analysis of convex polyhedra using abstract interpretation is a common and powerful program analysis technique to discover linear relationships among variables in a program. However, the classical way of performing polyhedral analysis does not model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6e7962958d17b3a543dbc21ed6cab1f
Autor:
Reinhard von Hanxleden, Niklas Holsti, Björn Lisper, Erhard Ploedereder, Reinhard Wilhelm, Armelle Bonenfant, Hugues Cassé, Sven Bünte, Wolfgang Fellger, Sebastian Gepperth, Jan Gustafsson, Benedikt Huber, Nazrul Mohammad Islam, Daniel Kästner, Raimund Kirner, Laura Kovács, Felix Krause, Marianne de Michiel, Mads Christian Olesen, Adrian Prantl, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Simon Wegener, Michael Zolda, Jakob Zwirchmayr
Publikováno v:
Scopus-Elsevier
Technical University of Denmark Orbit
Von Hanxleden, R, Holsti, N, Lisper, B, Ploedereder, E, Wilhelm, R, Bonenfant, A, Cassé, H, Bünte, S, Fellger, W, Gepperth, S, Gustafsson, J, Huber, B, Islam, N M, Kästner, D, Kirner, R, Kovács, L, Krause, F, De Michiel, M, Olesen, M C, Prantl, A, Puffitsch, W, Rochange, C, Schoeberl, M, Wegener, S, Zolda, M & Zwirchmayr, J 2011, WCET tool challenge 2011 : Report . in 11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held in Conjunction with the 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011 . Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, pp. 104-138, 11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held in Conjunction with the 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011, Porto, Portugal, 05/07/2011 .
Technical University of Denmark Orbit
Von Hanxleden, R, Holsti, N, Lisper, B, Ploedereder, E, Wilhelm, R, Bonenfant, A, Cassé, H, Bünte, S, Fellger, W, Gepperth, S, Gustafsson, J, Huber, B, Islam, N M, Kästner, D, Kirner, R, Kovács, L, Krause, F, De Michiel, M, Olesen, M C, Prantl, A, Puffitsch, W, Rochange, C, Schoeberl, M, Wegener, S, Zolda, M & Zwirchmayr, J 2011, WCET tool challenge 2011 : Report . in 11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held in Conjunction with the 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011 . Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, pp. 104-138, 11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held in Conjunction with the 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011, Porto, Portugal, 05/07/2011 .
Following the successful WCET Tool Challenges in 2006 and 2008, the third event in this series was organized in 2011, again with support from the ARTIST DESIGN Network of Excellence. Following the practice established in the previous Challenges, the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0e3732fc281d53d9534c6c0b9559182e
http://www.scopus.com/inward/record.url?eid=2-s2.0-84900815476&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-84900815476&partnerID=MN8TOARS