66 results  save search

hal-01800622v1  Conference papers
Thierry GrandpierreYves Sorel. From Algorithm and Architecture Specifications to Automatic Generation of Distributed Real-Time Executives: a Seamless Flow of Graphs Transformations
2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003), Jun 2003, Mont Saint Michel, France. ⟨10.1109/MEMCOD.2003.1210097⟩
hal-01800628v1  Conference papers
Linda KaouaneMohamed AkilYves SorelThierry Grandpierre. From Algorithm Graph Specification to Automatic Synthesis of FPGA Circuit: A Seamless Flow of Graphs Transformations
Field Programmable Logic and Application, 13th International Conference, Sep 2003, Lisbon, Portugal. pp.934-943
hal-01610268v1  Conference papers
Salah Eddine SaidiNicolas PernetYves Sorel. Automatic parallelization of multi-rate fmi-based co-simulation on multi-core
TMS/DEVS 2017 - Symposium on Theory of Modeling and Simulation , Society for Computer Simulation International San Diego, CA, USA, Apr 2017, Virginia Beach, United States. pp.Article No. 5
inria-00413486v1  Conference papers
Omar KermiaYves Sorel. A Rapid Heuristic for Scheduling Non-Preemptive Dependent Periodic Tasks onto Multiprocessor
Proceedings of ISCA 20th International Conference on Parallel and Distributed Computing Systems, PDCS'07, 2007, Las Vegas, Nevada, United States
inria-00413485v1  Conference papers
Omar KermiaYves Sorel. Load Balancing and Efficient Memory Usage for Homogeneous Distributed Real-Time Embedded Systems
Proceedings of the 4th International Workshop on Scheduling and Resource Management for Parallel and Distributed Systems, SRMPDS'08, 2008, Portland, Oregon, United States
inria-00413487v1  Conference papers
Patrick Meumeu YomsiYves Sorel. Extending Rate Monotonic Analysis with Exact Cost of Preemptions for Hard Real-Time Systems
Proceedings of 19th Euromicro Conference on Real-Time Systems, ECRTS'07, 2007, Pisa, Italy
inria-00413488v1  Conference papers
Arnaud AlbinetJean-Louis BoulangerHubert DuboisMarie-Agnès Peraldi-FratiYves Sorel et al.  Model-Based Methodology for Requirements Traceability in Embedded Systems
Proceedings of 3rd European Conference on Model Driven Architecture® Foundations and Applications, ECMDA'07, 2007, Haifa, Israel
inria-00413490v1  Conference papers
Nicolas PernetYves Sorel. Transformations de spécifications incluant du contrôle en spécification flot de données pour implantation distribuée
Actes de la Conférence Modélisation des Systèmes Réactifs, MSR'05, 2005, Grenoble, France
inria-00413489v1  Conference papers
Patrick Meumeu YomsiYves Sorel. Schedulability Analysis using Exact Number of Preemptions and No Idle Time for Real-Time Systems with Precedence and Strict Periodicity Constraints
Proceedings of 15th International Conference on Real-Time and Network Systems, RTNS'07, 2007, Nancy, France
hal-01245359v1  Poster communications
Talaboulma WalidCristian MaximAdriana GogonelYves SorelLiliana Cucu-Grosjean. Estimation of probabilistic worst case execution time while accounting OS costs
Work in Progress of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS2015), Apr 2015, Seattle, France
hal-01263994v1  Journal articles
Thomas CarleDumitru Potop-ButucaruYves SorelDavid Lesens. From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation *
Leibniz Transactions on Embedded Systems, European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing., 2015, ⟨10.4230/LITES-v002-i002-a001⟩
inria-00566359v1  Conference papers
Mohamed MaroufYves Sorel. Schedulability conditions for non-preemptive hard real-time tasks with strict period
18th International Conference on Real-Time and Network Systems RTNS'10, Nov 2010, Toulouse, France
inria-00432976v1  Conference papers
Liliana Cucu-GrosjeanYves Sorel. An exact schedulability test for real-time dependant periodic task systems with latency constraints
Models and Algorithms for Planning and Scheduling Problems - MAPSP'09, Jun 2009, Abbey Rolduc, Netherlands