-
1
-
-
84889573763
-
XASM - An extensible, component-based abstract state machines language
-
In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, editors, Springer
-
M. Anlauff. XASM - an extensible, component-based abstract state machines language. In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, editors, International Workshop on Abstract State Machines, Lecture Notes on Computer Science (LNCS), pages 69-90. Springer, 2000.
-
(2000)
International Workshop on Abstract State Machines, Lecture Notes on Computer Science (LNCS)
, pp. 69-90
-
-
Anlauff, M.1
-
2
-
-
85028065188
-
Hierarchical microprocessor design using XASM
-
Las Palmas de Gran Canaria, Canary Islands, Spain, February
-
M. Anlauff, D. Fischer, P. Kutter, J. Teich, and R. Weper. Hierarchical microprocessor design using XASM. In Formal Methods and Tools for Computer Science, Proceedings of the 8th International Conference on Computer Aided Systems Theory and Technology (EUROCAST 2001), pages 271-274, Las Palmas de Gran Canaria, Canary Islands, Spain, February 2001.
-
(2001)
Formal Methods and Tools for Computer Science, Proceedings of the 8th International Conference on Computer Aided Systems Theory and Technology (EUROCAST 2001)
, pp. 271-274
-
-
Anlauff, M.1
Fischer, D.2
Kutter, P.3
Teich, J.4
Weper, R.5
-
3
-
-
85028061825
-
-
http://www-date.upb.de/RESEARCH/BUILDABONG/buildabong.html
-
-
-
-
4
-
-
85028052216
-
-
http://www.ace.nl/products/cosy.html
-
-
-
-
5
-
-
0002802394
-
Beyond tool-specific machine descriptions
-
In P. Marwedel and G. Goossens, editors, Kluwer Academic Publishers
-
A. Fauth. Beyond tool-specific machine descriptions. In P. Marwedel and G. Goossens, editors, Code Generation for Embedded Processors, pages 138-152. Kluwer Academic Publishers, 1995.
-
(1995)
Code Generation for Embedded Processors
, pp. 138-152
-
-
Fauth, A.1
-
6
-
-
84922718399
-
Describing instruction set processors using nML
-
March
-
A. Fauth, J. Van Praet, and M. Freericks. Describing instruction set processors using nML. In Proceedings on the European Design and Test Conference, Paris, France, pages 503-507, March 1995.
-
(1995)
Proceedings on the European Design and Test Conference, Paris, France
, pp. 503-507
-
-
Fauth, A.1
Van Praet, J.2
Freericks, M.3
-
8
-
-
0013003171
-
Programmable chips in consumer electronics and telecommunications. in G. de Micheli and M. Sami editors
-
Kluwer Academic Publishers
-
G. Goossens, J. Van Praet, D. Lanneer, W. Geurts, and F. Thoen. Programmable chips in consumer electronics and telecommunications. In G. de Micheli and M. Sami, editors, Hardware/Software Co-Design, volume 310 of NATO ASI Series E: Applied Sciences, pages 135-164. Kluwer Academic Publishers, 1996.
-
(1996)
Hardware/Software Co-Design, Volume 310 of NATO ASI Series E: Applied Sciences
, pp. 135-164
-
-
Goossens, G.1
Van Praet, J.2
Lanneer, D.3
Geurts, W.4
Thoen, F.5
-
9
-
-
0002017107
-
Evolving algebras 1993: Lipari guide
-
E. Börger, editor, Oxford University Press
-
Y. Gurevich. Evolving algebras 1993: Lipari guide. In E. Börger, editor, Specification and Validation Methods, pages 9-36, Oxford University Press, 1995.
-
(1995)
Specification and Validation Methods
, pp. 9-36
-
-
Gurevich, Y.1
-
10
-
-
84893597192
-
Expression: A language for architecture exploration through compiler/simulator retargetability
-
A. Halambi, P. Grun, A. Khare, V. Ganesh, N. Dutt, and A. Nicolau. Expression: A language for architecture exploration through compiler/simulator retargetability. In Proceedings Design Automation and Test in Europe (DATE'1999), 1999.
-
(1999)
Proceedings Design Automation and Test in Europe (DATE'1999)
-
-
Halambi, A.1
Grun, P.2
Khare, A.3
Ganesh, V.4
Dutt, N.5
Nicolau, A.6
-
12
-
-
85028053992
-
-
http://ls12-www.informatik.uni-dortmund.de/fileupers/lanceV2/lanceV2.html
-
-
-
-
13
-
-
0002421081
-
Chess: Retargetable code generation for embedded dsp processors
-
P. Marwedel and G. Goossens, editors, Kluwer Academic Publishers
-
D. Lanneer, J. Van Praet, A. Kifli, K. Schoofs, W. Geurts, F. Thoen, and G. Goossens. Chess: Retargetable code generation for embedded dsp processors. In P. Marwedel and G. Goossens, editors, Code Generation for Embedded Processors, pages 85-102. Kluwer Academic Publishers, 1995.
-
(1995)
Code Generation for Embedded Processors
, pp. 85-102
-
-
Lanneer, D.1
Van Praet, J.2
Kifli, A.3
Schoofs, K.4
Geurts, W.5
Thoen, F.6
Goossens, G.7
-
14
-
-
0001908684
-
Flexware: A flexible firmware development environment for embedded systems
-
P. Marwedel and G. Goossens, editors, Kluwer Academic Publishers
-
P. Paulin, C. Liem, T. May, and S. Sutarwala. Flexware: A flexible firmware development environment for embedded systems. In P. Marwedel and G. Goossens, editors, Code Generation for Embedded Processors, pages 67-84. Kluwer Academic Publishers, 1995.
-
(1995)
Code Generation for Embedded Processors
, pp. 67-84
-
-
Paulin, P.1
Liem, C.2
May, T.3
Sutarwala, S.4
-
16
-
-
84957716747
-
A comparison of modulo scheduling techniques for software pipelining
-
Lecture Notes in Computer Science, Springer-Verlag
-
P. Pfahler and G. Piepenbrock. A Comparison of Modulo Scheduling Techniques for Software Pipelining. In Proc. 6th International Conference on Compiler Construction, CC'96, volume 1060, pages 18-32. Lecture Notes in Computer Science, Springer-Verlag, 1996.
-
(1996)
Proc. 6th International Conference on Compiler Construction, CC'96
, vol.1060
, pp. 18-32
-
-
Pfahler, P.1
Piepenbrock, G.2
-
18
-
-
22044447788
-
VLIW compilation techniques for superscalar architectures
-
In K. Koskimies, editor, Springer, March
-
E. Stümpel, M. Thies, and U. Kastens. VLIW compilation techniques for superscalar architectures. In K. Koskimies, editor, Proceedings 7th International Conference on Compiler Construction CC'98, number 1383 in Lecture Notes in Computer Science, pages 234-248. Springer, March 1998.
-
(1998)
Proceedings 7th International Conference on Compiler Construction CC'98, Number 1383 in Lecture Notes in Computer Science
, pp. 234-248
-
-
Stümpel, E.1
Thies, M.2
Kastens, U.3
-
19
-
-
84889578929
-
Description and simulation of microprocessor instruction sets using asms
-
In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, editors, Springer
-
J. Teich, P. Kutter, and R. Weper. Description and simulation of microprocessor instruction sets using asms. In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, editors, International Workshop on Abstract State Machines, Lecture Notes on Computer Science (LNCS), pages 266-286. Springer, 2000.
-
(2000)
International Workshop on Abstract State Machines, Lecture Notes on Computer Science (LNCS)
, pp. 266-286
-
-
Teich, J.1
Kutter, P.2
Weper, R.3
-
20
-
-
0034592331
-
A joined architecture/compiler design environment for ASIPs
-
San Jose, CA, U.S.A., November
-
J. Teich, R. Weper, D. Fischer, and S. Trinkert. A joined architecture/compiler design environment for ASIPs. In ACM SIG Proceedings International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES 2000), pages 26-33, San Jose, CA, U.S.A., November 2000.
-
(2000)
ACM SIG Proceedings International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES 2000)
, pp. 26-33
-
-
Teich, J.1
Weper, R.2
Fischer, D.3
Trinkert, S.4
-
21
-
-
85028027216
-
-
http://www.trimaran.org.
-
-
-
|