|
45
|
Machine descriptions to build tools for embedded systems
– Norman Ramsey, Jack W. Davidson
- 1998
|
|
28
|
A Formal Model and Specification Language for Procedure Calling Conventions
– Mark W. Bailey, Jack W. Davidson
- 1994
|
|
315
|
Shade: A Fast Instruction-Set Simulator for Execution Profiling
– Bob Cmelik , David Keppel
- 1994
|
|
22
|
S.: Specifying the semantics of machine instructions
– C Cifuentes, Sendall
- 1998
|
|
86
|
ISDL: An Instruction Set Description Language for Retargetability
– George Hadjiyiannis, Silvina Hanono, Srinivas Devadas
- 1997
|
|
123
|
EXPRESSION: A language for architecture exploration through compiler/simulator retargetability
– Ashok Halambi, Peter Grun, Vijay Ganesh, Asheesh Khare
- 1999
|
|
48
|
The New Jersey Machine-Code Toolkit
– Norman Ramsey, Mary F. Fernandez
- 1995
|
|
150
|
A portable global optimizer and linker
– Manuel E Benitez, Jack W Davidson
- 1988
|
|
20
|
The Design of a Resourceable and Retargetable Binary Translator
– C Cifuentes, M Van Emmerik, N Ramsey
- 1999
|
|
88
|
Binary translation
– Richard L. Sites, Anton Chernoff, Matthew B. Kirk, Maurice P. Marks, Scott G. Robinson
- 1993
|
|
43
|
A Retargetable Debugger
– Norman Ramsey
- 1992
|
|
69
|
Digital FX!32: combining emulation and binary translation
– R J HOOKWAY, M A HERDEG
- 1997
|
|
254
|
EEL: Machine-Independent Executable Editing
– James R Larus, Eric Schnarr
- 1995
|
|
74
|
Describing Instruction Set Processors Using nML
– A. Fauth, J. Van Praet, M. Freericks
- 1995
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
9
|
TDL - A Hardware and Assembly Description Language
– Daniel Kästner
- 2000
|
|
44
|
Machine Description Formalism
– Markus Freericks
|
|
35
|
LISA - Machine Description Language and Generic Machine Model for HW/SW Co-Design
– Vojin Zivojnovic, Stefan Pees, Heinrich Meyr
- 1996
|
|
31
|
A Processor Description Language Supporting Retargetable Multi-Pipeline DSP Program Development Tools
– C Siska
- 1998
|
