12 results on '"Vojnar, Tomas"'
Search Results
2. Designing Approximate Arithmetic Circuits with Combined Error Constraints
3. Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects
4. Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata
5. Template-Based Verification of Heap-Manipulating Programs
6. The AQUAS ECSEL Project
7. Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished
8. Verifying Concurrent Programs Using Contracts
9. Session details: Volume II: Software design and development, and system software and security: Multicore software engineering, performance, applications and tools track
10. On Some Directions in Security-Oriented Research
11. Tool Demonstration of the FLATA Counter Automata Toolset
12. Antiprenexing for WSkS: A Little Goes a Long Way
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.