-
3
-
-
0031097394
-
Design of embedded systems: Formal models, validation, and synthesis
-
S. Edwards, L. Lavagno, E.A. Lee, and A. Sangiovanni-Vincentelli, "Design of Embedded Systems: Formal Models, Validation, and Synthesis," Proc. IEEE, vol. 85, pp. 366-390, 1997.
-
(1997)
Proc. IEEE
, vol.85
, pp. 366-390
-
-
Edwards, S.1
Lavagno, L.2
Lee, E.A.3
Sangiovanni-Vincentelli, A.4
-
4
-
-
0005095533
-
Considering models of computation in developing a new specification and design methodology for large real-time embedded multiprocessor signal processing systems
-
R. Janka and L. Wills, "Considering Models of Computation in Developing a New Specification and Design Methodology for Large Real-Time Embedded Multiprocessor Signal Processing Systems," Proc. IEEE Int'l Workshop Intelligent Signal Processing (WISP '99), 1999.
-
(1999)
Proc. IEEE Int'l Workshop Intelligent Signal Processing (WISP '99)
-
-
Janka, R.1
Wills, L.2
-
5
-
-
0012954412
-
Models of computation for specification and design methodology frameworks for parallel and distributed real-time embedded multiprocessor signal processing systems
-
R. Janka, "Models of Computation for Specification and Design Methodology Frameworks for Parallel and Distributed Real-Time Embedded Multiprocessor Signal Processing Systems," Proc. Int'l Conf. Parallel and Distributed Processing Techniques and Applications (PDPTA '99), 1999.
-
(1999)
Proc. Int'l Conf. Parallel and Distributed Processing Techniques and Applications (PDPTA '99)
-
-
Janka, R.1
-
10
-
-
84866593519
-
-
The MathWorks, "The Mathworks Product Family," available at http://www.mathworks.com/products/prodoverview.shtml, 2002.
-
(2002)
The Mathworks Product Family
-
-
-
11
-
-
84866587150
-
-
The MathWorks, "Real-Time Workshop User's Guide," available at http://www.mathworks.com/access/helpdesk/help/toolbox/rtw/rtw_ug/rtw_ug.shtml, 2001.
-
(2001)
Real-Time Workshop User's Guide
-
-
-
12
-
-
84866593079
-
-
The MathWorks, "Excel Link User's Guide," available at http://www.mathworks.com/access/helpdesk/help/pdf_doc/exlink/exlink.pdf, 2000.
-
(2000)
Excel Link User's Guide
-
-
-
13
-
-
84866584127
-
-
June
-
Innoveda, "eArchitect," available at http://www.innoveda.com/products/datasheets_HTML/earchitect.asp, June 2002.
-
(2002)
eArchitect
-
-
-
14
-
-
84866583370
-
-
Mar.
-
VSIPL Forum, "VSIPL v1.0 API Standard Specification," available at http://www.vsipl.org/PubInfo/pubdrftrev.html, Mar. 2000.
-
(2000)
VSIPL v1.0 API Standard Specification
-
-
-
17
-
-
0000040686
-
Rapid prototyping of application specific signal processors
-
S.Y. Kung, ed.
-
M.A. Richards, A.J. Gadient, and G.A. Frank, "Rapid Prototyping of Application Specific Signal Processors," J. VLSI Signal Processing, S.Y. Kung, ed., vol. 15, p. 200, 1997.
-
(1997)
J. VLSI Signal Processing
, vol.15
, pp. 200
-
-
Richards, M.A.1
Gadient, A.J.2
Frank, G.A.3
-
18
-
-
0030699688
-
RASSP methodology evaluation and lessons learned developing IRST signal processor
-
M.A. Richards, A.J. Gadient, and G.A. Frank, eds.
-
L. Scanlan, W. Lee, M. Vahey, and M. McCollough, "RASSP Methodology Evaluation and Lessons Learned Developing IRST Signal Processor," Rapid Prototyping of Application Specific Signal Processors, M.A. Richards, A.J. Gadient, and G.A. Frank, eds., pp. 145-160, 1997.
-
(1997)
Rapid Prototyping of Application Specific Signal Processors
, pp. 145-160
-
-
Scanlan, L.1
Lee, W.2
Vahey, M.3
McCollough, M.4
-
19
-
-
0005009802
-
-
Project Report ESC-TR-94-113, MIT Lincoln Laboratory, Lexington, Mass.: Dec.
-
B.W. Zuerndorfer, J.C. Anderson, R.A. Ford, A.H. Anderson, G.A. Rocco, and G.A. Shaw, "RASSP Benchmark 1 Technical Description," Project Report ESC-TR-94-113, MIT Lincoln Laboratory, Lexington, Mass.: Dec. 1994.
-
(1994)
RASSP Benchmark 1 Technical Description
-
-
Zuerndorfer, B.W.1
Anderson, J.C.2
Ford, R.A.3
Anderson, A.H.4
Rocco, G.A.5
Shaw, G.A.6
-
23
-
-
0003347811
-
Co-design made real: Generating and verifying complete system and software implementations
-
M. Baker and E. O'Brien-Strain, "Co-Design Made Real: Generating and Verifying Complete System and Software Implementations," Proc. Embedded Systems Conf., 1999.
-
(1999)
Proc. Embedded Systems Conf.
-
-
Baker, M.1
O'Brien-Strain, E.2
-
24
-
-
84889992032
-
Towards bridging the precision gap between SoC transactional and cycle-accurate levels
-
Mar.
-
A. Clouard, G. Mastrorocco, F. Carbognani, A. Perrin, and F. Ghenassia, "Towards Bridging the Precision Gap between SoC Transactional and Cycle-Accurate Levels," Proc. Design, Automation and Test in Europe (DATE), Mar. 2002.
-
(2002)
Proc. Design, Automation and Test in Europe (DATE)
-
-
Clouard, A.1
Mastrorocco, G.2
Carbognani, F.3
Perrin, A.4
Ghenassia, F.5
-
25
-
-
0028518019
-
A framework for expressing the relationships between multiple views in requirements specification
-
B. Nuseibeh, J. Kramer, and A. Finkelstein, "A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification," IEEE Trans. Software Eng., vol. 20, pp. 760-773, 1994.
-
(1994)
IEEE Trans. Software Eng.
, vol.20
, pp. 760-773
-
-
Nuseibeh, B.1
Kramer, J.2
Finkelstein, A.3
-
27
-
-
0028481195
-
Inconsistency handling in multi-perspective specifications
-
A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh, "Inconsistency Handling in Multi-Perspective Specifications," IEEE Trans. Software Eng., vol. 20, pp. 569-578, 1994.
-
(1994)
IEEE Trans. Software Eng.
, vol.20
, pp. 569-578
-
-
Finkelstein, A.1
Gabbay, D.2
Hunter, A.3
Kramer, J.4
Nuseibeh, B.5
-
30
-
-
0031597166
-
Integrating architecture description languages with a standard design method
-
J.E. Robbins, N. Medvidovic, D.F. Redmiles, and D.S. Rosenblum, "Integrating Architecture Description Languages with a Standard Design Method," Proc. 20th Int'l Conf. Software Eng. (ICSE '98), 1998.
-
(1998)
Proc. 20th Int'l Conf. Software Eng. (ICSE '98)
-
-
Robbins, J.E.1
Medvidovic, N.2
Redmiles, D.F.3
Rosenblum, D.S.4
-
31
-
-
0005026167
-
-
Somerset, NJ.: John Wiley & Sons
-
T.J. Grose, G.C. Doney, and S.A. Brodsky, Mastering XMI: Java Programming with XMI, XML, and UML. Somerset, NJ.: John Wiley & Sons, 2002.
-
(2002)
Mastering XMI: Java Programming with XMI, XML, and UML
-
-
Grose, T.J.1
Doney, G.C.2
Brodsky, S.A.3
-
34
-
-
0029292854
-
Specification and analysis of system architecture using rapide
-
D.C. Luckham, J.J. Kenney, L.M. Augustin, J. Vera, D. Bryan, and W. Mann, "Specification and Analysis of System Architecture Using Rapide," IEEE Trans. Software Eng., vol. 21, pp. 336-355, 1995.
-
(1995)
IEEE Trans. Software Eng.
, vol.21
, pp. 336-355
-
-
Luckham, D.C.1
Kenney, J.J.2
Augustin, L.M.3
Vera, J.4
Bryan, D.5
Mann, W.6
-
35
-
-
0003652206
-
-
Norwell, Mass.: Kluwer Academic
-
D.D. Gajski, J. Zhu, R. Dömer, A. Gerstlauer, and S. Zhao, Spec C: Specification Language and Methodology. Norwell, Mass.: Kluwer Academic, 2000.
-
(2000)
Spec C: Specification Language and Methodology
-
-
Gajski, D.D.1
Zhu, J.2
Dömer, R.3
Gerstlauer, A.4
Zhao, S.5
-
36
-
-
84866588717
-
-
June
-
Open SystemC Initiative, "Welcome to the SystemC Community," available at http://www.systemc.org/, June 2002.
-
(2002)
Welcome to the SystemC Community
-
-
-
38
-
-
0000225368
-
System-on-chip specification and modeling using C++: Challenges and opportunities
-
R. Bhatt, G.D. Micheli, D.D. Gajski, C.K. Lennard, S. Liao, J. Sanguinetti, P. Schaumont, R.K. Gupta, and K. Roy, "System-on-Chip Specification and Modeling Using C++: Challenges and Opportunities," IEEE Design & Test of Computers, vol. 18, pp. 115-123, 2001.
-
(2001)
IEEE Design & Test of Computers
, vol.18
, pp. 115-123
-
-
Bhatt, R.1
Micheli, G.D.2
Gajski, D.D.3
Lennard, C.K.4
Liao, S.5
Sanguinetti, J.6
Schaumont, P.7
Gupta, R.K.8
Roy, K.9
-
40
-
-
0032628878
-
Abstract architecture representation using VSPEC
-
P. Baraona and P. Alexander, "Abstract Architecture Representation Using VSPEC," VLSI Design, vol. 9, pp. 181-202, 1999.
-
(1999)
VLSI Design
, vol.9
, pp. 181-202
-
-
Baraona, P.1
Alexander, P.2
-
41
-
-
0005019763
-
Composing specifications in VSPEC
-
Sept.
-
A. Venkataraman, M. Rangarajan, and P. Alexander, "Composing Specifications in VSPEC," Proc. Third IEEE Int'l Conf. Formal Eng. Methods (ICFEM '00), pp. 45-56, Sept. 2000.
-
(2000)
Proc. Third IEEE Int'l Conf. Formal Eng. Methods (ICFEM '00)
, pp. 45-56
-
-
Venkataraman, A.1
Rangarajan, M.2
Alexander, P.3
-
43
-
-
0344146600
-
Making components contract aware
-
A. Beugnard, J.-M. Jézéquel, N. Plouzeau, and D. Watkins, "Making Components Contract Aware," Computer, vol. 32, pp. 38-45, 1999.
-
(1999)
Computer
, vol.32
, pp. 38-45
-
-
Beugnard, A.1
Jézéquel, J.-M.2
Plouzeau, N.3
Watkins, D.4
-
44
-
-
0034273528
-
What's ahead for embedded software?
-
E. Lee, "What's Ahead for Embedded Software?" Computer, vol. 33, pp. 18-26, 2000.
-
(2000)
Computer
, vol.33
, pp. 18-26
-
-
Lee, E.1
|