Search

Your search keyword '"Adir, Allon"' showing total 50 results

Search Constraints

Start Over You searched for: Author "Adir, Allon" Remove constraint Author: "Adir, Allon"
50 results on '"Adir, Allon"'

Search Results

1. Power-Softmax: Towards Secure LLM Inference over Encrypted Data

6. Introduction to Data Science

9. Case Study: Neural Networks

11. Modern HE: Security Models

13. Privacy-preserving record linkage using local sensitive hash and private set intersection

14. HeLayers: A Tile Tensors Framework for Large Neural Networks on Encrypted Data

15. A Cloud-Based Anomaly Detection for IoT Big Data

19. ELECTRON: An Architectural Framework for Securing the Smart Electrical Grid with Federated Detection, Dynamic Risk Assessment and Self-Healing

21. A New Test-Generation Methodology for System-Level Verification of Production Processes

22. Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors

23. Dynamic Test Data Generation for Data Intensive Applications

25. Advances in Simultaneous Multithreading Testcase Generation Methods

26. Reaching Coverage Closure in Post-silicon Validation

31. Information-flow models for shared memory with an application to the PowerPC architecture

35. Verification of Transactional Memory in POWER8

37. Verification of transactional memory in POWER8.

39. Threadmill

44. VLIW

45. Threadmill.

47. Threadmill: A Post-Silicon Exerciser for Multi-Threaded Processors.

48. VLIW.

50. Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification.

Catalog

Books, media, physical & digital resources