-
2
-
-
0023365727
-
Statecharts a visual formalism for complex systems
-
D. Harel: Statecharts: A Visual Formalism for Complex Systems. Sci. Comp. Prog., vol. 8, pp 231-274, 1987.
-
(1987)
Sci. Comp. Prog.
, vol.8
, pp. 231-274
-
-
Harel, D.1
-
3
-
-
0029749454
-
A new hw/sw partitioning algorithm for synthesizing the highest performance pipelined asips with multiple identical fus
-
N. Binh, M. Imai, A. Shiomi, A New HW/SW Partitioning Algorithm for Synthesizing the Highest Performance Pipelined ASIPs with Multiple Identical FUs, in proceedings of EURO-DAC96, 1996.
-
(1996)
Proceedings of EURO-DAC96
-
-
Binh, N.1
Imai, M.2
Shiomi, A.3
-
4
-
-
0346925062
-
-
PhD Thesis, Dept. of Comp. Sci., The Weizmann Inst. of Sci.
-
D. Drusinsky: On Synchronized Statecharts. PhD Thesis, Dept. of Comp. Sci., The Weizmann Inst. of Sci., 1988.
-
(1988)
On Synchronized Statecharts
-
-
Drusinsky, D.1
-
5
-
-
0026404554
-
A state assignment procedure for single-block implementation of state-charts
-
December
-
D. Drusinsky-Yoresh: A State Assignment Procedure for Single-Block Implementation of State-charts. IEEE Trans. on CAD, vol. 10, No 12, December 1991.
-
(1991)
IEEE Trans. on CAD
, vol.10
, Issue.12
-
-
Drusinsky-Yoresh, D.1
-
6
-
-
0027678874
-
An integer programming approach to the instruction set selection problem
-
Oct
-
A.Y. Alomari, M. Imai, J. Sato, N. Hikichi: An integer programming approach to the instruction set selection problem, IEICE Trans. Fundam. Electr. Commun. Comput. Sci. (Japan), vol. E76-A, no. 10, p. 1849-57, Oct. 1993.
-
(1993)
IEICE Trans.Fundam.Electr.Commun.Comput.Sci.(Japan)
, vol.E76-A
, Issue.10
, pp. 1849-57
-
-
Alomari, A.Y.1
Imai, M.2
Sato, J.3
Hikichi, N.4
-
7
-
-
0028714173
-
A binary-constraint search algorithm for minimizing hardware during hardware-software partitioning
-
D. Gajski, F. Vahid, J. Gong: A Binary-Constraint Search Algorithm for Minimizing Hardware During Hardware-Software partitioning, Proc. Euro-DAC, 1994.
-
(1994)
Proc.Euro-DAC
-
-
Gajski, D.1
Vahid, F.2
Gong, J.3
-
9
-
-
0028056671
-
Instruction set matching and selection for dsp and asip code generation
-
Paris, France
-
C. Liem, T. May, P. Paulin: Instruction set matching and selection for DSP and ASIP code generation, Proc. of the EDAC-ETC-EUROASIC, Paris, France, 1994, p. 31-37.
-
(1994)
Proc. of the EDAC-ETC-EUROASIC
, pp. 31-37
-
-
Liem, C.1
May, T.2
Paulin, P.3
-
10
-
-
0028126235
-
Instruction set definition and instruction selection for ASIPs
-
J. Van Praet, G. Goossens, D. Lanneer, H. De Man: Instruction set definition and instruction selection for ASIPs, Proc. of the Seventh International Symposium on High-Level Synthesis, p. 11-16, 1994.
-
(1994)
Proc. of the Seventh International Symposium on High-Level Synthesis
, pp. 11-16
-
-
Van Praet, J.1
Goossens, G.2
Lanneer, D.3
De Man, H.4
-
11
-
-
0003719406
-
Computer organization and design
-
Morgan Kaufmann Publishers, Inc., San Francisco, CA
-
D. A. Patterson, J. L. Hennessy: Computer Organization and Design, The Hardware / Software Interface, Morgan Kaufmann Publishers, Inc., San Francisco, CA.
-
The Hardware Software Interface
-
-
Patterson, D.A.1
Hennessy, J.L.2
-
14
-
-
0029184479
-
Timing constraint petri nets and their application to schedulability analysis of real-time system specifications
-
J. Tsai, S. Yang, Y.-H. Chang: Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications, IEEE Trans. Softw. Eng., vol. 21, no 1, pp. 32-49.
-
IEEE Trans. Softw. Eng.
, vol.21
, Issue.1
, pp. 32-49
-
-
Tsai, J.1
Yang, S.2
Chang, Y.-H.3
-
15
-
-
0029721377
-
Instruction set modeling for ASIP code generation
-
IEEE Comp. Soc. Press
-
R. Leupers, P. Marwedel: Instruction set modeling for ASIP code generation, Proc. Ninth Int. Conf. on VLSI Design, IEEE Comp. Soc. Press, pp. 77-80, 1995.
-
(1995)
Proc. Ninth Int. Conf. on VLSI Design
, pp. 77-80
-
-
Leupers, R.1
Marwedel, P.2
-
16
-
-
0003276135
-
A calculus of communicating systems
-
Springer
-
R. Milner: A Calculus of Communicating Systems, Lecture Notes in Comp. Sci. 92, Springer, 1980.
-
(1980)
Lecture Notes in Comp. Sci
, pp. 92
-
-
Milner, R.1
|