Publikatsioonid

Sensor-Location-Specific Joint Acquisition of Peripheral Artery Bioimpedance and Photoplethysmogram for Wearable Applications

Väljaanne: Sensors
Aasta: 2023
Loe artiklit

On-Desk Model-Based Study for Evaluating the Effect of Squeezing the Arteries in Forearm on the Bioimpedance and Pressure of Blood

Väljaanne: Journal of Sensors
Aasta: 2023
Loe artiklit

Improved PWM Based Sinewave Generation: Example of the Impedance Measurement

Väljaanne: Automatic Control and Computer Sciences
Aasta: 2023
Loe artiklit

DeepVigor: VulnerabIlity Value Ranges and Factors for DNNs’ Reliability Assessment

Väljaanne: 28th IEEE European Test Symposium (ETS)
Aasta: 2023
Loe artiklit

DeepAxe: A Framework for Exploration of Approximation and Reliability Trade-offs in DNN Accelerators

Väljaanne: 24th International Symposium on Quality Electronic Design (ISQED'23)
Aasta: 2023
Loe artiklit

ML-Based Online Design Error Localization for RISC-V Implementations

Väljaanne: IEEE 29th International Symposium on On-Line Testing and Robust System Design (IOLTS)
Aasta: 2023
Loe artiklit

Understanding fault-tolerance vulnerabilities in advanced SoC FPGAs for critical applications

Väljaanne: Microelectronics Reliability
Aasta: 2023
Loe artiklit

On-Chip Sensors Data Collection and Analysis for SoC Health Management

Väljaanne: 36th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)
Aasta: 2023
Loe artiklit

Zero-knowledge in Easycrypt

Väljaanne: 2023 IEEE 36th Computer Security Foundations Symposium (CSF): Dubrovnik, Croatia, July 9-13, 2023. IEEE, 1?16. DOI: 10.1109/CSF57540.2023.00015.? ?https://www.etis.ee/Portal/Publications/Display/89be8959-e64a-4dd0-a3e2-0c7dcc8f0465?? ???Haselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hri?cu, C?t?lin; Maillard, Kenji; Spitters, Bas (2023). SSProve: a foundational framework for modular cryptographic proofs in Coq. ACM Transactions on Programming Languages and Systems, 45 (3), art. no. 15 ?61 pp. DOI: 10.1145/3594735.? ?https://www.etis.ee/Portal/Publication
Aasta: 2023
Loe artiklit

SSProve: a foundational framework for modular cryptographic proofs in Coq

Väljaanne: ACM Transactions on Programming Languages and Systems
Aasta: 2023
Loe artiklit
Filters
Filters
Show (281)
Cancel