메뉴 건너뛰기




Volumn , Issue , 2007, Pages

A heterogeneous lightweight multithreaded architecture

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; CONTROL SYSTEMS; COST REDUCTION; PATTERN RECOGNITION; PROBLEM SOLVING; RECURSIVE FUNCTIONS; SYNCHRONIZATION;

EID: 34548785749     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2007.370676     Document Type: Conference Paper
Times cited : (8)

References (15)
  • 5
    • 84919401135 scopus 로고
    • A machine program for theorem proving
    • July
    • Martin Davis, George Logemann, and Donald Loveland. A machine program for theorem proving. Communications of the ACM, 5(7):394-397, July 1962.
    • (1962) Communications of the ACM , vol.5 , Issue.7 , pp. 394-397
    • Davis, M.1    Logemann, G.2    Loveland, D.3
  • 6
    • 16244393413 scopus 로고    scopus 로고
    • Parallel multithreaded satisfiability solver: Design and implementation
    • Yulik Feldman, Nachum Dershowitz, and Ziyad Hanna. Parallel multithreaded satisfiability solver: Design and implementation. Electr. Notes Theor. Comput. Sci., 128(3):75-90, 2005.
    • (2005) Electr. Notes Theor. Comput. Sci , vol.128 , Issue.3 , pp. 75-90
    • Feldman, Y.1    Dershowitz, N.2    Hanna, Z.3
  • 7
    • 33644651957 scopus 로고    scopus 로고
    • John Feo, David Harper, Simon Kahan, and Petr Konecny. ELDORADO. In Proceedings of the 2nd conference on Computing Frontiers, pages 28-34, Ischia, Italy, May 4-6,2005. ACM Press.
    • John Feo, David Harper, Simon Kahan, and Petr Konecny. ELDORADO. In Proceedings of the 2nd conference on Computing Frontiers, pages 28-34, Ischia, Italy, May 4-6,2005. ACM Press.
  • 9
    • 34548768143 scopus 로고    scopus 로고
    • Architectures for self-contained, mobile, memory programming
    • U.S. Patent Application 60/411,888, sep 2002
    • P. M. Kogge. Architectures for self-contained, mobile, memory programming. U.S. Patent Application 60/411,888, sep 2002.
    • Kogge, P.M.1
  • 12
    • 0025431466 scopus 로고    scopus 로고
    • Gregory M. Papadopoulos and David E. Culler. Monsoon: An explicit token-store architecture. In 17th International Symposium on Computer Architecture, number 18(2) in ACM SIGARCH Computer Architecture News, pages 82-91, Seattle, Washington, May 28-31, June 1990.
    • Gregory M. Papadopoulos and David E. Culler. Monsoon: An explicit token-store architecture. In 17th International Symposium on Computer Architecture, number 18(2) in ACM SIGARCH Computer Architecture News, pages 82-91, Seattle, Washington, May 28-31, June 1990.


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