Execution model
Related papers: 11
Top Researchers
Top Cited Papers
Model-Based Implementation of Parallel Real-Time Systems
Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis
Citations: 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
Citations: 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
Citations: 10 • 2018
A Model-Based Approach for Reconciliation of Polychronous Execution Traces
Kelly Garcés, Julien Deantoni, Frédéric Mallet
Citations: 8 • 2011
DAG Scheduling with Execution Groups
Junjie Shi, Mario Günzel, Niklas Ueter, Georg von der Brüggen, Jian-Jia Chen
Citations: 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
Citations: 5 • 2021
An Expressive Language and Efficient Execution System for Software Agents
Citations: 5 • 2005
Controlling Multi Thread Execution using Single Thread Event Loop
Ratnesh Prasad Srivastava, G. C. Nandi
Citations: 4 • 2017
Timing analyzing for systems with execution dependencies between tasks
Yue Lu, Thomas Nolte, Iain Bate
Citations: 3 • 2010
Open Real-time Systems: From Modeling to Implementation
Tesnim Abdellatif, Jacques Combaz
Citations: 2 • 2011
Robust Model-based Execution of Critical Spacecraft Sequences
Michel D. Ingham
Citations: 2 • 2004