|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 861 occurrences of 524 keywords
|
|
|
Results
Found 1747 publication records. Showing 1745 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
118 | Matthias S. Müller, Kumaran Kalyanasundaram, Greg Gaertner, Wesley B. Jones, Rudolf Eigenmann, Ron Lieberman, G. Matthijs van Waveren, Brian Whitney |
SPEC HPG Benchmarks for Large Systems. |
ISHPC |
2003 |
DBLP DOI BibTeX RDF |
SPEC OMP, SPEC HPC, Performance Evaluation, Benchmark, MPI, High-Performance Computing, OpenMP |
104 | Lodewijk Bonebakker |
Comparison of the SPEC CPU Benchmarks with 499 Other Workloads Using Hardware Counters. |
SIPEW |
2008 |
DBLP DOI BibTeX RDF |
SPEC CPU2000, SPEC CPU2006, benchmark, workloads, workload characterization, comparison |
98 | Hideki Saito 0001, Greg Gaertner, Wesley B. Jones, Rudolf Eigenmann, Hidetoshi Iwashita, Ron Lieberman, G. Matthijs van Waveren, Brian Whitney |
Large System Performance of SPEC OMP2001 Benchmarks. |
ISHPC |
2002 |
DBLP DOI BibTeX RDF |
SPEC OMP2001, Performance Evaluation, Benchmarks, High-Performance Computing, OpenMP |
98 | Karthik Ganesan 0006, Deepak Panwar, Lizy K. John |
Generation, Validation and Analysis of SPEC CPU2006 Simulation Points Based on Branch, Memory and TLB Characteristics. |
SPEC Benchmark Workshop |
2009 |
DBLP DOI BibTeX RDF |
|
89 | Kumaran Kalyanasundaram |
SPEC HPG - SPEC HPG benchmarks. |
SC |
2006 |
DBLP DOI BibTeX RDF |
|
84 | Joshua J. Yi, Hans Vandierendonck, Lieven Eeckhout, David J. Lilja |
The exigency of benchmark and compiler drift: designing tomorrow's processors with yesterday's tools. |
ICS |
2006 |
DBLP DOI BibTeX RDF |
benchmark drift, compiler drift, microprocessor design |
82 | Kumar Shiv, Kingsum Chow, Yanping Wang, Dmitry Petrochenko |
SPECjvm2008 Performance Characterization. |
SPEC Benchmark Workshop |
2009 |
DBLP DOI BibTeX RDF |
Java Performance, Workload Characterization, SPEC |
81 | ElMoustapha Ould-Ahmed-Vall, Kshitij A. Doshi, Charles Yount, James Woodlee |
Characterization of SPEC CPU2006 and SPEC OMP2001: Regression Models and their Transferability. |
ISPASS |
2008 |
DBLP DOI BibTeX RDF |
|
73 | Klaus-Dieter Lange |
The Next Frontier for Power/Performance Benchmarking: Energy Efficiency of Storage Subsystems. |
SPEC Benchmark Workshop |
2009 |
DBLP DOI BibTeX RDF |
Performance, Benchmark, Power, Energy, Storage, Server, Datacenter, SPEC |
70 | Ciji Isen, Lizy K. John, Eugene John |
A Tale of Two Processors: Revisiting the RISC-CISC Debate. |
SPEC Benchmark Workshop |
2009 |
DBLP DOI BibTeX RDF |
|
70 | John L. Henning |
SPECrate2006: Alternatives Considered, Lessons Learned. |
SPEC Benchmark Workshop |
2009 |
DBLP DOI BibTeX RDF |
|
65 | Aashish Phansalkar, Ajay Joshi, Lizy Kurian John |
Analysis of redundancy and application balance in the SPEC CPU2006 benchmark suite. |
ISCA |
2007 |
DBLP DOI BibTeX RDF |
microprocessor performance counters, clustering, benchmark, SPEC |
62 | Darshan Desai, Gerolf Hoflehner, Arun Kejariwal, Daniel M. Lavery, Alexandru Nicolau, Alexander V. Veidenbaum, Cameron McNairy |
Performance Characterization of Itanium® 2-Based Montecito Processor. |
SPEC Benchmark Workshop |
2009 |
DBLP DOI BibTeX RDF |
|
61 | K. Rustan M. Leino |
Specifying and Verifying Programs in Spec#. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
|
61 | Kyle Rupnow, Arun Rodrigues, Keith D. Underwood, Katherine Compton |
Scientific applications vs. SPEC-FP: a comparison of program behavior. |
ICS |
2006 |
DBLP DOI BibTeX RDF |
|
61 | JunSeong Kim, JongSu Yi |
Performance sensitivity of SPEC CPU2000 over operating frequency. |
ISICT |
2004 |
DBLP BibTeX RDF |
|
61 | John L. Henning |
SPEC CPU2000: Measuring CPU Performance in the New Millennium. |
Computer |
2000 |
DBLP DOI BibTeX RDF |
|
56 | Arun Kejariwal, Gerolf Hoflehner, Darshan Desai, Daniel M. Lavery, Alexandru Nicolau, Alexander V. Veidenbaum |
Comparative characterization of SPEC CPU2000 and CPU2006 on Itanium architecture. |
SIGMETRICS |
2007 |
DBLP DOI BibTeX RDF |
SPEC CPU benchmarks, performance evaluation, caches, branch prediction |
54 | Nathan R. Fredrickson, Ahmad Afsahi, Ying Qian |
Performance characteristics of openMP constructs, and application benchmarks on a large symmetric multiprocessor. |
ICS |
2003 |
DBLP DOI BibTeX RDF |
NAS OpenMP, SPEC OMPL2001, performance evaluation, high-performance computing, OpenMP, SMP |
53 | David R. Kaeli, Kai Sachs (eds.) |
Computer Performance Evaluation and Benchmarking, SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings |
SPEC Benchmark Workshop |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Alexandre Brandwajn, Thomas Begin |
A Note on the Effects of Service Time Distribution in the M/G/1 Queue. |
SPEC Benchmark Workshop |
2009 |
DBLP DOI BibTeX RDF |
higher-order effects, performance evaluation, finite buffers, M/G/1 queue |
53 | Chang-Burm Cho, Wangyuan Zhang, Tao Li 0006 |
Thermal Design Space Exploration of 3D Die Stacked Multi-core Processors Using Geospatial-Based Predictive Models. |
SPEC Benchmark Workshop |
2009 |
DBLP DOI BibTeX RDF |
Thermal/power characterization, 3D die stacking, analytical modeling, multi-core architecture |
53 | Vlastimil Babka, Petr Tuma 0001 |
Investigating Cache Parameters of x86 Family Processors. |
SPEC Benchmark Workshop |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Daniel Citron |
MisSPECulation: Partial and Misleading Use of SPEC CPU2000 in Computer Architecture Conferences. |
ISCA |
2003 |
DBLP DOI BibTeX RDF |
|
53 | Rudolf Eigenmann, Greg Gaertner, Wesley B. Jones, Hideki Saito 0001, Brian Whitney |
SPEC HPC2002: The Next High-Performance Computer Benchmark. |
ISHPC |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Hans-Jörg Kreowski |
Partial Algebras Flow From Algebraic Specifications. |
ICALP |
1987 |
DBLP DOI BibTeX RDF |
|
48 | Karl Fürlinger, Michael Gerndt, Jack J. Dongarra |
Scalability Analysis of the SPEC OpenMP Benchmarks on Large-Scale Shared Memory Multiprocessors. |
International Conference on Computational Science (2) |
2007 |
DBLP DOI BibTeX RDF |
Shared Memory Multiprocessors, SPEC |
48 | Shengchao Qin, Guanhua He |
Linking Object-Z with Spec#. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
Spec#, pre/post conditions, verification, Formal specification, Object-Z |
48 | Swathi Tanjore Gurumani, Aleksandar Milenkovic |
Execution characteristics of SPEC CPU2000 benchmarks: Intel C++ vs. Microsoft VC++. |
ACM Southeast Regional Conference |
2004 |
DBLP DOI BibTeX RDF |
SPEC CPU2000 benchmarks, event-based sampling, performance evaluation, compiler optimizations |
47 | Zoltán Szebenyi, Brian J. N. Wylie, Felix Wolf 0001 |
SCALASCA Parallel Performance Analyses of SPEC MPI2007 Applications. |
SIPEW |
2008 |
DBLP DOI BibTeX RDF |
Parallel/distributed systems, Benchmark suite, Performance measurement & analysis tools, Application tracing & profiling |
47 | Zdenko Prohaska, Ivan Uroda, M. Spec, Stella Suljic |
SP - A computer program for fundamental analysis of stocks. |
MIPRO |
2011 |
DBLP BibTeX RDF |
|
47 | Hansi A. Spec |
HANSI Evaluates Algebraic Specifications - You will love it. |
ADT |
1986 |
DBLP BibTeX RDF |
|
45 | Wael M. Elseaidy |
Static and dynamic analysis of real-time systems. |
ACM Southeast Regional Conference |
1992 |
DBLP DOI BibTeX RDF |
SUP-INF procedure, Spec U/L bounds, deterministic timing tools, negative cycle, positive cycle, program U/L bounds, Real-time, theorem proving, real-time logic |
45 | Arun A. Nair, Lizy K. John |
Simulation points for SPEC CPU 2006. |
ICCD |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes |
Testing Concurrent Object-Oriented Systems with Spec Explorer. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Andy Georges, Lieven Eeckhout, Koen De Bosschere |
Comparing Low-Level Behavior of SPEC CPU and Java Workloads. |
Asia-Pacific Computer Systems Architecture Conference |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Jason F. Cantin, Mark D. Hill |
Cache performance for selected SPEC CPU2000 benchmarks. |
SIGARCH Comput. Archit. News |
2001 |
DBLP DOI BibTeX RDF |
|
45 | Vishal Aslot, Rudolf Eigenmann |
Performance characteristics of the SPEC OMP2001 benchmarks. |
SIGARCH Comput. Archit. News |
2001 |
DBLP DOI BibTeX RDF |
|
45 | Marco Cadoli, Luigi Palopoli 0001, Andrea Schaerf, Domenico Vasile |
NP-SPEC: An Executable Specification Language for Solving All Problems in NP. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
45 | Jozo J. Dujmovic, Ivo Dujmovic |
Evolution and evaluation of SPEC benchmarks. |
SIGMETRICS Perform. Evaluation Rev. |
1998 |
DBLP DOI BibTeX RDF |
|
39 | José Ignacio Gómez, Luis Piñuel, Manuel Prieto 0001, Francisco Tirado |
Analysis of simulation-adapted SPEC 2000 benchmarks. |
SIGARCH Comput. Archit. News |
2002 |
DBLP DOI BibTeX RDF |
Reduced input datasets, Spec CPU 2000, Execution-driven simulation, Fast-forwarding, Hardware counters |
39 | André Bauer 0001, Mark Leznik, Md Shahriar Iqbal, Daniel Seybold, Igor Trubin, Benjamin Erb, Jörg Domaschka, Pooyan Jamshidi |
SPEC Research - Introducing the Predictive Data Analytics Working Group: Poster Paper. |
ICPE (Companion) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Maximilian Meissner, Klaus-Dieter Lange, Jeremy A. Arnold, Sanjay Sharma, Roger Tipley, Nishant Rawtani, David Reiner, Mike Petrich, Aaron Cragin |
SPEC Efficiency Benchmark Development: How to Contribute to the Future of Energy Conservation. |
ICPE (Companion) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Yuetsu Kodama, Masaaki Kondo, Mitsuhisa Sato |
Evaluation of SPEC CPU and SPEC OMP on the A64FX. |
CLUSTER |
2021 |
DBLP DOI BibTeX RDF |
|
39 | Norbert Schmitt, Klaus-Dieter Lange, Sanjay Sharma, Aaron Cragin, David Reiner, Samuel Kounev |
SPEC - Spotlight on the International Standards Group (ISG). |
ICPE (Companion) |
2021 |
DBLP DOI BibTeX RDF |
|
39 | Siraj Muhammad, Matthew N. Dailey, Muhammad Farooq, Muhammad Faran Majeed, Mongkol Ekpanyapong |
Spec-Net and Spec-CGAN: Deep learning models for specularity removal from faces. |
Image Vis. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
39 | Erwin Van Eyk, Joel Scheuner, Simon Eismann, Cristina L. Abad, Alexandru Iosup |
Beyond Microbenchmarks: The SPEC-RG Vision for a Comprehensive Serverless Benchmark. |
ICPE Companion |
2020 |
DBLP DOI BibTeX RDF |
|
39 | Norbert Schmitt, James Bucek, Klaus-Dieter Lange, Samuel Kounev |
Energy Efficiency Analysis of Compiler Optimizations on the SPEC CPU 2017 Benchmark Suite. |
ICPE Companion |
2020 |
DBLP DOI BibTeX RDF |
|
39 | Ranjan Hebbar S. R, Aleksandar Milenkovic |
SPEC CPU2017: Performance, Event, and Energy Characterization on the Core i7-8700K. |
ICPE |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Sarabjeet Singh, Manu Awasthi |
Memory Centric Characterization and Analysis of SPEC CPU2017 Suite. |
ICPE |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Erwin Van Eyk, Alexandru Iosup, Cristina L. Abad, Johannes Grohmann, Simon Eismann |
A SPEC RG Cloud Group's Vision on the Performance Challenges of FaaS Cloud Architectures. |
ICPE Companion |
2018 |
DBLP DOI BibTeX RDF |
|
39 | James Bucek, Klaus-Dieter Lange, Jóakim von Kistowski |
SPEC CPU2017: Next-Generation Compute Benchmark. |
ICPE Companion |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Dibyendu Das 0005, Prakash Raghavendra, Arun Ramachandran |
SPECnet: Predicting SPEC Scores using Deep Learning. |
ICPE Companion |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Salman Baset, Marcio Silva, Nicholas Wakou |
SPEC Cloud™ IaaS 2016 Benchmark. |
ICPE |
2017 |
DBLP DOI BibTeX RDF |
|
39 | Alexandru Iosup, Samuel Kounev, Kai Sachs |
SPEC Research Group's Cloud Working Group: RG Cloud Group. |
ICPE |
2016 |
DBLP DOI BibTeX RDF |
|
39 | Luigi Palopoli 0001, Andrea Schaerf |
The \sc np-spec{\sc np-spec} Project. |
Intelligenza Artificiale |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Shicong Meng, Ling Liu 0001 |
Monitoring-as-a-service in the cloud: spec phd award (invited abstract). |
ICPE |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Pippa Smart |
SPEC Kit 299: Scholarly Communication Education Initiatives, August 2007 and SPEC Kit 300: Open Access Resources, September 2007. |
Learn. Publ. |
2008 |
DBLP DOI BibTeX RDF |
|
37 | K. Rustan M. Leino, Rosemary Monahan |
Reasoning about comprehensions with first-order SMT solvers. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
Spec#, matching triggers, quantifiers, SMT solvers |
37 | Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S. McKinley, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Bok Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann |
The DaCapo benchmarks: java benchmarking development and analysis. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
DaCapo, Java, benchmark, methodology, SPEC |
37 | Mary Mehrnoosh Eshaghian, Ying-Chieh Wu |
Mapping heterogeneous task graphs onto heterogeneous system graphs. |
Heterogeneous Computing Workshop |
1997 |
DBLP DOI BibTeX RDF |
heterogeneous task graphs mapping, heterogeneous system graphs, heterogeneous task graphs, multilayer clustered graph, Spec graph, Rep graph, suboptimal matching, computational complexity |
36 | Arun Kejariwal, Xinmin Tian, Milind Girkar, Wei Li 0015, Sergey Kozhukhov, Utpal Banerjee, Alexandru Nicolau, Alexander V. Veidenbaum, Constantine D. Polychronopoulos |
Tight analysis of the performance potential of thread speculation using spec CPU 2006. |
PPoPP |
2007 |
DBLP DOI BibTeX RDF |
conflict probability, misspeculation penalty, threading overhead, performance evaluation, speculative execution |
36 | Dong Ye 0004, Joydeep Ray, Christophe Harle, David R. Kaeli |
Performance Characterization of SPEC CPU2006 Integer Benchmarks on x86-64 Architecture. |
IISWC |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Jonathan Jacky |
Model-Based Testing with Spec#. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Dimitrios S. Nikolopoulos, Eduard Ayguadé |
A Study of Implicit Data Distribution Methods for OpenMP Using the SPEC Benchmarks. |
WOMPAT |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Jens Simon, Marco Vieth, Reinhold Weicker |
Workload Analysis of Computation Intensive Tasks: Case Study on SPEC CPU95 Benchmarks. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Fei Sun, Tong Zhang 0002 |
Parallel high-throughput limited search trellis decoder VLSI design. |
IEEE Trans. Very Large Scale Integr. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal |
A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann |
Online testing with model programs. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
conformance testing, runtime verification, interface automata |
34 | Richard C. Murphy, Arun Rodrigues, Peter M. Kogge, Keith D. Underwood |
The implications of working set analysis on supercomputing memory hierarchy design. |
ICS |
2005 |
DBLP DOI BibTeX RDF |
performance modeling, supercomputing, working set |
34 | Dominique Canazzi |
yaRTI, an Ada 95 HLA Run-Time Infrastructure. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Richard Uhlig, David Nagle, Trevor N. Mudge, Stuart Sechrest, Joel S. Emer |
Instruction Fetching: Coping with Code Bloat. |
ISCA |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Hans-Jörg Kreowski, Zhenyu Qian |
Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results. |
STACS |
1990 |
DBLP DOI BibTeX RDF |
|
28 | Stefan Leue, Alin Stefanescu, Wei Wei 0015 |
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. |
TOOLS (46) |
2008 |
DBLP DOI BibTeX RDF |
AsmL, Rose-RT, Spec Explorer, model checking, model-based testing, formal semantics, UML-RT, dynamic structures |
28 | ElMoustapha Ould-Ahmed-Vall, James Woodlee, Charles Yount, Kshitij A. Doshi, Seth Abraham |
Using Model Trees for Computer Architecture Performance Analysis of Software Applications. |
ISPASS |
2007 |
DBLP DOI BibTeX RDF |
superscalar machine, computer architecture performance analysis, tuning software, statistical regression modeling, M5' algorithm, SPEC CPU2006 suite, performance model tree, prefetching, software application |
28 | Wangyuan Zhang, Xin Fu, Tao Li 0006, José A. B. Fortes |
An Analysis of Microarchitecture Vulnerability to Soft Errors on Simultaneous Multithreaded Architectures. |
ISPASS |
2007 |
DBLP DOI BibTeX RDF |
thread-aware reliability optimization, microarchitecture vulnerability, simultaneous multithreaded architecture, semiconductor transient fault, microprocessor reliability, processor throughput, soft error vulnerability analysis, SPEC CPU 2000 benchmark, microarchitecture structure, microarchitecture reliability profile, fetch policy, thread-level parallelism, multithreading architecture |
28 | Chang-Burm Cho, Tao Li 0006 |
Using Wavelet Domain Workload Execution Characteristics to Improve Accuracy, Scalability and Robustness in Program Phase Analysis. |
ISPASS |
2007 |
DBLP DOI BibTeX RDF |
program execution variability, workload execution statistics, program phase analysis, computer architecture design, computer architecture optimization, program execution statistics, SPEC CPU 2000 benchmark, wavelet domain phase analysis, runtime workload execution characteristics, scalable phase analysis, sampled workload statistics, phase classification accuracy, wavelet transform, time domain, wavelet denoising |
28 | Jesús Alastruey, José Luis Briz, Pablo Ibáñez, Víctor Viñals |
Software Demand, Hardware Supply. |
IEEE Micro |
2006 |
DBLP DOI BibTeX RDF |
SPEC CPU, software, hardware, Moore's law |
28 | Roland E. Wunderlich, Thomas F. Wenisch, Babak Falsafi, James C. Hoe |
Statistical sampling of microarchitecture simulation. |
ACM Trans. Model. Comput. Simul. |
2006 |
DBLP DOI BibTeX RDF |
Microarchitecture simulation, SPEC CPU2000 simulation, cold-start bias, simulation sampling, statistical sampling |
28 | Manohar K. Prabhu, Kunle Olukotun |
Exposing speculative thread parallelism in SPEC2000. |
PPoPP |
2005 |
DBLP DOI BibTeX RDF |
SPEC CPU2000, feedback-driven optimization, manual parallel programming, chip multiprocessors, multithreading, thread-level speculation |
28 | Chunho Lee, Miodrag Potkonjak, William H. Mangione-Smith |
MediaBench: A Tool for Evaluating and Synthesizing Multimedia and Communicatons Systems. |
MICRO |
1997 |
DBLP DOI BibTeX RDF |
MediaBench, SPEC benchmark suite, benchmark suite, compilation technology, experimental measurement, general-purpose computing, general-purpose systems, inner-loops, optimization, multimedia systems, instruction-level parallelism, SIMD, VLIW, communications systems, embedded applications, microprocessor architectures |
28 | Heng Liao, Andrew Wolfe |
Available Parallelism in Video Applications. |
MICRO |
1997 |
DBLP DOI BibTeX RDF |
MPEG1, MPEG2, SPEC benchmarks, audio applications, general-purpose applications, linear complexity global scheduling algorithm, video coding, encoders, instruction-level parallelism, decoders, optimization techniques, MPEG4, H.263, media processors, video applications, graphics applications |
28 | Pablo Ibáñez, Víctor Viñals |
Performance Assessment of Contents Management in Multilevel On-Chip Caches. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
multilevel on-chip caches, Inclusion contents management, Exclusion, second-level cache miss ratio, system CPI, floating point SPEC'92 benchmarks, performance metrics, contents management, cache storage, design space, performance assessment, Demand |
28 | Sameh Sharkawi, Don DeSota, Raj Panda, Rajeev Indukuru, Stephen Stevens, Valerie E. Taylor, Xingfu Wu |
Performance projection of HPC applications using SPEC CFP2006 benchmarks. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson |
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Dibyendu Das 0001, Madhavi Valluri, Michael Wong, Chris Cambly |
Speeding up STL Set/Map Usage in C++ Applications. |
SIPEW |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Larry D. Gray, Anil Kumar, Harry H. Li |
Workload Characterization of the SPECpower_ssj2008 Benchmark. |
SIPEW |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Sylvain Boulmé, Marie-Laure Potet |
Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Michael Barnett 0001, Robert DeLine, Manuel Fähndrich, Bart Jacobs 0002, K. Rustan M. Leino, Wolfram Schulte, Herman Venter |
The Spec# Programming System: Challenges and Directions. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Xinmin Tian, Rakesh Krishnaiyer, Hideki Saito 0001, Milind Girkar, Wei Li 0015 |
Impact of Compiler-based Data-Prefetching Techniques on SPEC OMP Application Performance. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Hussein Al-Zoubi, Aleksandar Milenkovic, Milena Milenkovic |
Performance evaluation of cache replacement policies for the SPEC CPU2000 benchmark suite. |
ACM Southeast Regional Conference |
2004 |
DBLP DOI BibTeX RDF |
performance evaluation, cache memory, replacement policy |
28 | |
The Use and Abuse of SPEC: An ISCA Panel. |
IEEE Micro |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Gokul B. Kandiraju, Anand Sivasubramaniam |
Characterizing the d-TLB behavior of SPEC CPU2000 benchmarks. |
SIGMETRICS |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Kathryn S. McKinley, Olivier Temam |
Quantifying loop nest locality using SPEC'95 and the perfect benchmarks. |
ACM Trans. Comput. Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Noel Menezes, Chung-Ping Chen |
Spec-Based Repeater Insertion and Wire Sizing for On-chip Interconnect. |
VLSI Design |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Valdis Berzins |
The design of software interfaces in Spec. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Yi-Ting Huang, Fan-Tien Cheng, Min-Hsiung Hung |
Developing a product quality fault detection scheme. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Venkatesan Packirisamy, Antonia Zhai, Wei-Chung Hsu, Pen-Chung Yew, Tin-Fook Ngai |
Exploring speculative parallelism in SPEC2006. |
ISPASS |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Henry Kasim, Verdi March, Simon See |
Performance Comparison of Four-Socket Server Architecture on HPC Workload. |
CSE (1) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Reza Ameri, R. Mahjoob, M. Mootamani |
The Zariski topology on the spectrum of prime L -submodules. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
Prime L-submodules, Fuzzy prime spectrum, L-top modules, Zariski topology |
Displaying result #1 - #100 of 1745 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|