메뉴 건너뛰기




Volumn 9, Issue 3, 1999, Pages 219-235

Scalability analysis for conservative simulation of logical circuits

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; CRITICAL PATH ANALYSIS; DATA STRUCTURES; ESTIMATION; LOGIC DESIGN; OPTIMIZATION; PARALLEL PROCESSING SYSTEMS;

EID: 0032665641     PISSN: 1065514X     EISSN: None     Source Type: None    
DOI: 10.1155/1999/14802     Document Type: Article
Times cited : (1)

References (28)
  • 4
    • 0026899337 scopus 로고
    • A time based model for investigating parallel logic-level simulation
    • Bailey, M. L. (1992). "A time based model for investigating parallel logic-level simulation," IEEE Transactions on Computer-Aided Design, 11, 814-824.
    • (1992) IEEE Transactions on Computer-Aided Design , vol.11 , pp. 814-824
    • Bailey, M.L.1
  • 7
    • 0028699169 scopus 로고
    • An analysis of parallel synchronous and conservative asynchronous logic simulation schemes
    • Dallas, TX, December
    • Baker, W. I. and Mahmood, A., "An analysis of parallel synchronous and conservative asynchronous logic simulation schemes," Proc. 6th IEEE Symposium on Parallel and Distributed Processing, Dallas, TX, December 1994, pp. 92-99.
    • (1994) Proc. 6th IEEE Symposium on Parallel and Distributed Processing , pp. 92-99
    • Baker, W.I.1    Mahmood, A.2
  • 9
    • 0004833322 scopus 로고
    • A Static Partitioning and Mapping Algorithm for Conservative Parallel Simulations
    • Edinburgh, Scotland, UK, July
    • Boukerche, A. and Trapper, C., "A Static Partitioning and Mapping Algorithm for Conservative Parallel Simulations," Proc. 8th Workshop on Parallel and Distributed Simulation, Edinburgh, Scotland, UK, July 1994, pp. 164-172.
    • (1994) Proc. 8th Workshop on Parallel and Distributed Simulation , pp. 164-172
    • Boukerche, A.1    Trapper, C.2
  • 10
    • 0004010208 scopus 로고
    • Simulation of packet communications architecture computer systems
    • Massachusetts Institute of Technology
    • Bryant, R. E. (1977). "Simulation of packet communications architecture computer systems," Technical Report MIT-LCS-TR-188, Massachusetts Institute of Technology.
    • (1977) Technical Report MIT-LCS-TR-188
    • Bryant, R.E.1
  • 11
    • 0041852207 scopus 로고
    • Deadlock absence proofs for networks of communicating processes
    • Chandy, K. M. and Misra, J. (1979). "Deadlock absence proofs for networks of communicating processes," Information Processing Letters, 94, 185-189.
    • (1979) Information Processing Letters , vol.94 , pp. 185-189
    • Chandy, K.M.1    Misra, J.2
  • 12
    • 0018999316 scopus 로고
    • Asynchronous distributed simulation via a sequence of parallel computations
    • Chandy, K. M. and Misra, J. (1981). "Asynchronous distributed simulation via a sequence of parallel computations," Communications of the ACM, 24(11), 198-206.
    • (1981) Communications of the ACM , vol.24 , Issue.11 , pp. 198-206
    • Chandy, K.M.1    Misra, J.2
  • 13
    • 84976676590 scopus 로고
    • Parallel discrete event simulation
    • Fujimoto, R. M. (1990). "Parallel discrete event simulation," Communications of the ACM, 33(10), 30-53.
    • (1990) Communications of the ACM , vol.33 , Issue.10 , pp. 30-53
    • Fujimoto, R.M.1
  • 15
    • 84993718562 scopus 로고
    • Understanding supercritical speedup
    • Los Angeles, CA, December
    • Gunter, M. A., "Understanding supercritical speedup," Proc. of 1993 Winter Simulation Conference, Los Angeles, CA, December 1993, pp. 81-87.
    • (1993) Proc. of 1993 Winter Simulation Conference , pp. 81-87
    • Gunter, M.A.1
  • 18
    • 0029229610 scopus 로고
    • An improved cost function for static partitioning of parallel circuit simulations using a conservative synchronization protocol
    • Lake Placid, NY, June
    • Kapp, K. L., Hartrum, T. C. and Wailes, T. S., "An improved cost function for static partitioning of parallel circuit simulations using a conservative synchronization protocol," Proc. 9th Workshop on Parallel and Distributed Simulation, Lake Placid, NY, June 1995, pp. 78-85.
    • (1995) Proc. 9th Workshop on Parallel and Distributed Simulation , pp. 78-85
    • Kapp, K.L.1    Hartrum, T.C.2    Wailes, T.S.3
  • 21
    • 84976773788 scopus 로고
    • Parallelism analyzers for parallel discrete event simulation
    • Lin, Y.-B. (1992). "Parallelism analyzers for parallel discrete event simulation," ACM Transactions on Modeling and Computer Simulation, 2(3), 239-264.
    • (1992) ACM Transactions on Modeling and Computer Simulation , vol.2 , Issue.3 , pp. 239-264
    • Lin, Y.-B.1
  • 24
    • 0002255264 scopus 로고
    • SPLASH: Stanford Parallel Applications for Shared-Memory
    • Singh, J. P., Weber, W.-D. and Gupta, A. (1992). "SPLASH: Stanford Parallel Applications for Shared-Memory," Computer Architecture News, 20(1), 5-44.
    • (1992) Computer Architecture News , vol.20 , Issue.1 , pp. 5-44
    • Singh, J.P.1    Weber, W.-D.2    Gupta, A.3
  • 25
    • 0022093855 scopus 로고
    • Self-adjusting binary search trees
    • Sleator, D. D. and Tarjan, R. E. (1985). "Self-adjusting binary search trees," Journal of the ACM, 32(3), 652-686.
    • (1985) Journal of the ACM , vol.32 , Issue.3 , pp. 652-686
    • Sleator, D.D.1    Tarjan, R.E.2
  • 27
    • 0027795985 scopus 로고
    • Corolla partitioning for distributed logic simulation of VLSI-circuits
    • San Diego, CA, May
    • Sporrer, C. and Bauer, H., "Corolla partitioning for distributed logic simulation of VLSI-circuits," Proc. 7th Workshop on Parallel and Distributed Simulation, San Diego, CA, May 1993, pp. 85-92.
    • (1993) Proc. 7th Workshop on Parallel and Distributed Simulation , pp. 85-92
    • Sporrer, C.1    Bauer, H.2


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