The university library will be closed from December 20, 2025 to January 11, 2026. From January 12, 2026, regular opening hours will apply again. Exception: The main medical library and the central library will be open again from January 5, 2026. Further information

Showing 1 - 20 of 230,526

1

Spatial-Temporal Embodied Carbon Models With Dual Carbon Attribution for Embodied Carbon Accounting of Computer Systems
Zhang, X. ; Yang, Y. ; Wang, D.
IEEE Transactions on Computers IEEE Trans. Comput. Computers, IEEE Transactions on. 74(12):4037-4049 Dec, 2025

Academic journal
2

Enhancing Data Storage Reliability and Error Correction in Multilevel NOR and NAND Flash Memories Through Optimal Design of BCH Codes.
Nabipour, Saeideh ; Javidan, Javad
Journal of Circuits, Systems & Computers. 11/30/2025, Vol. 34 Issue 17, p1-25. 25p.

COMPUTER hardware descri... ERROR-correcting codes DATA warehousing PARALLEL processing TRANSISTORS
Academic journal
3

A quantitative analysis on the verification of cache coherence based SV assertions.
Veeravalli, Venkata Rao ; Battula, Siva Nageswara Rao ; Lakshminarayana, Sastry Dhavala Venkata ; et al.
AIP Conference Proceedings. 2025, Vol. 3342 Issue 1, p1-5. 5p.

VERILOG (Computer hardwa... ASSERTIONS (Logic) VERIFICATION of computer... MULTIPROCESSORS DATA integrity
Conference
4

The Trend Toward Shift-Left and Shift-Right
Software Defined Vehicles. Oct 03, 2025

Book
5

A fog-based anonymous authentication scheme with location privacy for wireless body area network with FPGA implementation.
Rajasekaran, Arun Sekar ; Azees, M.
International Journal of Information Security. Feb2024, Vol. 23 Issue 1, p1-13. 13p.

Academic journal
6

Directed Test Generation for Hardware Validation: A Survey.
Jayasena, Aruna ; Mishra, Prabhat
ACM Computing Surveys. May2024, Vol. 56 Issue 5, p1-36. 36p.

Academic journal
7

Multi-Partner Project: Key Enabling Technologies for Cognitive Computing Continuum - MYRTUS Project Perspective
Palumbo, Francesca ; Ratto, Francesco ; Rubattu, Claudio ; et al.
2025 Design, Automation & Test in Europe Conference (DATE) Design, Automation & Test in Europe Conference (DATE), 2025. :1-7 Mar, 2025

Conference
8

硬件描述语言代码缺陷自动调试技术研究综述.
徐建军 ; 何枷瑜 ; 吴 江 ; et al.
Computer Engineering & Science / Jisuanji Gongcheng yu Kexue. Oct2025, Vol. 47 Issue 10, p1799-1809. 11p.

COMPUTER hardware descri... DEBUGGING DEFECT tracking (Compute... INTEGRATED circuit verif... FAILURE analysis
Academic journal
9

PyHLS: Intermediate Representation for Versatile High-Level Synthesis.
Cieszewski, Radoslaw
International Journal of Electronics & Telecommunications. 2025, Vol. 71 Issue 4, p1-7. 9p.

AUDITING VHDL (Computer hardware... ELECTRONIC design automa... SOFTWARE compatibility PYTHON programming langu... FIELD programmable gate...
Academic journal
10

Foundations of Agricultural AI
Emerging Smart Agricultural Practices Using Artificial Intelligence. Jul 02, 2025

Book
11

Inspection
Automated Fiber Placement. Jun 30, 2025

Book
13

FT-Format: 一种可配置的硬件代码快速格式化工具.
陈桂湘 ; 刘胜 ; 郭阳
Computer Engineering & Science / Jisuanji Gongcheng yu Kexue. Jun2025, Vol. 47 Issue 6, p958-967. 10p.

COMPUTER hardware descri... INTEGRATED circuit desig... MAINTAINABILITY (Enginee... ALGORITHMS HARDWARE
Academic journal
14

Automatic Generation of Synthesisable Hardware Description Language Code of Multi-Sequence Detector Using Grammatical Evolution.
Majeed, Bilal ; Sarma, Rajkumar ; Youssef, Ayman ; et al.
Algorithms. Jun2025, Vol. 18 Issue 6, p345. 27p.

SEQUENTIAL circuits COMPUTER hardware descri... ELECTRONIC design automa... FINITE state machines ROBOT control systems
Academic journal
15

Hardware-accelerated neural network model for early prediction of sudden cardiac arrest based on heart rate variability metrics.
Pan, Sheng-Yueh ; Nguyen, Duc Huy ; Chao, Paul C.-P.
Microsystem Technologies. May2025, Vol. 31 Issue 5, p1231-1245. 15p.

ARTIFICIAL neural networ... VERILOG (Computer hardwa... MEDICAL sciences HEART beat CORONARY circulation
Academic journal
16

Affordable HPC: Leveraging Small Clusters for Big Data and Graph Computing
WU, Ruilong ; Wang, Yisu ; KUTSCHER, Dirk
2024 International Symposium on Parallel Computing and Distributed Systems (PCDS) Parallel Computing and Distributed Systems (PCDS), 2024 International Symposium on. :1-9 Sep, 2024

Conference
17

Tightly-integrated quantum–classical computing using the QHDL hardware description language.
Netzer, Gilbert ; Hegde, Pratibha Raghupati ; Peng, Ivy ; et al.
Future Generation Computer Systems. Jan2026, Vol. 174, pN.PAG-N.PAG. 1p.

Academic journal
18

Wearable computing applications in eHealth
Leutheuser, Heike

Wearable Computing Smart Device Funktionsdiagnostik Wearable Computer Gesundheitstelematik Human–computer interacti...
eBook
19

Slow Electronics with Reservoir Computing
Inoue, Isao H.

Open Access Neuromorphic Computing Edge Computing Reservoir Computing Slow Electronics Spiking Neural Networks
eBook
20

DIGITAL PROCESSING OF DYNAMIC IMAGES
Computer Analysis of Images and Patterns. Dec 09, 2024

Book

Filter