134 results on '"Christine Rochange"'
Search Results
2. Modelling and proving the monotonicity of processor pipelines in Coq.
3. Enabling timing predictability in the presence of store buffers.
4. Warp-Level CFG Construction for GPU Kernel WCET Analysis.
5. Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators.
6. Computing Execution Times With Execution Decision Diagrams in the Presence of Out-of-Order Resources.
7. MINOTAuR: A Timing Predictable RISC-V Core Featuring Speculative Execution.
8. A Framework for Calculating WCET Based on Execution Decision Diagrams.
9. Speculative Execution and Timing Predictability in an Open Source RISC-V Core.
10. Improving the Performance of WCET Analysis in the Presence of Variable Latencies.
11. Computing Execution Times with eXecution Decision Diagrams in the Presence of Out-Of-Order Resources.
12. The W-SEPT Project: Towards Semantic-Aware WCET Estimation.
13. TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research.
14. Parallel Real-Time Tasks, as Viewed by WCET Analysis and Task Scheduling Approaches.
15. EMSBench: Benchmark and Testbed for Reactive Real-Time Systems.
16. A Hybrid Scheduling Algorithm Based on Self-Timed and Periodic Scheduling for Embedded Streaming Applications.
17. Case study: Performance and WCET analysis for parallelised avionic applications with ODC2.
18. A Framework to Quantify the Overestimations of Static WCET Analysis.
19. WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?.
20. Warp-Level CFG Construction for GPU Kernel WCET Analysis
21. Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators
22. Parallelizing Industrial Hard Real-Time Applications for the parMERASA Multicore.
23. Minimizing the cost of synchronisations in the WCET of real-time parallel programs.
24. Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems.
25. Contention in Multicore Hardware Shared Resources: Understanding of the State of the Art.
26. Self-timed Periodic Scheduling for a Cyclo-static DataFlow Model.
27. Effects of structured parallelism by parallel design patterns on embedded hard real-time systems.
28. Predictable Two-Level Bus Arbitration for Heterogeneous Task Sets.
29. parMERASA - Multi-core Execution of Parallelised Hard Real-Time Applications Supporting Analysability.
30. Hardware architecture specification and constraint-based WCET computation.
31. Automatic WCET Analysis of Real-Time Parallel Applications.
32. Time analysable synchronisation techniques for parallelised hard real-time applications.
33. The Split-Phase Synchronisation Technique: Reducing the Pessimism in the WCET Analysis of Parallelised Hard Real-Time Programs.
34. Predictable bus arbitration schemes for heterogeneous time-critical workloads running on multicore processors.
35. A framework for the timing analysis of dynamic branch predictors.
36. An Overview of Approaches Towards the Timing Analysability of Parallel Architecture.
37. RTOS Support for Parallel Execution of Hard Real-Time Applications on the MERASA Multi-core Processor.
38. WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core.
39. OTAWA: An Open Toolbox for Adaptive WCET Analysis.
40. An architecture for the simultaneous execution of hard real-time threads.
41. A Predictable Simultaneous Multithreading Scheme for Hard Real-Time.
42. Modeling Instruction-Level Parallelism for WCET Evaluation.
43. A Contribution to Branch Prediction Modeling in WCET Analysi.
44. A time-predictable execution mode for superscalar pipelines with instruction prescheduling.
45. A Case for Static Branch Prediction in Real-Time Systems.
46. Building timing predictable embedded systems.
47. Towards Designing WCET-Predictable Processors.
48. Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability.
49. Architecture d'un processeur multiflot orienté temps-réel.
50. A Context-Parameterized Model for Static Analysis of Execution Times.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.