메뉴 건너뛰기




Volumn 2438 LNCS, Issue , 2002, Pages 945-954

REFLIX: A processor core for reactive embedded applications

Author keywords

[No Author keywords available]

Indexed keywords

RECONFIGURABLE ARCHITECTURES;

EID: 79955148054     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46117-5_97     Document Type: Conference Paper
Times cited : (9)

References (12)
  • 1
    • 0023365727 scopus 로고
    • STATECHARTS: A VISUAL FORMALISM FOR COMPLEX SYSTEMS.
    • DOI 10.1016/0167-6423(87)90035-9
    • Harel D. Statecharts: A Visual Formalism for Complex Systems, Sci. Comput. Prog., 8; 1987, pp. 231-274 (Pubitemid 17617706)
    • (1987) Science of Computer Programming , vol.8 , Issue.3 , pp. 231-274
    • Harel David1
  • 2
    • 0001206576 scopus 로고
    • Application of temporal logic to the specification and verification of reactive systems: A survey of current trends
    • Springer Verlag
    • Pnueli A. Application of temporal logic to the specification and verification of reactive systems: a survey of current trends, Lecture notes in computer science, 224; pp. 510-584. Springer Verlag, 1986
    • (1986) Lecture Notes in Computer Science , vol.224 , pp. 510-584
    • Pnueli, A.1
  • 3
    • 0026953373 scopus 로고
    • The ESTEREL synchronous programming language
    • Berry G. and Gonthier G. The ESTEREL synchronous programming language, Sc. Comput. Prog., 19; 1992, pp. 87-152
    • (1992) Sc. Comput. Prog. , vol.19 , pp. 87-152
    • Berry, G.1    Gonthier, G.2
  • 4
    • 0032676533 scopus 로고    scopus 로고
    • Customized instruction sets for embedded processors
    • Fisher J.A. Customized instruction sets for embedded processors. In Proc. 36th Design Automation Conference, pp. 253-257, 1999.
    • (1999) Proc. 36th Design Automation Conference , pp. 253-257
    • Fisher, J.A.1
  • 9
    • 22044441911 scopus 로고    scopus 로고
    • Self Modifying Circuitry - A Platform for Tractable Virtual Circuitry
    • Field-Programmable Logic and Applications: From PFGAs to Computing Paradigm
    • Donlin A. Self modifying circuitry - a platform for tractable virtual circuitry. In Field Programmable Logic and Applications, LNCS 1482, pp. 199-208. Springer, 1998 (Pubitemid 128125216)
    • (1998) LECTURE NOTES IN COMPUTER SCIENCE , Issue.1482 , pp. 199-208
    • Donlin, A.1
  • 10
    • 21444444958 scopus 로고    scopus 로고
    • CCSimP - An Instruction-level Custom-Configurable Processor for FPLDs
    • Field-Programmable Logic: Smart Applications, New Paradigms and Compilers
    • Salcic Z. and Maunder B. "CCSimP - an Instruction-level Custom-Configurable Processor for FPLDs", in Field-Programmable Logic FPL '96, Lecture notes in Computer Science 1142 (R. Hartenstein, M. Gloessner and M. Servit editors), Springer, 1996, pp. 280-289 (Pubitemid 126136686)
    • (1996) LECTURE NOTES IN COMPUTER SCIENCE , Issue.1142 , pp. 280-289
    • Salcic, Z.1    Maunder, B.2
  • 11
    • 0033285227 scopus 로고    scopus 로고
    • FLIX environment for generation of custom-configurable machines in FPLDs for embedded applications
    • DOI 10.1016/S0141-9331(99)00059-9
    • Salcic Z. and Mistry T. FLIX Environment for Generation of Custom-Configurable Machines in FPLDs for Embedded Applications, Elsevier Journal on Microprocessors and Microsystems, vol.23(8-9), December 1999, pp. 513-526 (Pubitemid 32082538)
    • (1999) Microprocessors and Microsystems , vol.23 , Issue.8 , pp. 513-526
    • Salcic, Z.1    Mistry, T.2
  • 12
    • 0346612370 scopus 로고    scopus 로고
    • Flexible instruction set processors
    • November 17-19 San Jose, California
    • S.P. Peng, W. Luk and P.K.Y Cheung. Flexible instruction set processors. Proceedings CASES'00, November 17-19, 2000, San Jose, California
    • (2000) Proceedings CASES'00
    • Peng, S.P.1    Luk, W.2    Cheung, P.K.Y.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.