-
1
المؤلفون: Andersson, Måns
المساهمون: Markidis, Stefano, Podobas, Artur, Jansson, Niclas, 1983, Peng, Ivy Bo, Anzt, Hartwig
المصدر: TRITA-EECS-AVL.
مصطلحات موضوعية: Intermediate Representation, Discrete Fourier Transform, Fast Fourier Transform, Molecular Dynamics, Mellankod, diskret Fouriertransform, snabb Fouriertransform, Molekyldynamik
وصف الملف: electronic
URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326223
https://kth.diva-portal.org/smash/get/diva2:1757930/FULLTEXT01.pdf -
2
المؤلفون: Lindner, Andreas
المساهمون: Guanciale, Roberto, Associate professor, Dam, Mads, Professor, 1955, Rezk, Tamara, Dr
المصدر: TRITA-EECS-AVL.
مصطلحات موضوعية: Binary Code, Binary Analysis, Formal Verification, Model-Based Testing, Theorem Proving, HOL4, Intermediate Language, Instruction Set Architectures, ISA, Observational Models, Symbolic Execution, Weakest-Precondition, Execution Time Analysis, binärkod, binärkodsanalys, formell verifiering, modellbaserad testning, satsbevisning, mellankod, instruktionsuppsättningar, observationsmodeller, symbolisk exekvering, minst restriktiva villkoret, analys av övre tidsgräns, Datalogi, Computer Science
وصف الملف: electronic
URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326719
https://kth.diva-portal.org/smash/get/diva2:1755837/FULLTEXT01.pdf -
3مورد إلكتروني
مصطلحات الفهرس: Intermediate Representation, Discrete Fourier Transform, Fast Fourier Transform, Molecular Dynamics, Mellankod, diskret Fouriertransform, snabb Fouriertransform, Molekyldynamik, Engineering and Technology, Teknik och teknologier, Licentiate thesis, comprehensive summary, info:eu-repo/semantics/masterThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326223
TRITA-EECS-AVL ; 2023:43 -
4مورد إلكتروني
مصطلحات الفهرس: Binary Code, Binary Analysis, Formal Verification, Model-Based Testing, Theorem Proving, HOL4, Intermediate Language, Instruction Set Architectures, ISA, Observational Models, Symbolic Execution, Weakest-Precondition, Execution Time Analysis, binärkod, binärkodsanalys, formell verifiering, modellbaserad testning, satsbevisning, mellankod, instruktionsuppsättningar, observationsmodeller, symbolisk exekvering, minst restriktiva villkoret, analys av övre tidsgräns, Computer Sciences, Datavetenskap (datalogi), Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326719
TRITA-EECS-AVL ; 2023:41 -
5مورد إلكتروني
مصطلحات الفهرس: Binary Code, Binary Analysis, Formal Verification, Model-Based Testing, Theorem Proving, HOL4, Intermediate Language, Instruction Set Architectures, ISA, Observational Models, Symbolic Execution, Weakest-Precondition, Execution Time Analysis, binärkod, binärkodsanalys, formell verifiering, modellbaserad testning, satsbevisning, mellankod, instruktionsuppsättningar, observationsmodeller, symbolisk exekvering, minst restriktiva villkoret, analys av övre tidsgräns, Computer Sciences, Datavetenskap (datalogi), Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326719
TRITA-EECS-AVL ; 2023:41 -
6مورد إلكتروني
مصطلحات الفهرس: Intermediate Representation, Discrete Fourier Transform, Fast Fourier Transform, Molecular Dynamics, Mellankod, diskret Fouriertransform, snabb Fouriertransform, Molekyldynamik, Engineering and Technology, Teknik och teknologier, Licentiate thesis, comprehensive summary, info:eu-repo/semantics/masterThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326223
TRITA-EECS-AVL ; 2023:43 -
7مورد إلكتروني
مصطلحات الفهرس: Intermediate Representation, Discrete Fourier Transform, Fast Fourier Transform, Molecular Dynamics, Mellankod, diskret Fouriertransform, snabb Fouriertransform, Molekyldynamik, Engineering and Technology, Teknik och teknologier, Licentiate thesis, comprehensive summary, info:eu-repo/semantics/masterThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326223
TRITA-EECS-AVL ; 2023:43 -
8مورد إلكتروني
مصطلحات الفهرس: Binary Code, Binary Analysis, Formal Verification, Model-Based Testing, Theorem Proving, HOL4, Intermediate Language, Instruction Set Architectures, ISA, Observational Models, Symbolic Execution, Weakest-Precondition, Execution Time Analysis, binärkod, binärkodsanalys, formell verifiering, modellbaserad testning, satsbevisning, mellankod, instruktionsuppsättningar, observationsmodeller, symbolisk exekvering, minst restriktiva villkoret, analys av övre tidsgräns, Computer Sciences, Datavetenskap (datalogi), Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326719
TRITA-EECS-AVL ; 2023:41 -
9مورد إلكتروني
مصطلحات الفهرس: Intermediate Representation, Discrete Fourier Transform, Fast Fourier Transform, Molecular Dynamics, Mellankod, diskret Fouriertransform, snabb Fouriertransform, Molekyldynamik, Engineering and Technology, Teknik och teknologier, Licentiate thesis, comprehensive summary, info:eu-repo/semantics/masterThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326223
TRITA-EECS-AVL ; 2023:43 -
10مورد إلكتروني
مصطلحات الفهرس: Binary Code, Binary Analysis, Formal Verification, Model-Based Testing, Theorem Proving, HOL4, Intermediate Language, Instruction Set Architectures, ISA, Observational Models, Symbolic Execution, Weakest-Precondition, Execution Time Analysis, binärkod, binärkodsanalys, formell verifiering, modellbaserad testning, satsbevisning, mellankod, instruktionsuppsättningar, observationsmodeller, symbolisk exekvering, minst restriktiva villkoret, analys av övre tidsgräns, Computer Sciences, Datavetenskap (datalogi), Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326719
TRITA-EECS-AVL ; 2023:41