Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by G.R. Gao
A Theory for Software-Hardware Co-Scheduling for ASIPs and Embedded Processors
Hierarchical Multithreading: Programming Model and System Software
Related publications
Timing Analysis of Embedded Software for Speculative Processors
Architectural Support for Safe Software Execution on Embedded Processors
Embedded Software Verification in Hardware–software Codesign
Journal of Systems Architecture
Hardware
Architecture
Software
A Principled Kernel Testbed for Hardware/Software Co-Design Research
A Technique Against Buffer Overflow Attacks for Embedded Systems Via., Hardware/Software
Information Technology Journal
Hardware/Software Co-Design for Energy-Efficient Seismic Modeling
Mapping Statecharts to Verilog for Hardware/Software Co-Specification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Methodology for Hardware/Software Co-Verification in C/C++
A Basic Linear Algebra Compiler for Embedded Processors
