43 results on '"Pautet, L."'
Search Results
2. The Effect of Seabed Backscattering Variability on the Probability of Detection and on The Performance of Seabed Classification Algorithms
3. Handling criticality mode change in time-triggered systems through linear programming
4. Ensuring robust partitioning in multicore platforms for IMA systems
5. Ensuring robust partitioning in multicore platforms for IMA systems
6. Model driven resource usage simulation for critical embedded systems
7. Behavioral modular description of fault tolerant distributed systems with AADL Behavioral Annex
8. Mode-based reconfiguration of critical software component architectures
9. Toward nex-generation middleware?
10. Towards a Deterministic High-Frequency Shallow Water Ray Propagation Model
11. A Model-Based Transformation Process to Validate and Implement High-Integrity Systems.
12. An Implementation of the Behavior Annex in the AADL-Toolset Osate2.
13. An Efficient Modeling and Execution Framework for Complex Systems Development.
14. Challenges, benefits and opportunities in operating cabled ocean observatories: Perspectives from NEPTUNE Canada.
15. Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems.
16. High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems.
17. An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems.
18. From MARTE to AADL with a Seamless Process.
19. An Emerging Need for a New Software Engineering Method.
20. Towards Automatic Middleware Generation.
21. A Concrete Syntax for UML 2.1 Action Semantics Using +CAL.
22. Co-Modeling Methodology Designed for RT Architecture Models Integration.
23. Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems.
24. Revisiting COTS middleware for DRE systems.
25. Rapid development methodology for customized middleware.
26. A middleware for supporting disconnections and multi-network access in mobile environments.
27. Contributions to middleware architectures to prototype distribution infrastructures.
28. Using refracted shear waves for velocity estimation
29. From functional to architectural analysis of a middleware supporting interoperability across heterogeneous distribution models.
30. GLADE: a framework for building large object-oriented real-time distributed systems.
31. Shear velocities in the τ −pdomain from mode converted waves
32. Determining Shear Velocities Using Wave Field Continuation
33. Integrating page replacement in a distributed shared virtual memory.
34. Target Echo Enhancement Using a Single-Element Time Reversal Mirror.
35. List of Contributors
36. From MDD to full industrial process: Building distributed real-time embedded systems for the high-integrity domain
37. GLADE: a framework for building large object-oriented real-time distributed systems
38. From functional to architectural analysis of a middleware supporting interoperability across heterogeneous distribution models
39. Rapid Development Methodology for Customized Middleware
40. Integrating page replacement in a distributed shared virtual memory
41. Contributions to middleware architectures to prototype distribution infrastructures
42. Revisiting COTS middleware for DRE systems
43. A framework for DRE middleware, an application to DDS.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.