Font Size: a A A
Keyword [assembly code]
Result: 1 - 11 | Page: 1 of 1
1. Certifying The Safety Of Assembly Pointer Programs
2. Verification Of Low-level Concurrent Code With Several Synchronization Mechanisms
3. Design And Implementation Of J2A Audio Player
4. Research On Tracking Approach To Weak Small Target Of Sea-sky Background
5. A Method To Generate Assertion And Proof About Assembly Language Certifying Compiler
6. Research On Reliability Evaluation For Component-based Software System
7. Research And Implementation Of Code Generation And Related Optimization Technology For Stack Computer
8. The Design And Implementation Of C Complier Intermediate Code Generation And Backend
9. Formal Verification Of SPARCv8 Assembly Code
10. Optimizations Of Scientific Kernels On SW26010 Many-core Processor
11. Dependent types for assembly code safety
  <<First  <Prev  Next>  Last>>  Jump to