Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nicolas Halbwachs
Synchronous Modeling and Validation of Priority Inheritance Schedulers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Synchronous Programming of Reactive Systems
Related publications
Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection
Formulation of Longitudinal Flexion Creases: Validation of Inheritance, Twin Diagnosis and Ethnic Variation
International Journal of Science and Research (IJSR)
Modeling the Connection of Network Streams With Different Priority.
Journal of Radio Electronics
Non Linear Half-Order Modeling of Synchronous Machine
Modeling and Simulation of Large Synchronous Generator Excitation System With PSASP
Intelligent Adaptive Schedulers for Railways
International Journal of Transport Development and Integration
Automotive Engineering
Civil
Transportation
Structural Engineering
Constraint Modeling for Curriculum Planning and Validation
Interactive Learning Environments
E-learning
Computer Science Applications
Education
Towards Proving Optimistic Multicore Schedulers
Performance Evaluation of Schedulers in a Probabilistic Setting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
