The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for SPEC with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1970-1990 (16) 1991-1994 (23) 1995-1996 (15) 1997 (15) 1998-1999 (26) 2000 (16) 2001 (20) 2002 (42) 2003 (48) 2004 (81) 2005 (89) 2006 (106) 2007 (112) 2008 (109) 2009 (64) 2010 (23) 2011-2012 (22) 2013 (60) 2014 (41) 2015 (57) 2016 (70) 2017 (116) 2018 (92) 2019 (69) 2020 (63) 2021 (84) 2022 (58) 2023 (115) 2024 (93)
Publication types (Num. hits)
article(184) incollection(6) inproceedings(1532) proceedings(23)
Venues (Conferences, Journals, ...)
ICPE(472) ICPE (Companion)(206) ICPE Companion(156) MICRO(37) ICS(29) HPCA(25) CGO(23) ISCA(23) SIGARCH Comput. Archit. News(23) SIPEW(21) IEEE Trans. Computers(19) IPDPS(18) ICCD(17) CoRR(16) ISPASS(16) IEEE PACT(15) More (+10 of total 325)
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
118Matthias 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. Search on Bibsonomy ISHPC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF SPEC OMP, SPEC HPC, Performance Evaluation, Benchmark, MPI, High-Performance Computing, OpenMP
104Lodewijk Bonebakker Comparison of the SPEC CPU Benchmarks with 499 Other Workloads Using Hardware Counters. Search on Bibsonomy SIPEW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SPEC CPU2000, SPEC CPU2006, benchmark, workloads, workload characterization, comparison
98Hideki 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. Search on Bibsonomy ISHPC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF SPEC OMP2001, Performance Evaluation, Benchmarks, High-Performance Computing, OpenMP
98Karthik Ganesan 0006, Deepak Panwar, Lizy K. John Generation, Validation and Analysis of SPEC CPU2006 Simulation Points Based on Branch, Memory and TLB Characteristics. Search on Bibsonomy SPEC Benchmark Workshop The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
89Kumaran Kalyanasundaram SPEC HPG - SPEC HPG benchmarks. Search on Bibsonomy SC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
84Joshua J. Yi, Hans Vandierendonck, Lieven Eeckhout, David J. Lilja The exigency of benchmark and compiler drift: designing tomorrow's processors with yesterday's tools. Search on Bibsonomy ICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF benchmark drift, compiler drift, microprocessor design
82Kumar Shiv, Kingsum Chow, Yanping Wang, Dmitry Petrochenko SPECjvm2008 Performance Characterization. Search on Bibsonomy SPEC Benchmark Workshop The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Java Performance, Workload Characterization, SPEC
81ElMoustapha Ould-Ahmed-Vall, Kshitij A. Doshi, Charles Yount, James Woodlee Characterization of SPEC CPU2006 and SPEC OMP2001: Regression Models and their Transferability. Search on Bibsonomy ISPASS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
73Klaus-Dieter Lange The Next Frontier for Power/Performance Benchmarking: Energy Efficiency of Storage Subsystems. Search on Bibsonomy SPEC Benchmark Workshop The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Performance, Benchmark, Power, Energy, Storage, Server, Datacenter, SPEC
70Ciji Isen, Lizy K. John, Eugene John A Tale of Two Processors: Revisiting the RISC-CISC Debate. Search on Bibsonomy SPEC Benchmark Workshop The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
70John L. Henning SPECrate2006: Alternatives Considered, Lessons Learned. Search on Bibsonomy SPEC Benchmark Workshop The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
65Aashish Phansalkar, Ajay Joshi, Lizy Kurian John Analysis of redundancy and application balance in the SPEC CPU2006 benchmark suite. Search on Bibsonomy ISCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF microprocessor performance counters, clustering, benchmark, SPEC
62Darshan Desai, Gerolf Hoflehner, Arun Kejariwal, Daniel M. Lavery, Alexandru Nicolau, Alexander V. Veidenbaum, Cameron McNairy Performance Characterization of Itanium® 2-Based Montecito Processor. Search on Bibsonomy SPEC Benchmark Workshop The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
61K. Rustan M. Leino Specifying and Verifying Programs in Spec#. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
61Kyle Rupnow, Arun Rodrigues, Keith D. Underwood, Katherine Compton Scientific applications vs. SPEC-FP: a comparison of program behavior. Search on Bibsonomy ICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
61JunSeong Kim, JongSu Yi Performance sensitivity of SPEC CPU2000 over operating frequency. Search on Bibsonomy ISICT The full citation details ... 2004 DBLP  BibTeX  RDF
61John L. Henning SPEC CPU2000: Measuring CPU Performance in the New Millennium. Search on Bibsonomy Computer The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
56Arun Kejariwal, Gerolf Hoflehner, Darshan Desai, Daniel M. Lavery, Alexandru Nicolau, Alexander V. Veidenbaum Comparative characterization of SPEC CPU2000 and CPU2006 on Itanium architecture. Search on Bibsonomy SIGMETRICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SPEC CPU benchmarks, performance evaluation, caches, branch prediction
54Nathan R. Fredrickson, Ahmad Afsahi, Ying Qian Performance characteristics of openMP constructs, and application benchmarks on a large symmetric multiprocessor. Search on Bibsonomy ICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF NAS OpenMP, SPEC OMPL2001, performance evaluation, high-performance computing, OpenMP, SMP
53David R. Kaeli, Kai Sachs (eds.) Computer Performance Evaluation and Benchmarking, SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings Search on Bibsonomy SPEC Benchmark Workshop The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
53Alexandre Brandwajn, Thomas Begin A Note on the Effects of Service Time Distribution in the M/G/1 Queue. Search on Bibsonomy SPEC Benchmark Workshop The full citation details ... 2009 DBLP  DOI  BibTeX  RDF higher-order effects, performance evaluation, finite buffers, M/G/1 queue
53Chang-Burm Cho, Wangyuan Zhang, Tao Li 0006 Thermal Design Space Exploration of 3D Die Stacked Multi-core Processors Using Geospatial-Based Predictive Models. Search on Bibsonomy SPEC Benchmark Workshop The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Thermal/power characterization, 3D die stacking, analytical modeling, multi-core architecture
53Vlastimil Babka, Petr Tuma 0001 Investigating Cache Parameters of x86 Family Processors. Search on Bibsonomy SPEC Benchmark Workshop The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
53Daniel Citron MisSPECulation: Partial and Misleading Use of SPEC CPU2000 in Computer Architecture Conferences. Search on Bibsonomy ISCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
53Rudolf Eigenmann, Greg Gaertner, Wesley B. Jones, Hideki Saito 0001, Brian Whitney SPEC HPC2002: The Next High-Performance Computer Benchmark. Search on Bibsonomy ISHPC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
51Hans-Jörg Kreowski Partial Algebras Flow From Algebraic Specifications. Search on Bibsonomy ICALP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
48Karl Fürlinger, Michael Gerndt, Jack J. Dongarra Scalability Analysis of the SPEC OpenMP Benchmarks on Large-Scale Shared Memory Multiprocessors. Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Shared Memory Multiprocessors, SPEC
48Shengchao Qin, Guanhua He Linking Object-Z with Spec#. Search on Bibsonomy ICECCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Spec#, pre/post conditions, verification, Formal specification, Object-Z
48Swathi Tanjore Gurumani, Aleksandar Milenkovic Execution characteristics of SPEC CPU2000 benchmarks: Intel C++ vs. Microsoft VC++. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF SPEC CPU2000 benchmarks, event-based sampling, performance evaluation, compiler optimizations
47Zoltán Szebenyi, Brian J. N. Wylie, Felix Wolf 0001 SCALASCA Parallel Performance Analyses of SPEC MPI2007 Applications. Search on Bibsonomy SIPEW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Parallel/distributed systems, Benchmark suite, Performance measurement & analysis tools, Application tracing & profiling
47Zdenko Prohaska, Ivan Uroda, M. Spec, Stella Suljic SP - A computer program for fundamental analysis of stocks. Search on Bibsonomy MIPRO The full citation details ... 2011 DBLP  BibTeX  RDF
47Hansi A. Spec HANSI Evaluates Algebraic Specifications - You will love it. Search on Bibsonomy ADT The full citation details ... 1986 DBLP  BibTeX  RDF
45Wael M. Elseaidy Static and dynamic analysis of real-time systems. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 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
45Arun A. Nair, Lizy K. John Simulation points for SPEC CPU 2006. Search on Bibsonomy ICCD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes Testing Concurrent Object-Oriented Systems with Spec Explorer. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
45Andy Georges, Lieven Eeckhout, Koen De Bosschere Comparing Low-Level Behavior of SPEC CPU and Java Workloads. Search on Bibsonomy Asia-Pacific Computer Systems Architecture Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
45Jason F. Cantin, Mark D. Hill Cache performance for selected SPEC CPU2000 benchmarks. Search on Bibsonomy SIGARCH Comput. Archit. News The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
45Vishal Aslot, Rudolf Eigenmann Performance characteristics of the SPEC OMP2001 benchmarks. Search on Bibsonomy SIGARCH Comput. Archit. News The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
45Marco Cadoli, Luigi Palopoli 0001, Andrea Schaerf, Domenico Vasile NP-SPEC: An Executable Specification Language for Solving All Problems in NP. Search on Bibsonomy PADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
45Jozo J. Dujmovic, Ivo Dujmovic Evolution and evaluation of SPEC benchmarks. Search on Bibsonomy SIGMETRICS Perform. Evaluation Rev. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39José Ignacio Gómez, Luis Piñuel, Manuel Prieto 0001, Francisco Tirado Analysis of simulation-adapted SPEC 2000 benchmarks. Search on Bibsonomy SIGARCH Comput. Archit. News The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Reduced input datasets, Spec CPU 2000, Execution-driven simulation, Fast-forwarding, Hardware counters
39André 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. Search on Bibsonomy ICPE (Companion) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
39Maximilian 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. Search on Bibsonomy ICPE (Companion) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
39Yuetsu Kodama, Masaaki Kondo, Mitsuhisa Sato Evaluation of SPEC CPU and SPEC OMP on the A64FX. Search on Bibsonomy CLUSTER The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
39Norbert Schmitt, Klaus-Dieter Lange, Sanjay Sharma, Aaron Cragin, David Reiner, Samuel Kounev SPEC - Spotlight on the International Standards Group (ISG). Search on Bibsonomy ICPE (Companion) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
39Siraj Muhammad, Matthew N. Dailey, Muhammad Farooq, Muhammad Faran Majeed, Mongkol Ekpanyapong Spec-Net and Spec-CGAN: Deep learning models for specularity removal from faces. Search on Bibsonomy Image Vis. Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
39Erwin Van Eyk, Joel Scheuner, Simon Eismann, Cristina L. Abad, Alexandru Iosup Beyond Microbenchmarks: The SPEC-RG Vision for a Comprehensive Serverless Benchmark. Search on Bibsonomy ICPE Companion The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
39Norbert Schmitt, James Bucek, Klaus-Dieter Lange, Samuel Kounev Energy Efficiency Analysis of Compiler Optimizations on the SPEC CPU 2017 Benchmark Suite. Search on Bibsonomy ICPE Companion The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
39Ranjan Hebbar S. R, Aleksandar Milenkovic SPEC CPU2017: Performance, Event, and Energy Characterization on the Core i7-8700K. Search on Bibsonomy ICPE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
39Sarabjeet Singh, Manu Awasthi Memory Centric Characterization and Analysis of SPEC CPU2017 Suite. Search on Bibsonomy ICPE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
39Erwin 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. Search on Bibsonomy ICPE Companion The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
39James Bucek, Klaus-Dieter Lange, Jóakim von Kistowski SPEC CPU2017: Next-Generation Compute Benchmark. Search on Bibsonomy ICPE Companion The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
39Dibyendu Das 0005, Prakash Raghavendra, Arun Ramachandran SPECnet: Predicting SPEC Scores using Deep Learning. Search on Bibsonomy ICPE Companion The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
39Salman Baset, Marcio Silva, Nicholas Wakou SPEC Cloud™ IaaS 2016 Benchmark. Search on Bibsonomy ICPE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
39Alexandru Iosup, Samuel Kounev, Kai Sachs SPEC Research Group's Cloud Working Group: RG Cloud Group. Search on Bibsonomy ICPE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
39Luigi Palopoli 0001, Andrea Schaerf The \sc np-spec{\sc np-spec} Project. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
39Shicong Meng, Ling Liu 0001 Monitoring-as-a-service in the cloud: spec phd award (invited abstract). Search on Bibsonomy ICPE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
39Pippa Smart SPEC Kit 299: Scholarly Communication Education Initiatives, August 2007 and SPEC Kit 300: Open Access Resources, September 2007. Search on Bibsonomy Learn. Publ. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37K. Rustan M. Leino, Rosemary Monahan Reasoning about comprehensions with first-order SMT solvers. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Spec#, matching triggers, quantifiers, SMT solvers
37Stephen 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. Search on Bibsonomy OOPSLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF DaCapo, Java, benchmark, methodology, SPEC
37Mary Mehrnoosh Eshaghian, Ying-Chieh Wu Mapping heterogeneous task graphs onto heterogeneous system graphs. Search on Bibsonomy Heterogeneous Computing Workshop The full citation details ... 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
36Arun 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. Search on Bibsonomy PPoPP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF conflict probability, misspeculation penalty, threading overhead, performance evaluation, speculative execution
36Dong Ye 0004, Joydeep Ray, Christophe Harle, David R. Kaeli Performance Characterization of SPEC CPU2006 Integer Benchmarks on x86-64 Architecture. Search on Bibsonomy IISWC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Jonathan Jacky Model-Based Testing with Spec#. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Dimitrios S. Nikolopoulos, Eduard Ayguadé A Study of Implicit Data Distribution Methods for OpenMP Using the SPEC Benchmarks. Search on Bibsonomy WOMPAT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
36Jens Simon, Marco Vieth, Reinhold Weicker Workload Analysis of Computation Intensive Tasks: Case Study on SPEC CPU95 Benchmarks. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
34Fei Sun, Tong Zhang 0002 Parallel high-throughput limited search trellis decoder VLSI design. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Ana 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. Search on Bibsonomy ICFEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann Online testing with model programs. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF conformance testing, runtime verification, interface automata
34Richard C. Murphy, Arun Rodrigues, Peter M. Kogge, Keith D. Underwood The implications of working set analysis on supercomputing memory hierarchy design. Search on Bibsonomy ICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF performance modeling, supercomputing, working set
34Dominique Canazzi yaRTI, an Ada 95 HLA Run-Time Infrastructure. Search on Bibsonomy Ada-Europe The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
34Richard Uhlig, David Nagle, Trevor N. Mudge, Stuart Sechrest, Joel S. Emer Instruction Fetching: Coping with Code Bloat. Search on Bibsonomy ISCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
34Hans-Jörg Kreowski, Zhenyu Qian Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results. Search on Bibsonomy STACS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
28Stefan Leue, Alin Stefanescu, Wei Wei 0015 An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. Search on Bibsonomy TOOLS (46) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AsmL, Rose-RT, Spec Explorer, model checking, model-based testing, formal semantics, UML-RT, dynamic structures
28ElMoustapha Ould-Ahmed-Vall, James Woodlee, Charles Yount, Kshitij A. Doshi, Seth Abraham Using Model Trees for Computer Architecture Performance Analysis of Software Applications. Search on Bibsonomy ISPASS The full citation details ... 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
28Wangyuan Zhang, Xin Fu, Tao Li 0006, José A. B. Fortes An Analysis of Microarchitecture Vulnerability to Soft Errors on Simultaneous Multithreaded Architectures. Search on Bibsonomy ISPASS The full citation details ... 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
28Chang-Burm Cho, Tao Li 0006 Using Wavelet Domain Workload Execution Characteristics to Improve Accuracy, Scalability and Robustness in Program Phase Analysis. Search on Bibsonomy ISPASS The full citation details ... 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
28Jesús Alastruey, José Luis Briz, Pablo Ibáñez, Víctor Viñals Software Demand, Hardware Supply. Search on Bibsonomy IEEE Micro The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SPEC CPU, software, hardware, Moore's law
28Roland E. Wunderlich, Thomas F. Wenisch, Babak Falsafi, James C. Hoe Statistical sampling of microarchitecture simulation. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Microarchitecture simulation, SPEC CPU2000 simulation, cold-start bias, simulation sampling, statistical sampling
28Manohar K. Prabhu, Kunle Olukotun Exposing speculative thread parallelism in SPEC2000. Search on Bibsonomy PPoPP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF SPEC CPU2000, feedback-driven optimization, manual parallel programming, chip multiprocessors, multithreading, thread-level speculation
28Chunho Lee, Miodrag Potkonjak, William H. Mangione-Smith MediaBench: A Tool for Evaluating and Synthesizing Multimedia and Communicatons Systems. Search on Bibsonomy MICRO The full citation details ... 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
28Heng Liao, Andrew Wolfe Available Parallelism in Video Applications. Search on Bibsonomy MICRO The full citation details ... 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
28Pablo Ibáñez, Víctor Viñals Performance Assessment of Contents Management in Multilevel On-Chip Caches. Search on Bibsonomy EUROMICRO The full citation details ... 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
28Sameh Sharkawi, Don DeSota, Raj Panda, Rajeev Indukuru, Stephen Stevens, Valerie E. Taylor, Xingfu Wu Performance projection of HPC applications using SPEC CFP2006 benchmarks. Search on Bibsonomy IPDPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Search on Bibsonomy Formal Methods and Testing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Dibyendu Das 0001, Madhavi Valluri, Michael Wong, Chris Cambly Speeding up STL Set/Map Usage in C++ Applications. Search on Bibsonomy SIPEW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Larry D. Gray, Anil Kumar, Harry H. Li Workload Characterization of the SPECpower_ssj2008 Benchmark. Search on Bibsonomy SIPEW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Sylvain Boulmé, Marie-Laure Potet Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions. Search on Bibsonomy B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Michael 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. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Xinmin Tian, Rakesh Krishnaiyer, Hideki Saito 0001, Milind Girkar, Wei Li 0015 Impact of Compiler-based Data-Prefetching Techniques on SPEC OMP Application Performance. Search on Bibsonomy IPDPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Hussein Al-Zoubi, Aleksandar Milenkovic, Milena Milenkovic Performance evaluation of cache replacement policies for the SPEC CPU2000 benchmark suite. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF performance evaluation, cache memory, replacement policy
28 The Use and Abuse of SPEC: An ISCA Panel. Search on Bibsonomy IEEE Micro The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Gokul B. Kandiraju, Anand Sivasubramaniam Characterizing the d-TLB behavior of SPEC CPU2000 benchmarks. Search on Bibsonomy SIGMETRICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Kathryn S. McKinley, Olivier Temam Quantifying loop nest locality using SPEC'95 and the perfect benchmarks. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Noel Menezes, Chung-Ping Chen Spec-Based Repeater Insertion and Wire Sizing for On-chip Interconnect. Search on Bibsonomy VLSI Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Valdis Berzins The design of software interfaces in Spec. Search on Bibsonomy ICCL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
25Yi-Ting Huang, Fan-Tien Cheng, Min-Hsiung Hung Developing a product quality fault detection scheme. Search on Bibsonomy ICRA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Venkatesan Packirisamy, Antonia Zhai, Wei-Chung Hsu, Pen-Chung Yew, Tin-Fook Ngai Exploring speculative parallelism in SPEC2006. Search on Bibsonomy ISPASS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Henry Kasim, Verdi March, Simon See Performance Comparison of Four-Socket Server Architecture on HPC Workload. Search on Bibsonomy CSE (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Reza Ameri, R. Mahjoob, M. Mootamani The Zariski topology on the spectrum of prime L -submodules. Search on Bibsonomy Soft Comput. The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license