Searching for authors named "Antoine Colin" – sorted by Relevance.
-
Formal Computation of Galois Groups with Relative Resolvents
- Formal Computation of Galois Groups with Relative Resolvents ? Antoine Colin GAGE, Centre de math
- Cited by 10 (3 self) – Add To MetaCart
-
Relative resolvents and partition tables in Galois group computations
- Relative resolvents and partition tables in Galois group computations Antoine Colin GAGE, Centre
- Cited by 2 (0 self) – Add To MetaCart
-
An efficient symbolic algorithm to compute Lagrange resolvents for computational Galois theory
- Antoine Colin GAGE, Centre de math'ematiques (cnrs ura 169) Ecole Polytechnique, F-91128 Palaiseau Cedex
- Cited by 1 (0 self) – Add To MetaCart
-
Solving a System of Algebraic Equations with Symmetries
- Solving a System of Algebraic Equations with Symmetries Antoine Colin GAGE, Centre de math
- Cited by 1 (0 self) – Add To MetaCart
-
Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System
- Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System Antoine Colin
- Cited by 21 (2 self) – Add To MetaCart
-
A Modular and Retargetable Framework for Tree-based WCET Analysis
- A Modular & Retargetable Framework for Tree-based WCET Analysis* Antoine Colin, Isabelle Puaut
- Cited by 26 (8 self) – Add To MetaCart
-
A Simple Constructive Proof of a Theorem of Mattuck
- A Simple Constructive Proof of a Theorem of Mattuck Antoine Colin GAGE, Centre de math
- Add To MetaCart
-
Experimental Evaluation of Code Properties for WCET Analysis
- Experimental Evaluation of Code Properties for WCET Analysis # Antoine Colin Stefan M. Petters
- Cited by 10 (2 self) – Add To MetaCart
-
Worst-Case Timing Analysis Of The RTEMS Real-Time Operating System
- ISSN 1166-8687 1277 WORST-CASE TIMING ANALYSIS OF THE RTEMS REAL-TIME OPERATING SYSTEM ANTOINE COLIN
- Cited by 3 (2 self) – Add To MetaCart
-
pWCET: A tool for probabilistic worst-case execution time analysis of real-time systems
- Bernat, Antoine Colin, Stefan Petters Real-Time Systems Research Group University of York. England, UK
- Cited by 4 (1 self) – Add To MetaCart

