Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dachuan Yu
Using XCAP to Certify Realistic Systems Code: Machine Context Management
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Building Certified Libraries for PCC: Dynamic Storage Allocation
Related publications
Process Recommendation Using Context in Crisis Management: Application to Flood Management
Preference-Based Inconsistency Management in Multi-Context Systems
Journal of Artificial Intelligence Research
Artificial Intelligence
Scientific Knowledge Management in Socio-Environmental Systems Context
TripleC
Communication
Computer Science Applications
Representing Context in Abbreviation Expansion Using Machine Learning Approach
Using Memory Management to Detect and Extract Illegitimate Code for Malware Analysis
Adaptive Multimedia Systems Based on Intelligent Context Management
International Journal of Adaptive and Innovative Systems
Context Management With Topics for Spoken Dialogue Systems
Polymorphic Type Inference for Machine Code
ACM SIGPLAN Notices
Computer Science
Directed Proof Generation for Machine Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
