Search results for "trace reduction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Scott F. Kaplan, Yannis Smaragdakis, Paul R. Wilson	Flexible reference trace reduction for VM simulations.	ACM Trans. Model. Comput. Simul.	2003	DBLP DOI BibTeX RDF	reference traces, locality, cache hierarchies, trace reduction, trace compression
3	Wei Jin, Xiaobai Sun, Jeffrey S. Chase	FastSlim: prefetch-sfe trace reduction for I/O cache simulation.	ACM Trans. Model. Comput. Simul.	2001	DBLP DOI BibTeX RDF	I/O architectures, performance evaluation, operating systems, prefetching, virtual memory, trace-driven simulation, file caching, trace reduction
2	Simon St. James, Ulrich Ultes-Nitsche	Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness.	PODC	2001	DBLP DOI BibTeX RDF	behaviour abstraction, satisfaction within fairness, weakly continuation-closed homomorphisms, partial-order methods, trace reduction
2	Eric E. Johnson, Jiheng Ha, Baqar Zaidi	Lossless Trace Compression.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	trace-driven simulation, lossless coding, Trace reduction, trace compression
2	E. Pascal Gribomont	Atomicity Refinement and Trace Reduction Theorems.	CAV	1996	DBLP DOI BibTeX RDF
2	Tien-Fu Chen	Efficient trace-sampling simulation techniques for cache performance analysis.	Annual Simulation Symposium	1996	DBLP DOI BibTeX RDF	efficient trace sampling simulation techniques, cache performance analysis, large cache simulation, space sampling technique, index of locality, trace references, time sampling approach, inter loop intervals, time sampling technique, representative performance results, loop execution, simulation time, small estimate errors, performance evaluation, virtual machines, digital simulation, performance metric, cache storage, stratified sampling, loop iterations, trace reduction
1	Kathryn Mohror, Karen L. Karavanic	Evaluating similarity-based trace reduction techniques for scalable performance analysis.	SC	2009	DBLP DOI BibTeX RDF
1	Kiyeon Lee, Shayne Evans, Sangyeun Cho	Accurately approximating superscalar processor performance from traces.	ISPASS	2009	DBLP DOI BibTeX RDF
1	Peter Kemper, Carsten Tepper	Automated Trace Analysis of Discrete-Event System Models.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
1	Lindsay Groves	Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction.	CATS	2008	DBLP BibTeX RDF
1	Bas Cornelissen, Leon Moonen, Andy Zaidman	An assessmentmethodology for trace reduction techniques.	ICSM	2008	DBLP DOI BibTeX RDF
1	Khaled El-Fakih, Nina Yevtushenko	Progressive Solutions to FSM Equations.	CIAA	2008	DBLP DOI BibTeX RDF
1	Chung-Fu Kao, Ing-Jer Huang, Chi-Hung Lin	An Embedded Multi-resolution AMBA Trace Analyzer for Microprocessor-based SoC Integration.	DAC	2007	DBLP DOI BibTeX RDF
1	Peter Kemper, Carsten Tepper	Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior.	QEST	2007	DBLP DOI BibTeX RDF
1	Fumihiko Ino, Yuki Kanbe, Masao Okita, Kenichi Hagihara	Trace reduction for performance improvement assessment of message passing parallel programs.	Systems and Computers in Japan	2006	DBLP DOI BibTeX RDF
1	Xiaofeng Gao, Allan Snavely, Larry Carter	Path Grammar Guided Trace Compression and Trace Approximation.	HPDC	2006	DBLP DOI BibTeX RDF	path grammar guided trace compression, trace approximation, PGGTC, Sequitur algorithm, selective dumping, memory signature, parallel computer, computer architecture, parallel machine, trace-driven simulation, cache storage
1	Richard Uhlig, Trevor N. Mudge	Trace-Driven Memory Simulation: A Survey.	Performance Evaluation	2000	DBLP DOI BibTeX RDF
1	Scott F. Kaplan, Yannis Smaragdakis, Paul R. Wilson	Trace Reduction for Virtual Memory Simulations.	SIGMETRICS	1999	DBLP DOI BibTeX RDF
1	Wen-Hann Wang, Jean-Loup Baer	Efficient Trace-Driven Simulation Methods for Cache Performance Analysis.	ACM Trans. Comput. Syst.	1991	DBLP DOI BibTeX RDF	cache memory, trace-driven simulation, trace reduction
1	Wen-Hann Wang, Jean-Loup Baer	Efficient Trace-Driven Simulation Methods for Cache Performance Analysis.	SIGMETRICS	1990	DBLP DOI BibTeX RDF
1	Philip G. Emma, Edward S. Davidson	Characterization of Branch and Data Dependencies in Programs for Evaluating Pipeline Performance.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF	Branch delay, performance analysis, pipeline, data dependency, program trace, trace reduction