메뉴 건너뛰기




Volumn , Issue , 2004, Pages 98-105

Effectiveness of simple memory models for performance prediction

Author keywords

[No Author keywords available]

Indexed keywords

EXECUTION TIME; NETWORK SIMULATORS; SYMBOLIC MODEL VERIFIERS (SMV);

EID: 2642566206     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1109/ISPASS.2004.1291361     Document Type: Conference Paper
Times cited : (6)

References (32)
  • 1
    • 0032690191 scopus 로고    scopus 로고
    • Trace reduction for virtual memory simulations
    • S. Kaplan, Y. Smaragdakis, and P. Wilson, "Trace Reduction for Virtual Memory Simulations," in Proc. SIGMETRICS, pp. 47-58, 1999.
    • (1999) Proc. SIGMETRICS , pp. 47-58
    • Kaplan, S.1    Smaragdakis, Y.2    Wilson, P.3
  • 2
    • 0032688350 scopus 로고    scopus 로고
    • EELRU: Simple and effective adaptive page replacement
    • May
    • Y. Smaragdakis, S. Kaplan, and P. Wilson, "EELRU: Simple and Effective Adaptive Page Replacement," in Proc. SIGMETRICS, pp. 122-133, May 1999.
    • (1999) Proc. SIGMETRICS , pp. 122-133
    • Smaragdakis, Y.1    Kaplan, S.2    Wilson, P.3
  • 3
    • 0033075425 scopus 로고    scopus 로고
    • Performance evaluation of computer architectures with main memory data compression
    • M. Kjelso, M. Gooch, and S. Jones, "Performance Evaluation of Computer Architectures with Main Memory Data Compression," Journal of Systems Architecture, vol. 45, pp. 571-590, 1999.
    • (1999) Journal of Systems Architecture , vol.45 , pp. 571-590
    • Kjelso, M.1    Gooch, M.2    Jones, S.3
  • 4
    • 85084162609 scopus 로고    scopus 로고
    • The case for compressed caching in virtual memory systems
    • June
    • P. Wilson, S. Kaplan, and Y. Smaragdakis, "The Case for Compressed Caching in Virtual Memory Systems," in Proc. 1999 USENIX Tech. Conf., pp. 101-116, June 1999.
    • (1999) Proc. 1999 USENIX Tech. Conf. , pp. 101-116
    • Wilson, P.1    Kaplan, S.2    Smaragdakis, Y.3
  • 5
    • 0031153459 scopus 로고    scopus 로고
    • Trace-driven memory simulation: A survey
    • June
    • R. Uhlig and T. Mudge, "Trace-Driven Memory Simulation: A Survey," ACM Computing Surveys, vol. 29, pp. 128-170, June 1997.
    • (1997) ACM Computing Surveys , vol.29 , pp. 128-170
    • Uhlig, R.1    Mudge, T.2
  • 6
    • 0024665371 scopus 로고
    • Behavioral characterization of multiprocessor memory systems: A case study
    • Apr.
    • K. Gallivan, D. Gannon, W. Jalby, A. Malony, and H. Wijshoff, "Behavioral Characterization of Multiprocessor Memory Systems: A Case Study," in Proc. SIGMETRICS, pp. 79-88, Apr. 1989.
    • (1989) Proc. SIGMETRICS , pp. 79-88
    • Gallivan, K.1    Gannon, D.2    Jalby, W.3    Malony, A.4    Wijshoff, H.5
  • 7
    • 0000718681 scopus 로고
    • Measuring cache and TLB performance and their effect on benchmark run times
    • Oct.
    • R. Saavedra and A. Smith, "Measuring Cache and TLB Performance and Their Effect on Benchmark Run Times," IEEE Trans. Computers, vol. 44, pp. 1223-1235, Oct. 1995.
    • (1995) IEEE Trans. Computers , vol.44 , pp. 1223-1235
    • Saavedra, R.1    Smith, A.2
  • 8
    • 0030285193 scopus 로고    scopus 로고
    • Analysis and benchmark characteristics and benchmark performance prediction
    • Nov.
    • R. Saavedra and A. Smith, "Analysis and Benchmark Characteristics and Benchmark Performance Prediction," ACM Trans. Computer Systems, vol. 14, pp. 344-384, Nov. 1996.
    • (1996) ACM Trans. Computer Systems , vol.14 , pp. 344-384
    • Saavedra, R.1    Smith, A.2
  • 9
    • 0034441607 scopus 로고    scopus 로고
    • Efficient performance prediction for modern microprocessors
    • D. Ofelt and J. Hennessy, "Efficient Performance Prediction for Modern Microprocessors," in Proc. SIGMETRICS, pp. 229-239, 2000.
    • (2000) Proc. SIGMETRICS , pp. 229-239
    • Ofelt, D.1    Hennessy, J.2
  • 11
    • 0000695168 scopus 로고    scopus 로고
    • DBMSs on a modern processor: Where does time go?
    • Sept.
    • A. Ailamaki, D. DeWitt, M. Hill, and D. Wood, "DBMSs on a Modern Processor: Where Does Time Go?," in Proc. VLDB, pp. 266-277, Sept. 1999.
    • (1999) Proc. VLDB , pp. 266-277
    • Ailamaki, A.1    Dewitt, D.2    Hill, M.3    Wood, D.4
  • 13
    • 0031611719 scopus 로고    scopus 로고
    • Precise miss analysis for program transformations with caches of arbitrary associativity
    • Oct.
    • S. Ghosh, M. Martonosi, and S. Malik, "Precise Miss Analysis for Program Transformations with Caches of Arbitrary Associativity," in Proc. ASPLOS, pp. 228-239, Oct. 1998.
    • (1998) Proc. ASPLOS , pp. 228-239
    • Ghosh, S.1    Martonosi, M.2    Malik, S.3
  • 14
    • 0031593993 scopus 로고    scopus 로고
    • Analytic evaluation of shared-memory systems with ILP processors
    • June
    • D. Sorin, V. Pai, S. Adve, M. Vernon, and D. Wood, "Analytic Evaluation of Shared-Memory Systems with ILP Processors," in Proc. ISCA, pp. 380-391, June 1998.
    • (1998) Proc. ISCA , pp. 380-391
    • Sorin, D.1    Pai, V.2    Adve, S.3    Vernon, M.4    Wood, D.5
  • 15
    • 0036036749 scopus 로고    scopus 로고
    • Performance prediction for random write reductions: A case study in modeling shared memory programs
    • June
    • R. Jin and G. Agrawal, "Performance Prediction for Random Write Reductions: A Case Study in Modeling Shared Memory Programs," in Proc. SIGMETRICS, pp. 117-128, June 2002.
    • (2002) Proc. SIGMETRICS , pp. 117-128
    • Jin, R.1    Agrawal, G.2
  • 17
    • 84900343434 scopus 로고    scopus 로고
    • Measuring memory hierarchy performance of cache-coherent multiprocessors using micro benchmarks
    • Nov
    • C. Hristea, D. Lenoski, and J. Keen, "Measuring Memory Hierarchy Performance of Cache-Coherent Multiprocessors Using Micro Benchmarks," in Proc. ICS, pp. 1-12, Nov 1997.
    • (1997) Proc. ICS , pp. 1-12
    • Hristea, C.1    Lenoski, D.2    Keen, J.3
  • 18
    • 0029203364 scopus 로고
    • Optimizing memory system performance for communication in parallel computers
    • June
    • T. Stricker and T. Gross, "Optimizing Memory System Performance for Communication in Parallel Computers," in Proc. ISCA, pp. 308-319, June 1995.
    • (1995) Proc. ISCA , pp. 308-319
    • Stricker, T.1    Gross, T.2
  • 19
    • 0033907999 scopus 로고    scopus 로고
    • Memory bandwidth bottleneck and its amelioration by a compiler
    • C. Ding and K. Kennedy, "Memory Bandwidth Bottleneck and its Amelioration by a Compiler," in Proc IPDPS, pp. 181-190, 2000.
    • (2000) Proc IPDPS , pp. 181-190
    • Ding, C.1    Kennedy, K.2
  • 22
    • 0030871109 scopus 로고    scopus 로고
    • Global address space, non-uniform bandwidth: A memory system performance characterization of parallel systems
    • Feb.
    • T. Stricker and T. Gross, "Global Address Space, Non-Uniform Bandwidth: A Memory System Performance Characterization of Parallel Systems," in Proc. HPCA, pp. 168-180, Feb. 1997.
    • (1997) Proc. HPCA , pp. 168-180
    • Stricker, T.1    Gross, T.2
  • 25
    • 2642546398 scopus 로고    scopus 로고
    • "Shade." http://www.sun.com/microelectronics/shade/.
    • Shade
  • 26
    • 0034832647 scopus 로고    scopus 로고
    • Evaluating the impact of memory system performance on software prefetching and locality optimizations
    • June
    • A. Badawy, A. Aggarwal, D. Yeung, and C. Tseng, "Evaluating the Impact of Memory System Performance on Software Prefetching and Locality Optimizations," in Proc. ICS, pp. 486-500, June 2001.
    • (2001) Proc. ICS , pp. 486-500
    • Badawy, A.1    Aggarwal, A.2    Yeung, D.3    Tseng, C.4
  • 28
    • 2642532627 scopus 로고    scopus 로고
    • "SMV." http://www-2.cs.cmu.edu/bwolen/software/.
    • SMV
  • 30
    • 2642544722 scopus 로고    scopus 로고
    • A simple verification of the tree identify protocol with SMV
    • March
    • V. Schuppan and A. Biere, "A Simple Verification of the Tree Identify Protocol with SMV," in Proc. IEEE 1394 (FireWire) Workshop, pp. 31-34, March 2001.
    • (2001) Proc. IEEE 1394 (FireWire) Workshop , pp. 31-34
    • Schuppan, V.1    Biere, A.2
  • 31
    • 84986512474 scopus 로고
    • CHARMM: A program for macromolecular energy, minimization, and dynamics calculations
    • B. Brooks, R. Bruccoleri, B. Olafson, D. States, S. Swaminathan, and M. Karplus, "CHARMM: A Program for Macromolecular Energy, Minimization, and Dynamics Calculations," Comp. Chem., no. 4, pp. 87-217, 1983.
    • (1983) Comp. Chem. , Issue.4 , pp. 87-217
    • Brooks, B.1    Bruccoleri, R.2    Olafson, B.3    States, D.4    Swaminathan, S.5    Karplus, M.6


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