248 results on '"Derrien, A"'
Search Results
2. Contribution of neutron spectrometry to monitor soil water content in an area subject to strong seasonal variations.
3. A Unified Memory Dependency Framework for Speculative High-Level Synthesis.
4. Rapid Prototyping of Complex Micro-architectures Through High-Level Synthesis.
5. Automatic Algorithm-Based Fault Tolerance (AABFT) of Stencil Computations.
6. Design Exploration of RISC-V Soft-Cores through Speculative High-Level Synthesis.
7. Reconciling Compiler Optimizations and WCET Estimation Using Iterative Compilation.
8. Hiding Communication Delays in Contention-Free Execution for SPM-Based Multi-Core Architectures.
9. Aggressive Memory Speculation in HW/SW Co-Designed Machines.
10. Enabling Overclocking Through Algorithm-Level Error Detection.
11. Using polyhedral techniques to tighten WCET estimates of optimized code: A case study with array contraction.
12. Supporting runtime reconfigurable VLIWs cores through dynamic binary translation.
13. Fine-Grain Iterative Compilation for WCET Estimation.
14. Automatic Algorithm-Based Fault Tolerance (AABFT) of Stencil Computations
15. Bridging high-level synthesis and application-specific arithmetic: The case study of floating-point summations.
16. One size does not fit all: Implementation trade-offs for iterative stencil computations on FPGAs.
17. Range-Consistent Forbidden Regions of Allen's Relations.
18. Hardware-accelerated dynamic binary translation.
19. WCET-aware parallelization of model-based applications for multi-cores: The ARGO approach.
20. Superword level parallelism aware word length optimization.
21. Communication-Based Power Modelling for Heterogeneous Multiprocessor Architectures.
22. System level synthesis for virtual memory enabled hardware threads.
23. Thing in, a research platform for the Web of Things.
24. A quasi-orthogonal, invertible, and perceptually relevant time-frequency transform for audio coding.
25. A Global Constraint for a Tractable Class of Temporal Optimization Problems.
26. Laser-Induced Symmetry Breaking in Energy Absorption of Silicon Induced by Intense Femtosecond Laser Pulse
27. Prevalence of Sleep Apnoea in Patients With Type 1 Diabetes and Its Association With Comorbidities and Diabetic Complications: A French Nationwide Prospective Study
28. Toward scalable source level accuracy analysis for floating-point to fixed-point conversion.
29. Low Power Reconfigurable Controllers for Wireless Sensor Network Nodes.
30. A Declarative Paradigm for Robust Cumulative Scheduling.
31. A New Characterization of Relevant Intervals for Energetic Reasoning.
32. A Very Low Latency Pitch Tracker for Audio to MIDI Conversion.
33. Derivation of efficient FSM from loop nests.
34. Using Model Types to Support Contract-Aware Model Substitutability.
35. Component-Level Datapath Merging in System-Level Design of Wireless Sensor Node Controllers for FPGA-Based Implementations.
36. GeCoS: A framework for prototyping custom hardware design flows.
37. Runtime dependency analysis for loop pipelining in high-level synthesis.
38. Efficient hardware implementation of data-flow parallel embedded systems.
39. From Scilab to multicore embedded systems: Algorithms and methodologies.
40. On Model Subtyping.
41. A flexible approach for compiling scilab to reconfigurable multi-core embedded systems.
42. A Compilation- and Simulation-Oriented Architecture Description Language for Multicore Systems.
43. From Scilab to High Performance Embedded Multicore Systems: The ALMA Approach.
44. A semiempirical model for wakeup time estimation in power-gated logic clusters.
45. ompVerify: Polyhedral Analysis for the OpenMP Programmer.
46. Efficient nested loop pipelining in high level synthesis using polyhedral bubble insertion.
47. HLS Tools for FPGA: Faster Development with Better Performance.
48. Wakeup Time and Wakeup Energy Estimation in Power-Gated Logic Clusters.
49. Entropy-constrained quantization of exponentially damped sinusoids parameters.
50. Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.