-
1
المصدر: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 37:2509-2518
مصطلحات موضوعية: Computer science, business.industry, Vulnerability, 020207 software engineering, 02 engineering and technology, Energy consumption, Modular design, computer.software_genre, Security policy, Computer Graphics and Computer-Aided Design, 020202 computer hardware & architecture, Software, 0202 electrical engineering, electronic engineering, information engineering, Verilog, Compiler, Information flow (information theory), Electrical and Electronic Engineering, business, computer, Computer hardware, Efficient energy use, computer.programming_language
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::cc6f88403f7afc82851887a1057b5e14Test
https://doi.org/10.1109/tcad.2018.2857041Test -
2
المصدر: MobiCom
مصطلحات موضوعية: Rapid prototyping, Wireless network, business.industry, Computer science, Physical layer, Optimizing compiler, computer.software_genre, Digital subscriber line, PHY, Embedded system, Wireless, Compiler, business, computer
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::5c51b89f19b563e17c695b2633a17675Test
https://doi.org/10.1145/2789168.2789185Test -
3
المؤلفون: Geoffrey Mainland, Gordon Stewart, Bozidar Radunovic, Cristina Luengo Agullo, Mahanth Gowda, Dimitrios Vytiniotis
المصدر: ASPLOS
مصطلحات موضوعية: Domain-specific language, Computer science, business.industry, computer.internet_protocol, Wireless network, Control reconfiguration, General Medicine, computer.software_genre, Computer Graphics and Computer-Aided Design, Pipeline (software), Digital subscriber line, Software, Software deployment, Embedded system, Wireless, Wireless Application Protocol, Compiler, business, computer, Protocol (object-oriented programming)
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f99b09b9ee7e5dd88d6a1daab0f3b90Test
https://doi.org/10.1145/2694344.2694368Test -
4
المؤلفون: Lennart Beringer, Andrew W. Appel, Santiago Cuellar, Gordon Stewart
المصدر: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.
مصطلحات موضوعية: Correctness, Computer science, Programming language, media_common.quotation_subject, Local variable, Optimizing compiler, Mathematical proof, computer.software_genre, Computer Graphics and Computer-Aided Design, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Compiler, State (computer science), Function (engineering), computer, Software, Compiler correctness, media_common
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::39a1d1a22d04953fa977e26dea85aeb7Test
https://doi.org/10.1145/2676726.2676985Test -
5
المؤلفون: Mahanth Gowda, Gordon Stewart, Dimitrios Vytiniotis, Doug Patterson, Geoffrey Mainland, Bozidar Radunovic
المصدر: MobiCom
مصطلحات موضوعية: business.industry, computer.internet_protocol, Computer science, Physical layer, computer.software_genre, Domain (software engineering), Software, PHY, Embedded system, Programming paradigm, Wireless Application Protocol, Wireless, Compiler, business, computer
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::f094171efea1e4b2e45754a4c64e5a19Test
https://doi.org/10.1145/2639108.2642893Test -
6
المصدر: SRIF@SIGCOMM
مصطلحات موضوعية: Domain-specific language, Computer science, business.industry, computer.internet_protocol, Physical layer, computer.software_genre, Domain (software engineering), Software, Software deployment, Embedded system, Programming paradigm, Wireless, Wireless Application Protocol, Compiler, business, computer
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::1d2346d7aafb2eb13abbda2c56979554Test
https://doi.org/10.1145/2627788.2627799Test -
7
المؤلفون: Doug Patterson, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Gordon Stewart, Dimitrios Vytiniotis
المصدر: SIGCOMM
مصطلحات موضوعية: Rapid prototyping, Domain-specific language, Computer Networks and Communications, Computer science, business.industry, Wireless network, Optimizing compiler, Software-defined radio, computer.software_genre, PHY, Embedded system, Wireless, Compiler, business, computer, Software
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8efaebe7bafa44abc176b2a91400d73eTest
https://doi.org/10.1145/2619239.2631427Test -
8
المؤلفون: Joshua A. Kroll, Andrew W. Appel, Gordon Stewart
المصدر: CSF
مصطلحات موضوعية: Intermediate language, Trustworthiness, Trusted computing base, Computer science, Software fault isolation, Programming language, Proof assistant, Operating system, Compiler, computer.software_genre, computer, Memory safety
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::8f42d882a556ae314c05dabc14b131d5Test
https://doi.org/10.1109/csf.2014.10Test -
9
المؤلفون: Sandrine Blazy, Lennart Beringer, Xavier Leroy, Aquinas Hobor, Josiah Dodds, Robert Dockins, Gordon Stewart, Andrew W. Appel
مصطلحات موضوعية: Horn clause, Description logic, Programming language, Functional logic programming, Computer science, Certification, Separation logic, Compiler, Ontology language, computer.software_genre, computer, Logic programming
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::2227527353f01594d9718ec2077d4010Test
https://doi.org/10.1017/cbo9781107256552.007Test -
10
المؤلفون: Josiah Dodds, Gordon Stewart, Sandrine Blazy, Xavier Leroy, Andrew W. Appel, Aquinas Hobor, Robert Dockins, Lennart Beringer
مصطلحات موضوعية: Compiler construction, Computer science, Programming language, Semantics (computer science), Separation logic, Compiler, Certification, Static analysis, computer.software_genre, computer, Logic programming, Axiomatic semantics
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::13736cc66bf8a16410e1182518e54090Test
https://doi.org/10.1017/cbo9781107256552.002Test