863 results on '"Program counter"'
Search Results
2. myCHIP-8 Emulator: An Innovative Software Testing Strategy for Playing Online Games in Many Platforms
3. HCIP: Hybrid Short Long History Table-based Cache Instruction Prefetcher.
4. Design and Implementation of a 32-Bit Incrementer-Based Program Counter
5. Advertising LED System Using PIC18F4550 Microcontroller and LED Lighting
6. An Observational Approach to Defining Linearizability on Weak Memory Models
7. What Makes Petri Nets Harder to Verify: Stack or Data?
8. Instruction Processor Design
9. Encoding Code
10. ARM Architecture and Programming
11. Interrupts and Exceptions Processing
12. Solidity Programming
13. Secure Computation of MIPS Machine Code
14. Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms
15. AUSPICE: Automatic Safety Property Verification for Unmodified Executables
16. A General Lattice Model for Merging Symbolic Execution Branches
17. Refactoring Preserves Security
18. Introduction
19. Z80 Explorer
20. Disseny d'un microprocessador en una FPGA basat en màquines algorítmiques
21. A Tamper and Leakage Resilient von Neumann Architecture
22. Modular Deductive Verification of Multiprocessor Hardware Designs
23. An Improved Machine Learning Approach for Selecting a Polyhedral Model Transformation
24. Foundations and Background
25. Microcontroller Design
26. Playing Hide-and-Seek with Virus Scanners
27. A Basic Sequential MIPS Machine
28. Microcode Verification – Another Piece of the Microprocessor Verification Puzzle
29. Mechanized, Compositional Verification of Low-Level Code
30. Embedded Peripherals
31. Microcomputer Organization
32. Program Flow Instructions
33. Formal Verification of Concurrent Embedded Software
34. Guard-Based Partial-Order Reduction
35. Improved State Space Reductions for LTL Model Checking of C and C++ Programs
36. Membrane Systems and Hypercomputation
37. A Fully Homomorphic Crypto-Processor Design : Correctness of a Secret Computer
38. Proof Pearl: A Verified Bignum Implementation in x86-64 Machine Code
39. FPGA Wireless Multimedia Sensor Node Hardware Platforms
40. UTLEON3 Implementation Details
41. Dynamic Optimization Techniques
42. Selection in the Presence of Memory Faults, with Applications to In-place Resilient Sorting
43. A Functional View of Imperative Information Flow
44. A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
45. Juggrnaut – An Abstract JVM
46. A Reversible Processor Architecture and Its Reversible Logic Design
47. On-the-Fly Inlining of Dynamic Dependency Monitors for Secure Information Flow
48. On the Correctness of the SIMT Execution Model of GPUs
49. Lazy Abstraction with Interpolants for Arrays
50. Advances in the TAU Performance System
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.