-
1
المؤلفون: Haglund, Jonas
المساهمون: Guanciale, Roberto, Dam, Mads, 1955, Virgil, Gligor, Professor
المصدر: TRITA-EECS-AVL.
مصطلحات موضوعية: formal verification, interactive theorem proving, direct memory access, memory isolation, input/output, formell verifiering, interaktiv datorassisterad beviskonstruktion, direkt minnesåtkomst, minnesisolering, indata/utdata, Datalogi, Computer Science
وصف الملف: electronic
URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-327312
https://kth.diva-portal.org/smash/get/diva2:1758753/FULLTEXT04.pdf -
2مورد إلكتروني
مصطلحات الفهرس: Probability Theory and Statistics, Sannolikhetsteori och statistik, Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-305188
TRITA-SCI-FOU ; 2021;51 -
3مورد إلكتروني
مصطلحات الفهرس: Probability Theory and Statistics, Sannolikhetsteori och statistik, Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-305188
TRITA-SCI-FOU ; 2021;51 -
4مورد إلكتروني
مصطلحات الفهرس: Probability Theory and Statistics, Sannolikhetsteori och statistik, Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-305188
TRITA-SCI-FOU ; 2021;51 -
5مورد إلكتروني
مصطلحات الفهرس: Probability Theory and Statistics, Sannolikhetsteori och statistik, Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-305188
TRITA-SCI-FOU ; 2021;51 -
6مورد إلكتروني
مصطلحات الفهرس: Probability Theory and Statistics, Sannolikhetsteori och statistik, Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-305188
TRITA-SCI-FOU ; 2021;51 -
7مورد إلكتروني
مصطلحات الفهرس: NFV, service chains, synthesis, offloading, tagging, zero inter-core communication, line-rate, 100GbE, tjänstekedjor, syntetisering, processavlastning, paketmärkning, ingen inter-CPU-kommunikation, länkkapacitet, Computer Systems, Datorsystem, Communication Systems, Kommunikationssystem, Telecommunications, Telekommunikation, Doctoral thesis, monograph, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-233629
TRITA-EECS-AVL ; 2018:50 -
8مورد إلكتروني
مصطلحات الفهرس: NFV, service chains, synthesis, offloading, tagging, zero inter-core communication, line-rate, 100GbE, tjänstekedjor, syntetisering, processavlastning, paketmärkning, ingen inter-CPU-kommunikation, länkkapacitet, Computer Systems, Datorsystem, Communication Systems, Kommunikationssystem, Telecommunications, Telekommunikation, Doctoral thesis, monograph, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-233629
TRITA-EECS-AVL ; 2018:50 -
9مورد إلكتروني
مصطلحات الفهرس: NFV, service chains, synthesis, offloading, tagging, zero inter-core communication, line-rate, 100GbE, tjänstekedjor, syntetisering, processavlastning, paketmärkning, ingen inter-CPU-kommunikation, länkkapacitet, Computer Systems, Datorsystem, Communication Systems, Kommunikationssystem, Telecommunications, Telekommunikation, Doctoral thesis, monograph, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-233629
TRITA-EECS-AVL ; 2018:50 -
10مورد إلكتروني
مصطلحات الفهرس: NFV, service chains, synthesis, offloading, tagging, zero inter-core communication, line-rate, 100GbE, tjänstekedjor, syntetisering, processavlastning, paketmärkning, ingen inter-CPU-kommunikation, länkkapacitet, Computer Systems, Datorsystem, Communication Systems, Kommunikationssystem, Telecommunications, Telekommunikation, Doctoral thesis, monograph, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-233629
TRITA-EECS-AVL ; 2018:50