Worst Case Execution Time and Power Estimation of Multicore and GPU Software: A Pedestrian Detection Use Case.
- Published in:
- Ada User Journal, 2024, v. 44, n. 2, p. 161
- By:
- Publication type:
- Article
Works matching IS 13816551 AND DT 2024 AND VI 44 AND IP 2
Results: 12
1
2
Mechanization of the Ravenscar Profile in Coq.
- Published in:
- Ada User Journal, 2024, v. 44, n. 2, p. 157
- By:
- Publication type:
- Article
3
Achieving Crash Fault Tolerance in Autonomous Vehicle Autopilot Software Stacks Through Safety-Critical Module Rejuvenation.
- Published in:
- Ada User Journal, 2024, v. 44, n. 2, p. 137
- By:
- Publication type:
- Article
4
Towards a Methodology to Design Provably Secure Cyber-Physical Systems.
- Published in:
- Ada User Journal, 2024, v. 44, n. 2, p. 146
- By:
- Publication type:
- Article
5
Symbolic Refinement for CPS.
- Published in:
- Ada User Journal, 2024, v. 44, n. 2, p. 141
- By:
- Publication type:
- Article
6
Editorial.
- Published in:
- Ada User Journal, 2024, v. 44, n. 2, p. 95
- By:
- Publication type:
- Article
7
Automatic Test Value Generation for Ada.
- Published in:
- Ada User Journal, 2024, v. 44, n. 2, p. 152
- By:
- Publication type:
- Article
8
ADEPT 2022 Workshop: A Summary of Strengths and Weaknesses of the AADL Ecosystem.
- Published in:
- Ada User Journal, 2024, v. 44, n. 2, p. 125
- By:
- Publication type:
- Article
9
Conference Calendar.
- Published in:
- Ada User Journal, 2024, v. 44, n. 2, p. 117
- By:
- Publication type:
- Article
10
Quarterly News Digest.
- Published in:
- Ada User Journal, 2024, v. 44, n. 2, p. 96
- By:
- Publication type:
- Article
11
Cooperative Autonomous Driving in Simulation.
- Published in:
- Ada User Journal, 2024, v. 44, n. 2, p. 133
- By:
- Publication type:
- Article
12
Software-based Security Approach for Networked Embedded Devices.
- Published in:
- Ada User Journal, 2024, v. 44, n. 2, p. 129
- By:
- Publication type:
- Article