-
1
المساهمون: Engineering & Physical Science Research Council (EPSRC), Engineering & Physical Science Research Council (E, European Space Agency / Estec, Royal Academy Of Engineering, Imagination Technologies Ltd
المصدر: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 36:761-774
مصطلحات موضوعية: Technology, Computer Hardware & Architecture, Computer science, separation logic, Caching schemes, 02 engineering and technology, Parallel computing, 01 natural sciences, COMMUTATIVITY ANALYSIS, Engineering, Program analysis, high-level synthesis (HLS), field-programmable gate array (FPGA), 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Electrical and Electronic Engineering, Computer Science, Hardware & Architecture, Heap (data structure), 010302 applied physics, 1006 Computer Hardware, Science & Technology, Hardware_MEMORYSTRUCTURES, memory system, 0906 Electrical And Electronic Engineering, Cache-only memory architecture, Engineering, Electrical & Electronic, Memory bandwidth, dynamic data structures, Data structure, Computer Graphics and Computer-Aided Design, 020202 computer hardware & architecture, Memory management, Computer architecture, Pointer (computer programming), Computer Science, Computer Science, Interdisciplinary Applications, Cache, Software
-
2
المؤلفون: Kermin Fleming, Joel Emer, Hsin-Jung Yang, Michael Adler, Felix Winterstein
المصدر: FPL
مصطلحات موضوعية: 010302 applied physics, General Computer Science, Computer science, business.industry, Cache-only memory architecture, Registered memory, 02 engineering and technology, 01 natural sciences, Memory map, 020202 computer hardware & architecture, Non-uniform memory access, Memory management, Computer architecture, Shared memory, Embedded system, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Interleaved memory, business, Computer memory
-
3كتاب إلكتروني
المؤلفون: Felix Winterstein
نوع المادة: eBook.
تصنيفات: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Programming / Compilers, COMPUTERS / Logic Design, COMPUTERS / Hardware / General
-
4
المؤلفون: Felix Winterstein, George A. Constantinides
المساهمون: Engineering & Physical Science Research Council (E, Royal Academy Of Engineering, Imagination Technologies Ltd
المصدر: 2017 International Conference on Field-Programmable Technology
FPTمصطلحات موضوعية: Technology, Science & Technology, Computer Science, Information Systems, business.industry, Computer science, Engineering, Electrical & Electronic, 02 engineering and technology, Data structure, 020202 computer hardware & architecture, Software, Engineering, Computer architecture, Pointer (computer programming), Virtual memory, Computer Science, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Data center, Central processing unit, business, Field-programmable gate array, Implementation, SYSTEM
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::74b24ec7928f42a1216f97d6fb85cb32
http://hdl.handle.net/10044/1/53101 -
5
المؤلفون: Kermin Fleming, Felix Winterstein, Hsin-Jung Yang, Annie I. Chen, Joel Emer, Michael Adler
المصدر: FPGA
مصطلحات موضوعية: Hardware_MEMORYSTRUCTURES, Flat memory model, business.industry, Computer science, 020208 electrical & electronic engineering, Uniform memory access, Registered memory, Semiconductor memory, 02 engineering and technology, Memory map, 020202 computer hardware & architecture, Extended memory, Memory management, Computer architecture, Embedded system, 0202 electrical engineering, electronic engineering, information engineering, Interleaved memory, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5b84d9414bc743ab64fe3c7deb18cf2b
https://doi.org/10.1145/3020078.3021748 -
6
المؤلفون: Felix Winterstein
المصدر: Separation Logic for High-level Synthesis ISBN: 9783319532219
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::501cbeb080eb26129f1c006972bed2f1
https://doi.org/10.1007/978-3-319-53222-6_6 -
7
المؤلفون: Felix Winterstein
المصدر: Separation Logic for High-level Synthesis ISBN: 9783319532219
مصطلحات موضوعية: Memory interface, Hardware_MEMORYSTRUCTURES, Memory hierarchy, Interface (Java), Computer science, CPU cache, Satisfiability modulo theory solver, Cache, Parallel computing, Field-programmable gate array, Symbolic execution
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8fdbb872b93b95c04add1038f29c459d
https://doi.org/10.1007/978-3-319-53222-6_5 -
8
المؤلفون: Felix Winterstein
المصدر: Separation Logic for High-level Synthesis ISBN: 9783319532219
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::eec65b15e5c7d5b6421feb03198a457f
https://doi.org/10.1007/978-3-319-53222-6_1 -
9
المؤلفون: Felix Winterstein
المصدر: Separation Logic for High-level Synthesis ISBN: 9783319532219
مصطلحات موضوعية: Computer science, Static program analysis, Separation logic, Parallel computing, Software_PROGRAMMINGTECHNIQUES, Dependence analysis, Symbolic execution, computer.software_genre, Partition (database), ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, Compiler, Field-programmable gate array, computer, Heap (data structure)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8912b75c0129d511bf28b95ec5010bce
https://doi.org/10.1007/978-3-319-53222-6_4 -
10
المؤلفون: Felix Winterstein
المصدر: Separation Logic for High-level Synthesis ISBN: 9783319532219
مصطلحات موضوعية: 010302 applied physics, Scope (project management), Computer science, C dynamic memory allocation, 02 engineering and technology, 01 natural sciences, Quality of results, 020202 computer hardware & architecture, Tree traversal, Control flow, Computer engineering, High-level synthesis, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION, Implementation, Hardware_LOGICDESIGN
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::66b92c16ad754563c511af8fb4d3ad0b
https://doi.org/10.1007/978-3-319-53222-6_2