-
1
-
-
33747937556
-
Silicon compilers - Part 1: Drawing a blank
-
Sept.
-
VLSI Design Staff, "Silicon compilers - Part 1: Drawing a blank," VLSI Design, vol. 5, no. 9, pp. 54-58, Sept. 1984.
-
(1984)
VLSI Design
, vol.5
, Issue.9
, pp. 54-58
-
-
-
2
-
-
33747945725
-
Silicon compilers - Part 2: Casting an image
-
Oct.
-
_, "Silicon compilers - Part 2: Casting an image," VLSI Design, vol. 5, no. 10, pp. 65-68, Oct. 1984.
-
(1984)
VLSI Design
, vol.5
, Issue.10
, pp. 65-68
-
-
-
3
-
-
0025508284
-
From behavior to structure: High-level synthesis
-
Oct.
-
R. Camposano, "From behavior to structure: High-level synthesis," IEEE Design Test Comput., vol. 7, pp. 8-19, Oct. 1990.
-
(1990)
IEEE Design Test Comput.
, vol.7
, pp. 8-19
-
-
Camposano, R.1
-
4
-
-
0026976119
-
Distributed design-space exploration for high-level synthesis systems
-
R. Dutta, J. Roy, and R. Vemuri, "Distributed design-space exploration for high-level synthesis systems," in Proc. 29th ACM/IEEE Design Automation Conf., 1992, pp. 644-650.
-
(1992)
Proc. 29th ACM/IEEE Design Automation Conf.
, pp. 644-650
-
-
Dutta, R.1
Roy, J.2
Vemuri, R.3
-
5
-
-
0002586484
-
DSS: A distributed high-level synthesis system
-
June
-
J. Roy, N. Kumar, R. Dutta, and R. Vemuri, "DSS: A distributed high-level synthesis system," IEEE Design Test Comput., vol. 9, pp. 18-32, June 1992.
-
(1992)
IEEE Design Test Comput.
, vol.9
, pp. 18-32
-
-
Roy, J.1
Kumar, N.2
Dutta, R.3
Vemuri, R.4
-
6
-
-
0025386057
-
The high-level synthesis of digital systems
-
Feb.
-
M. C. McFarland, A. C. Parker, and R. Camposano, "The high-level synthesis of digital systems," IEEE Proc., vol. 78, pp. 301-318, Feb. 1990.
-
(1990)
IEEE Proc.
, vol.78
, pp. 301-318
-
-
McFarland, M.C.1
Parker, A.C.2
Camposano, R.3
-
7
-
-
0024887708
-
The MICON system for computer design
-
W. P. Birmingham, A. P. Gupta, and D. P. Siewiorek, "The MICON system for computer design," in Proc. 26th ACM/IEEE Design Automation Conf., 1989, pp. 135-140.
-
(1989)
Proc. 26th ACM/IEEE Design Automation Conf.
, pp. 135-140
-
-
Birmingham, W.P.1
Gupta, A.P.2
Siewiorek, D.P.3
-
9
-
-
0027577447
-
Automating the Design of Computer Systems
-
Apr.
-
A. P. Gupta, W. P. Birmingham, and D. P. Siewiorek, "Automating the Design of Computer Systems," IEEE Trans. Computer-Aided Design, vol. 12, pp. 473-487, Apr. 1993.
-
(1993)
IEEE Trans. Computer-Aided Design
, vol.12
, pp. 473-487
-
-
Gupta, A.P.1
Birmingham, W.P.2
Siewiorek, D.P.3
-
10
-
-
0027663293
-
A dynamic approach to controlling high-level synthesis CAD tools
-
Sept.
-
A. J. Gadient and D. E. Thomas, "A dynamic approach to controlling high-level synthesis CAD tools," IEEE Trans. VLSI Syst., vol. 1, pp. 328-341, Sept. 1993.
-
(1993)
IEEE Trans. VLSI Syst.
, vol.1
, pp. 328-341
-
-
Gadient, A.J.1
Thomas, D.E.2
-
11
-
-
0024133184
-
The system architect's workbench
-
June
-
D. E. Thomas, E. M. Dirkes, R. A. Walker, J. V. Rajan, J. A. Nestor, and R. L. Blackburn, "The system architect's workbench," in Proc. 25th ACM/IEEE Design Automation Conf., June 1988, pp. 337-343.
-
(1988)
Proc. 25th ACM/IEEE Design Automation Conf.
, pp. 337-343
-
-
Thomas, D.E.1
Dirkes, E.M.2
Walker, R.A.3
Rajan, J.V.4
Nestor, J.A.5
Blackburn, R.L.6
-
12
-
-
33747834679
-
Mis: A multiple level logic optimization system
-
Nov.
-
R. Brayton, R. Rudell, A. Sangiovanni-Vincentelli, and A. Wang, "Mis: A multiple level logic optimization system," IEEE Trans. Computer-Aided Design, vol. 6, pp. 1062-1081, Nov. 1987.
-
(1987)
IEEE Trans. Computer-Aided Design
, vol.6
, pp. 1062-1081
-
-
Brayton, R.1
Rudell, R.2
Sangiovanni-Vincentelli, A.3
Wang, A.4
-
14
-
-
0343238906
-
Performance analysis of MR-1, a clustered shared-memory multiprocessor
-
Feb.
-
S. A. Mabbs and K. E. Forward, "Performance analysis of MR-1, A clustered shared-memory multiprocessor," J. Parallel Distrib. Comput., vol. 20, pp. 158-175, Feb. 1994.
-
(1994)
J. Parallel Distrib. Comput.
, vol.20
, pp. 158-175
-
-
Mabbs, S.A.1
Forward, K.E.2
-
15
-
-
0026828323
-
Evaluating design choices for shared bus multiprocessors in a throughput-oriented environment
-
Mar.
-
M. C. Chiang and G. S. Sohi, "Evaluating design choices for shared bus multiprocessors in a throughput-oriented environment," IEEE Trans. Comput., vol. 41, pp. 297-317, Mar. 1992.
-
(1992)
IEEE Trans. Comput.
, vol.41
, pp. 297-317
-
-
Chiang, M.C.1
Sohi, G.S.2
-
16
-
-
0027666418
-
Hierarchical design space exploration for a class of digital systems
-
Sept.
-
D. S. Rao and F. J. Kurdahi, "Hierarchical design space exploration for a class of digital systems," IEEE Trans. VLSI Syst., vol. 1 pp. 282-295, Sept. 1993.
-
(1993)
IEEE Trans. VLSI Syst.
, vol.1
, pp. 282-295
-
-
Rao, D.S.1
Kurdahi, F.J.2
-
17
-
-
0028444902
-
Object-oriented techniques in hardware design
-
June
-
S. Kumar, J. H. Aylor, B. W. Johnson, and W. A. Wulf, "Object-oriented techniques in hardware design," Computer, vol. 27, no. 6, pp. 64-70, June 1994.
-
(1994)
Computer
, vol.27
, Issue.6
, pp. 64-70
-
-
Kumar, S.1
Aylor, J.H.2
Johnson, B.W.3
Wulf, W.A.4
-
18
-
-
0027206256
-
OPNETS: An object-oriented high-level Petri-net model for real-time system modeling
-
Jan.
-
Y. K. Lee and S. J. Park, "OPNETS: An object-oriented high-level Petri-net model for real-time system modeling," J. Syst. Software, vol. 20, no. 1, pp. 69-86, Jan. 1993.
-
(1993)
J. Syst. Software
, vol.20
, Issue.1
, pp. 69-86
-
-
Lee, Y.K.1
Park, S.J.2
-
20
-
-
84976655493
-
Petri net-based object-oriented modeling of distributed systems
-
Sept.
-
G. Bruno and A. Balsamo, "Petri net-based object-oriented modeling of distributed systems," in Proc. Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Sept. 1986, pp. 284-293.
-
(1986)
Proc. Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)
, pp. 284-293
-
-
Bruno, G.1
Balsamo, A.2
-
22
-
-
84976753721
-
A class of generalized stochastic Petri nets for the performance evaluation of MP systems
-
May
-
M. A. Marsan, G. Balbo, and G. Conte, "A class of generalized stochastic Petri nets for the performance evaluation of MP systems," ACM Trans. Comput. Syst., vol. 2, no. 2, pp. 93-122, May 1984.
-
(1984)
ACM Trans. Comput. Syst.
, vol.2
, Issue.2
, pp. 93-122
-
-
Marsan, M.A.1
Balbo, G.2
Conte, G.3
-
23
-
-
0003511049
-
-
Englewood Cliffs, NJ: Prentice Hall
-
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object-Oriented Modeling and Design. Englewood Cliffs, NJ: Prentice Hall, 1991.
-
(1991)
Object-Oriented Modeling and Design
-
-
Rumbaugh, J.1
Blaha, M.2
Premerlani, W.3
Eddy, F.4
Lorensen, W.5
-
25
-
-
0013216453
-
-
Scientific and Engineering Software, Inc., Feb.
-
SES/Workbench User's Manual Release 2.1, Scientific and Engineering Software, Inc., Feb. 1992.
-
(1992)
SES/Workbench User's Manual Release 2.1
-
-
-
27
-
-
0017538857
-
Petri nets
-
Sept.
-
J. L. Peterson, "Petri nets," ACM Comput. Surv., vol. 9, no. 3, pp. 223-252, Sept. 1977.
-
(1977)
ACM Comput. Surv.
, vol.9
, Issue.3
, pp. 223-252
-
-
Peterson, J.L.1
-
29
-
-
0003492968
-
-
K. Jensen and G. Rozenberg, Eds., New York: Springer-Verlag
-
K. Jensen and G. Rozenberg, Eds., High-level Petri Nets: Theory and Application. New York: Springer-Verlag, 1991.
-
(1991)
High-level Petri Nets: Theory and Application
-
-
-
30
-
-
33747895995
-
Abstraction and verification in Alphard: Iteration and generators
-
New York: Springer-Verlag
-
M. Shaw, W. Wulf, and R. London, "Abstraction and verification in Alphard: Iteration and generators," in Alphard: Form and Content. New York: Springer-Verlag, 1981.
-
(1981)
Alphard: Form and Content
-
-
Shaw, M.1
Wulf, W.2
London, R.3
-
31
-
-
0006208187
-
-
J. M. Schoen Ed., Englewood Cliffs, NJ: Prentice-Hall
-
J. M. Schoen Ed., Performance and Fault Modeling with VHDL. Englewood Cliffs, NJ: Prentice-Hall, 1992.
-
(1992)
Performance and Fault Modeling with VHDL
-
-
|