• Suche: Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods

Treffer 1 - 20 von 620

1

Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods
Müller-Gritschneder, Daniel (Prof. Dr.) ; Chakraborty, Samarjit (Prof. Dr.) ; Caccamo, Marco (Prof. Dr.) ; et al.

E-Ressource
Merkliste
2

Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods
Chakraborty, Samarjit (Prof. Dr.) ; Chakraborty, Samarjit (Prof. Dr.);Caccamo, Marco (Prof. Dr.);Müller-Gritschneder, Daniel (Prof. Dr.) ; Becker, Martin ; et al.

E-Ressource
Merkliste
3

Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods ; Quellcode-basierte Zeitanalyse eingebetteter Software mit Hilfe funktionaler Verifikationsmethoden
Becker, Martin ; Chakraborty, Samarjit (Prof. Dr.) ; Caccamo, Marco (Prof. Dr.) ; et al.

info:eu-repo/classificat... Informatik Wissen Systeme embedded software …
Dissertation
Merkliste
4

FEDERAL REGISTER.
Federal Register (National Archives & Records Service, Office of the Federal Register). 12/29/2025, Vol. 90 Issue 245, pI-iv. 497p.

Regierungsdokument
Merkliste
5

FEDERAL REGISTER.
Federal Register (National Archives & Records Service, Office of the Federal Register). 9/30/2025, Vol. 90 Issue 187, pI-iv. 498p.

Regierungsdokument
Merkliste
6

A Relational Program Logic with Data Abstraction and Dynamic Framing.
BANERJEE, ANINDYA ; NAGASAMUDRAM, RAMANA ; NAUMANN, DAVID ; et al.
ACM Transactions on Programming Languages & Systems. Dec2022, Vol. 44 Issue 4, p1-135. 135p.

Fachzeitschrift
Merkliste
7

Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow.
Becker, Martin ; Mohamed, Sajid ; Albers, Karsten ; et al.
2015 Asia-Pacific Software Engineering Conference (APSEC); 2015, p385-392, 8p

Konferenz
Merkliste
8

A Verified Optimizer for Quantum Circuits.
HIETALA, KESHA ; RAND, ROBERT ; LIYI LI ; et al.
ACM Transactions on Programming Languages & Systems. Sep2023, Vol. 45 Issue 3, p1-35. 35p.

Fachzeitschrift
Merkliste
9

Timing Analysis of Tasks on Runtime Reconfigurable Processors.
Damschen, Marvin ; Bauer, Lars ; Henkel, Jorg
IEEE Transactions on Very Large Scale Integration (VLSI) Systems; Jan2017, Vol. 25 Issue 1, p294-307, 14p

LINEAR programming COMPUTER software
Fachzeitschrift
Merkliste
10

Ubiquitous Verification of Ubiquitous Systems.
Wilhelm, Reinhard ; Maffei, Matteo
Software Technologies for Embedded & Ubiquitous Systems (9783642162558); 2011, p47-58, 12p

Buch
Merkliste
11

FEDERAL REGISTER.
Federal Register (National Archives & Records Service, Office of the Federal Register). 7/16/2025, Vol. 90 Issue 134, pI-iv. 1419p.

Regierungsdokument
Merkliste
12

FEDERAL REGISTER.
Federal Register (National Archives & Records Service, Office of the Federal Register). 7/15/2025, Vol. 90 Issue 133, pI-iv. 278p.

Regierungsdokument
Merkliste
13

FEDERAL REGISTER.
Federal Register (National Archives & Records Service, Office of the Federal Register). 7/1/2025, Vol. 90 Issue 124, pI-28867. 908p.

Regierungsdokument
Merkliste
14

FEDERAL REGISTER.
Federal Register (National Archives & Records Service, Office of the Federal Register). 5/16/2025, Vol. 90 Issue 94, pI-iii. 471p.

Regierungsdokument
Merkliste
15

A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust.
PEARCE, DAVID J.
ACM Transactions on Programming Languages & Systems. Apr2021, Vol. 43 Issue 1, p1-73. 73p.

Fachzeitschrift
Merkliste
16

Native Simulation of MPSoC Using Hardware-Assisted Virtualization.
Shen, Hao ; Hamayun, Mian-Muhammad ; Petrot, Frédéric
IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; Jul2012, Vol. 31 Issue 7, p1074-1087, 14p

SIMULATION methods & mod... HETEROGENEOUS computing MICROPROCESSORS INTEGRATED circuits EMBEDDED computer system... COMPUTER software
Fachzeitschrift
Merkliste
17

FEDERAL REGISTER.
Federal Register (National Archives & Records Service, Office of the Federal Register). 5/14/2024, Vol. 89 Issue 94, pI-iii. 456p.

Regierungsdokument
Merkliste
18

Single Source Design Environment for Embedded Systems Based on SystemC.
H. Posadas ; F. Herrera ; V. FernÁndez ; et al.
Design Automation for Embedded Systems; Dec2004, Vol. 9 Issue 4, p293-312, 20p

Fachzeitschrift
Merkliste
19

FEDERAL REGISTER.
Federal Register (National Archives & Records Service, Office of the Federal Register). 12/11/2024, Vol. 89 Issue 238, pI-iii. 607p.

Regierungsdokument
Merkliste
20

Verifying constant-time implementations by abstract interpretation.
Blazy, Sandrine ; Pichardie, David ; Trieu, Alix
Journal of Computer Security. 2019, Vol. 27 Issue 1, p137-163. 27p.

Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter