|
Journals in DBLP
Preface. [Citation Graph (, )][DBLP]
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems. [Citation Graph (, )][DBLP]
Efficient exception handling in Java bytecode-to-C ahead-of-time compiler for embedded systems. [Citation Graph (, )][DBLP]
A new code generation algorithm for 2-offset producer order queue computation model. [Citation Graph (, )][DBLP]
CASL: A rapid-prototyping language for modern micro-architectures. [Citation Graph (, )][DBLP]
|