-
1
المؤلفون: Dong, Ning
المساهمون: Guanciale, Roberto, Associate professor, Dam, Mads, Professor, 1955, Myreen, Magnus, Professor
المصدر: TRITA-EECS-AVL.
مصطلحات موضوعية: Formal Verification, Information Flow, Refinement, Interactive Theorem Prover, HOL4, Serial Interface, Pipelined Processor, Microarchitecture, Out-of-order Execution, Formell Verifiering, Informationsflöde, Förfining, Interaktiva Bevisprogrammet, Seriellt Gränssnitt, Mikroarkitektur, Omordnad Exekvering, Datalogi, Computer Science
وصف الملف: electronic
-
2Academic Journal
المؤلفون: Shing Hing William Cheng, Chitchanok Chuengsatiansup, Daniel Genkin, Dallas McNeil, Toby Murray, Yuval Yarom, Zhiyuan Zhang
المصدر: Transactions on Cryptographic Hardware and Embedded Systems, Vol 2024, Iss 3 (2024)
مصطلحات موضوعية: Cache-timing attacks, out-of-order execution, AES, Computer engineering. Computer hardware, TK7885-7895, Information technology, T58.5-58.64
وصف الملف: electronic resource
-
3Academic Journal
المؤلفون: Ertl, M. Anton, Paysan, Bernd
المساهمون: M. Anton Ertl and Bernd Paysan
مصطلحات موضوعية: virtual machine, interpreter, out-of-order execution
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 313, 38th European Conference on Object-Oriented Programming (ECOOP 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.14
-
4Conference
المؤلفون: Elakhras, Ayatallah, Guerrieri, Andrea, Josipović, Lana, Ienne, Paolo
المصدر: FPGA '24: Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays
مصطلحات موضوعية: high-level synthesis, dataflow, out-of-order execution
وصف الملف: application/application/pdf
Relation: info:eu-repo/semantics/altIdentifier/isbn/979-8-4007-0418-5; http://hdl.handle.net/20.500.11850/670485; urn:isbn:979-8-4007-0418-5
-
5Conference
المساهمون: Universitat Politècnica de Catalunya. Doctorat en Arquitectura de Computadors, Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya. ARCO - Microarquitectura i Compiladors
مصطلحات موضوعية: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Graphics processing units, Memory management (Computer science), Energy consumption, GPGPU, Out-of-order execution, Microarchitecture, Issue logic, Unitats de processament gràfic, Gestió de memòria (Informàtica), Energia -- Consum
وصف الملف: 6 p.; application/pdf
Relation: info:eu-repo/grantAgreement/EC/H2020/833057/EU/CoCoUnit: An Energy-Efficient Processing Unit for Cognitive Computing/CoCoUnit; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2020-113172RB-I00/ES/ARQUITECTURAS DE DOMINIO ESPECIFICO PARA SISTEMAS DE COMPUTACION ENERGETICAMENTE EFICIENTES/; Huerta, R.; Arnau, J.; Gonzalez, A. Simple out of order core for GPGPUs. A: Workshop on General Purpose Processing Using GpUs. "GPGPU 2023, the 15th Workshop on General Purpose Processing Using GPU (GPGPU 2023): February 25, 2023, Montreal, Canada". New York: Association for Computing Machinery (ACM), 2023, p. 21-26. ISBN 979-8-4007-0776-6. DOI 10.1145/3589236.3589244.; 979-8-4007-0776-6; http://hdl.handle.net/2117/389957
-
6
المؤلفون: Sakalis, Christos, 1990
المساهمون: Själander, Magnus, Associate Professor, 1977, Jimborean, Alexandra, Researcher, Kaxiras, Stefanos, Torrellas, Josep, Saburo Muroga Professor
المصدر: Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology.
مصطلحات موضوعية: computer architecture, speculative execution, processor, security, out-of-order execution, side-channel, microarchitectural replay, microarchitecture, Delay-on-Miss, Ghosts, Delay-on-Squash, Computer Science, Datavetenskap
وصف الملف: electronic
-
7Dissertation/ Thesis
المؤلفون: Salamero Sanz, Javier
المساهمون: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors, Moretó Planas, Miquel, Mendoza Escobar, Jonnatan
مصطلحات موضوعية: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Àrees temàtiques de la UPC::Informàtica::Hardware, RISC microprocessors, Verilog (Computer hardware description language), Microarquitectura, Ejecución fuera de orden, Procesadores superescalares, Multithreading, RISC-V, Frontend, Diseño Hardware, Verificación, SystemVerilog, HLib, CoCoTB, Micro-architecture, Out-of-Order execution, Superscalar processors, Hardware design, Verification, RISC (Microprocessadors), Verilog (Llenguatge de descripció del maquinari)
وصف الملف: application/pdf
Relation: http://hdl.handle.net/2117/418406; 188448
الاتاحة: http://hdl.handle.net/2117/418406
-
8
المؤلفون: Palmskog, Karl, Yao, Xiaomo, Dong, Ning, Guanciale, Roberto, Dam, Mads, 1955
المصدر: Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022 Formal Methods in Computer-Aided Design. :129-138
مصطلحات موضوعية: HOL4, information flow, interactive theorem proving, microarchitectures, out-of-order execution
وصف الملف: print
-
9
المؤلفون: Savong Bou, Hiroyuki Kitagawa, Toshiyuki Amagasa
المصدر: IEEE Transactions on Knowledge and Data Engineering. 34:5239-5250
مصطلحات موضوعية: Data processing, Out-of-order execution, Computer science, Data stream mining, business.industry, Distributed computing, Search engine indexing, Big data, Computer Science Applications, Stream processing, Computational Theory and Mathematics, Sliding window protocol, Scalability, business, Information Systems
-
10Academic Journal
المؤلفون: Alipour, M, Carlson, T.E, Black-Schaffer, D, Kaxiras, S
المساهمون: DEPT OF COMPUTER SCIENCE
المصدر: Unpaywall 20201031
مصطلحات موضوعية: Hardware, Information systems, Efficient implementation, General-purpose computations, Memory consistency models, Memory hierarchy, Out of order, Out-of-order execution, Performance evaluations, Superscalar Processor, Memory architecture
Relation: Alipour, M, Carlson, T.E, Black-Schaffer, D, Kaxiras, S (2019). Maximizing Limited Resources: a Limit-Based Study and Taxonomy of Out-of-Order Commit. Journal of Signal Processing Systems 91 (43558) : 379-397. ScholarBank@NUS Repository. https://doi.org/10.1007/s11265-018-1369-4; https://scholarbank.nus.edu.sg/handle/10635/178044
-
11
المؤلفون: Dimitrios Soudris, Konstantinos Iliakis, Sotirios Xydis
المصدر: IEEE Transactions on Parallel and Distributed Systems 33.2
مصطلحات موضوعية: Out-of-order execution, Speedup, Computational Theory and Mathematics, Parallel processing (DSP implementation), Hardware and Architecture, Computer science, Signal Processing, Parallelism (grammar), Overhead (computing), Context (language use), Parallel computing, Throughput (business), Context switch
-
12
المؤلفون: Keiichi Sato, Jubee Tada
المصدر: CANDAR (Workshops)
مصطلحات موضوعية: 010302 applied physics, Out-of-order execution, Computer science, 02 engineering and technology, Grid, 01 natural sciences, Square (algebra), 020202 computer hardware & architecture, Computational science, 0103 physical sciences, RISC-V, 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), Execution unit, Field-programmable gate array, Geographic coordinate system
-
13
المؤلفون: Iznardo Ruiz, Alejandro
المساهمون: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors, Moreto Planas, Miquel, Hernández Calderón, César, Mendoza Escobar, Jonnatan
مصطلحات موضوعية: Execució fora d'ordre, Out-of-Order execution, Verification, Eficiència energètica, Maquinari, instruction queue, Hardware, Energy efficiency, High performance computing, Microarquitectura, Cua d'instruccions, Disseny de maquinari, SystemVerilog, Microarchitecture, Verificació, Hardware design, Informàtica::Arquitectura de computadors [Àrees temàtiques de la UPC], Càlcul intensiu (Informàtica)
وصف الملف: application/pdf
-
14
المؤلفون: Guangyuan Hu, Zecheng He, Ruby B. Lee
مصطلحات موضوعية: FOS: Computer and information sciences, Out-of-order execution, Computer Science - Cryptography and Security, Computer science, business.industry, Speculative execution, Covert channel, ComputerApplications_COMPUTERSINOTHERSYSTEMS, Software, Hardware Architecture (cs.AR), Code (cryptography), Leverage (statistics), Overhead (computing), business, Computer Science - Hardware Architecture, Cryptography and Security (cs.CR), Scope (computer science), Computer hardware
-
15
المؤلفون: Robert P. Colwell
المصدر: IEEE Micro. 41:37-41
مصطلحات موضوعية: Instruction set, Out-of-order execution, Reduced instruction set computing, Hardware and Architecture, Computer science, business.industry, x86, Electrical and Electronic Engineering, Architecture, Software engineering, business, Software, Microarchitecture
-
16
المؤلفون: Prabhat Mishra, Abhijit Das, John Jose
المصدر: IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 29:1675-1679
مصطلحات موضوعية: Very-large-scale integration, Out-of-order execution, Computer science, business.industry, Core (game theory), Many core, Network on a chip, Criticality, Hardware and Architecture, Multithreading, Embedded system, Electrical and Electronic Engineering, Latency (engineering), business, Software
-
17
المؤلفون: Eka Chattra, Obrin Candra Brillyant
المصدر: ACMIT Proceedings. 7:6-13
مصطلحات موضوعية: Password, Scheme (programming language), Source code, Out-of-order execution, Exploit, CPU cache, Computer science, Applied Mathematics, media_common.quotation_subject, Vulnerability, Cyber-physical system, Computer security, computer.software_genre, computer, media_common, computer.programming_language
-
18
المؤلفون: Peinan Li, Lixin Zhang, Dan Meng, Rui Hou, Lutan Zhao, Peng Liu, Michael C. Huang
المصدر: IEEE Transactions on Computers. 70:963-978
مصطلحات موضوعية: Out-of-order execution, Computer science, Pipeline (computing), Speculative execution, 02 engineering and technology, Privilege (computing), Hazard (computer architecture), Computer security, computer.software_genre, 020202 computer hardware & architecture, Theoretical Computer Science, Microarchitecture, Computational Theory and Mathematics, Hardware and Architecture, 0202 electrical engineering, electronic engineering, information engineering, Cache, Hardware_CONTROLSTRUCTURESANDMICROPROGRAMMING, Speculation, computer, Software
-
19
المؤلفون: Qiming Sun, Huijun Gao, Huihui Pan, Weichao Sun
المصدر: Chinese Journal of Mechanical Engineering, Vol 34, Iss 1, Pp 1-11 (2021)
مصطلحات موضوعية: Computer science, Object detection, Reliability (computer networking), Real-time computing, Autonomous vehicles, 02 engineering and technology, Fault (power engineering), Fault diagnosis and tolerance, Industrial and Manufacturing Engineering, 0202 electrical engineering, electronic engineering, information engineering, Redundancy (engineering), TJ1-1570, Mechanical engineering and machinery, TC1501-1800, Out-of-order execution, business.industry, Mechanical Engineering, Deep learning, 020208 electrical & electronic engineering, Fault tolerance, Data fusion, Sensor fusion, Ocean engineering, Key (cryptography), 020201 artificial intelligence & image processing, Artificial intelligence, business
-
20
المؤلفون: Jianxin Wang, Tian He, Weihe Li, Jiawei Huang, Lyu Wenjun
المصدر: IEEE/ACM Transactions on Networking. 29:1183-1196
مصطلحات موضوعية: Queueing theory, Out-of-order execution, Computer Networks and Communications, Computer science, business.industry, Network packet, ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS, 020206 networking & telecommunications, Throughput, 02 engineering and technology, Load balancing (computing), Network topology, Computer Science Applications, Load management, Tree (data structure), 0202 electrical engineering, electronic engineering, information engineering, Electrical and Electronic Engineering, business, Software, Computer network
