Execution model
相关论文数: 11
顶级研究者
最高引用论文
Model-Based Implementation of Parallel Real-Time Systems
Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis
引用数: 19 • 2013
Language and Compilation of Parallel Programs for *-Predictable MPSoC Execution Using Invasive Computing
Jürgen Teich, Michael Glaß, Sascha Roloff, Wolfgang Schröder‐Preikschat, Gregor Snelting, Andreas Weichslgartner, Stefan Wildermann
引用数: 17 • 2016
AMPLE: an anytime planning and execution framework for dynamic and uncertain problems in robotics
Caroline Ponzoni Carvalho Chanel, Alexandre Albore, Jorrit T’Hooft, Charles Lesire, Florent Teichteil-Königsbuch
引用数: 10 • 2018
A Model-Based Approach for Reconciliation of Polychronous Execution Traces
Kelly Garcés, Julien Deantoni, Frédéric Mallet
引用数: 8 • 2011
DAG Scheduling with Execution Groups
Junjie Shi, Mario Günzel, Niklas Ueter, Georg von der Brüggen, Jian-Jia Chen
引用数: 5 • 2024
Hippo: A formal-model execution engine to control and verify critical real-time systems
Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal Zilio, Reyyan Tekin
引用数: 5 • 2021
An Expressive Language and Efficient Execution System for Software Agents
引用数: 5 • 2005
Controlling Multi Thread Execution using Single Thread Event Loop
Ratnesh Prasad Srivastava, G. C. Nandi
引用数: 4 • 2017
Timing analyzing for systems with execution dependencies between tasks
Yue Lu, Thomas Nolte, Iain Bate
引用数: 3 • 2010
Open Real-time Systems: From Modeling to Implementation
Tesnim Abdellatif, Jacques Combaz
引用数: 2 • 2011
Robust Model-based Execution of Critical Spacecraft Sequences
Michel D. Ingham
引用数: 2 • 2004