60 results on '"Gamatié, Abdoulaye"'
Search Results
2. Optimization of Data and Energy Migrations in Mini Data Centers for Carbon-Neutral Computing
3. A model-based approach to addressing energy demand in sustainable urban systems
4. Improving the Performance of STT-MRAM LLC Through Enhanced Cache Replacement Policy
5. Combined Distributed Shared-Buffered and Diagonally-Linked Mesh Topology for High-Performance Interconnect
6. Hardware Solutions for Low-Power Smart Edge Computing
7. A Segmented Adaptive Router for Near Energy-Proportional Networks-on-Chip
8. Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Program Inputs
9. Discrete Control-Based Design of Adaptive and Autonomic Computing Systems
10. GANNoC: A Framework for Automatic Generation of NoC Topologies using Generative Adversarial Networks
11. Models for Co-design of Heterogeneous Dynamically Reconfigurable SoCs
12. Design Space Exploration for Efficient Data Intensive Computing on SoCs
13. Specification of Data Intensive Applications with Data Dependency and Abstract Clocks
14. Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications
15. Extended Constructs
16. A Synchronization Example Design with Polychrony
17. Programming Units: Processes
18. Compilation of Programs
19. Formal Semantics
20. Advanced Design Concepts
21. Design Patterns
22. Synchronous Programming: Overview
23. GALS System Design
24. Formal Model for Program Analysis
25. Design in Polychrony: First Steps
26. Generalities on Real-Time Programming
27. Basics: Signals and Relations
28. Model Transformations from a Data Parallel Formalism Towards Synchronous Languages
29. Hard Real-Time Implementation of Embedded Software in JAVA
30. Behavioral Type Inference
31. Empirical model-based performance prediction for application mapping on multicore architectures
32. A gem5 trace-driven simulator for fast architecture exploration of OpenMP workloads
33. Exploiting memory allocations in clusterised many‐core architectures
34. Compiler-assisted adaptive program scheduling in big.LITTLE systems
35. Static Prediction of Silent Stores
36. Energy-Efficient Memory Mappings based on Partial WCET Analysis and Multi-Retention Time STT-RAM
37. Compile-Time Silent-Store Elimination for Energy Efficiency
38. Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures
39. High-level design space exploration for adaptive applications on multiprocessor systems-on-chip
40. Adaptivity in high-performance embedded systems: a reactive control model for reliable and flexible design
41. Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE
42. Special section on modeling of reactive systems
43. Discrete Control for Reconfigurable FPGA-based Embedded Systems
44. Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte
45. CLASSY
46. Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: Advantages, limitations and alternatives
47. Modélisation UML/MARTE de SoC et analyse temporelle basée sur l’approche synchrone. Vers l’exploration à haut niveau de l’architecture
48. A Model-Driven Design Framework for Massively Parallel Embedded Systems
49. Session details: Program optimization
50. Session details: Program optimization
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.