关注
Kristoffer Nyborg Gregertsen
Kristoffer Nyborg Gregertsen
SINTEF Digital
在 sintef.no 的电子邮件经过验证
标题
引用次数
引用次数
年份
EROSS project–European Autonomous Robotic Vehicle for on-orbit servicing
V Dubanchet, JB Romero, KN Gregertsen, H Austad, J Gancet, ...
International Symposium on Artificial Intelligence, Robotics and Automation …, 2020
172020
Implementing the new Ada 2005 timing event and execution time control features on the AVR32 architecture
KN Gregertsen, A Skavhaug
Journal of Systems Architecture 56 (10), 509-522, 2010
132010
An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR® 32 UC3 microcontroller
KN Gregertsen, A Skavhaug
2009 Design, Automation & Test in Europe Conference & Exhibition, 1572-1575, 2009
112009
Execution-time control for interrupt handling
KN Gregertsen, A Skavhaug
ACM SIGAda Ada Letters 30 (1), 33-44, 2010
92010
A real-time framework for Ada 2005 and the Ravenscar profile
KN Gregertsen, A Skavhaug
2009 35th Euromicro Conference on Software Engineering and Advanced …, 2009
82009
Composable distributed real-time systems with deterministic network channels
H Austad, ER Jellum, S Hendseth, G Mathisen, TH Bryne, KN Gregertsen, ...
Journal of Systems Architecture 137, 102853, 2023
72023
Implementation and usage of the new Ada 2012 execution time control features
KN Gregertsen, A Skavhaug
Ada User Journal 32 (4), 265, 2011
72011
Execution time timers for interrupt handling
KN Gregertsen, A Skavhaug
ACM SIGAda Ada Letters 33 (2), 87-96, 2013
52013
Improving the performance of execution time control by using a hardware time management unit
KN Gregertsen, A Skavhaug
International Conference on Reliable Software Technologies, 177-192, 2012
42012
Challenges of TSO-DSO voltage regulation under real-time data exchange paradigm
MZ Degefa, H Lundkvist, S Sanchez-Acevedo, KN Gregertsen
IEEE Open Journal of the Industrial Electronics Society 4, 75-84, 2023
32023
Functional specification for a Time Management Unit
KN Gregertsen, A Skavhaug
SAFECOMP, 2010
32010
Execution time management for AVR32 Ravenscar
KN Gregertsen
Institutt for teknisk kybernetikk, 2008
32008
Revising the Ada timers and group budgets to support execution time control for interrupt handling
KN Gregertsen
ACM SIGAda Ada Letters 36 (1), 39-50, 2016
22016
EROSS: In-Orbit Demonstration of European Robotic Orbital Support Services
MA Roa, A Beyer, I Rodríguez, M Stelzer, M de Stefano, JP Lutze, ...
2024 IEEE Aerospace Conference, 1-9, 2024
12024
Position paper: Clock support in Ada
KN Gregertsen
ACM SIGAda Ada Letters 38 (1), 55-57, 2018
12018
An extended Ravenscar profile for execution time control
KN Gregertsen
ACM SIGAda Ada Letters 33 (2), 109-114, 2013
12013
Execution Time Control: A hardware accelerated Ada implementation with novel support for interrupt handling
KN Gregertsen
NTNU, 2012
12012
Ember: An Embedded Robotics Library in SPARK
KN Gregertsen
ACM SIGAda Ada Letters 41 (2), 61-65, 2022
2022
Session Summary: Profiles
M Aldea-Rivas, KN Gregertsen
ACM SIGAda Ada Letters 38 (1), 62-65, 2018
2018
Session Summary: Clock Issues
KN Gregertsen, LM Pinho
ACM SIGAda Ada Letters 38 (1), 77-78, 2018
2018
系统目前无法执行此操作,请稍后再试。
文章 1–20