The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1962-1972 (16) 1973-1975 (16) 1976-1980 (16) 1981-1983 (24) 1984-1985 (29) 1986-1987 (34) 1988 (36) 1989 (39) 1990 (55) 1991 (50) 1992 (68) 1993 (78) 1994 (108) 1995 (113) 1996 (102) 1997 (113) 1998 (85) 1999 (161) 2000 (167) 2001 (194) 2002 (259) 2003 (275) 2004 (357) 2005 (449) 2006 (506) 2007 (535) 2008 (557) 2009 (444) 2010 (206) 2011 (194) 2012 (182) 2013 (198) 2014 (221) 2015 (225) 2016 (217) 2017 (257) 2018 (209) 2019 (232) 2020 (280) 2021 (315) 2022 (277) 2023 (253) 2024 (68)
Publication types (Num. hits)
article(2707) book(4) data(1) incollection(36) inproceedings(5398) phdthesis(74)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5340 occurrences of 2663 keywords

Results
Found 8231 publication records. Showing 8220 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
114Yabo Wang, David Lorge Parnas Simulating the Behavior of Software Modules by Trace Rewriting. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF software module behavior simulation, trace rewriting, trace assertion method, module interface specification method, specification simulation tool, trace simulator, trace specifications, trace rewriting systems, trace simulation, simulation, formal specification, finite state machines, digital simulation, term rewriting, rewriting systems, finite state machine model
95Xiaofeng Gao 0003, Allan Snavely, Larry Carter Path Grammar Guided Trace Compression and Trace Approximation. Search on Bibsonomy HPDC The full citation details ... 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
94Roni Rosner, Avi Mendelson, Ronny Ronen Filtering Techniques to Improve Trace-Cache Efficiency. Search on Bibsonomy IEEE PACT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
86Alex Ramírez, Josep Lluís Larriba-Pey, Mateo Valero Trace Cache Redundancy: Red & Blue Traces. Search on Bibsonomy HPCA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF trace cache, instruction fetch, code reordering
82Stefan M. Freudenberger, Thomas R. Gross, P. Geoffrey Lowney Avoidance and Suppression of Compensation Code in a Trace Scheduling Compiler. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF SPEC89, performance evaluation, instruction-level parallelism, trace scheduling
71Eric E. Johnson, Jiheng Ha, Baqar Zaidi Lossless Trace Compression. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2001 DBLP  DOI  BibTeX  RDF trace-driven simulation, lossless coding, Trace reduction, trace compression
71Eric Rotenberg, Quinn Jacobson, Yiannakis Sazeides, James E. Smith 0001 Trace Processors. Search on Bibsonomy MICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF trace processors, multiscalar processors, next trace prediction, selective reissuing, context-based value prediction, trace cache
71Bryan Black, Bohuslav Rychlik, John Paul Shen The Block-Based Trace Cache. Search on Bibsonomy ISCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
70Scott F. Kaplan, Yannis Smaragdakis, Paul R. Wilson 0001 Flexible reference trace reduction for VM simulations. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF reference traces, locality, cache hierarchies, trace reduction, trace compression
70Pradeep K. Dubey, Ravi Nair Profile-Driven Generation of Trace Samples. Search on Bibsonomy ICCD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF performance analysis, profiling, Trace driven simulation, trace generation
63Yungang Bao, Mingyu Chen 0001, Yuan Ruan, Li Liu 0038, Jianping Fan 0002, Qingbo Yuan, Bo Song, Jianwei Xu HMTT: a platform independent full-system memory trace monitoring system. Search on Bibsonomy SIGMETRICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF DIMM, HMTT, memory trace, real system
62Ching-Farn Eric Wu, Yew-Huey Liu, Yarsun Hsu Timestamp consistency and trace-driven analysis for distributed parallel systems. Search on Bibsonomy IPPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF IBM computers, timestamp consistency, trace-driven analysis, distributed parallel systems, continuous event data stream, parallel program execution progress, separate streams, logical event order, local clock discrepancy, performance analysis techniques, IBM SPn systems, system events, minimal trace overhead, trace-driven analysis tools, NAS kernel benchmarks, performance evaluation, parallel processing, message passing, message passing, timing, parallel machines, clocks, system monitoring, integrated approach, multiple processors
62Mark A. Holliday, Carla Schlatter Ellis Accuracy of Memory Reference Traces of Parallel Computations in Trace-Driven Simulation. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF load sequences, memory reference traces, trace-drive simulation, global trace, shared memory multiprocessingenvironment, address change points, address affecting points, process traces, intrinsic trace, address flow graph, store sequences, partial program reexecution, graph-traceable, parallel program, parallel programming, parallel computations, memory management, storage management, memory architecture, path expressions
62Sanjay J. Patel, Marius Evers, Yale N. Patt Improving Trace Cache Effectiveness with Branch Promotion and Trace Packing. Search on Bibsonomy ISCA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
61Richard Uhlig, Trevor N. Mudge Trace-Driven Memory Simulation: A Survey. Search on Bibsonomy Performance Evaluation The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
61Quinn Jacobson, James E. Smith 0001 Trace preconstruction. Search on Bibsonomy ISCA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
60Madeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer Reducing irrelevant trace variations. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF trace simplification, trace analysis, execution traces
60Yi-Ting Lin, Wen-Chi Shiue, Ing-Jer Huang A multi-resolution AHB bus tracer for real-time compression of forward/backward traces in a circular buffer. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AMBA AHB, backward trace, bus tracer, circular buffer, forward trace, compression
59Roni Rosner, Micha Moffie, Yiannakis Sazeides, Ronny Ronen Selecting long atomic traces for high coverage. Search on Bibsonomy ICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF trace atomicity, trace processors, trace selection, trace cache
58Joon-Sung Yang, Nur A. Touba Expanding Trace Buffer Observation Window for In-System Silicon Debug through Selective Capture. Search on Bibsonomy VTS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Trace Buffer Observation Window, Two-Dimensional (2-D) Compaction, Cycling Register, Silicon Debug, MISR
58Aleksandar Milenkovic, Milena Milenkovic An efficient single-pass trace compression technique utilizing instruction streams. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Instruction and data traces, instruction streams, trace compression
57Huan Wang 0001, Shuicheng Yan, Dong Xu 0001, Xiaoou Tang, Thomas S. Huang Trace Ratio vs. Ratio Trace for Dimensionality Reduction. Search on Bibsonomy CVPR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
57Feng Chen 0006, Grigore Rosu Parametric Trace Slicing and Monitoring. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
57Duane Merrill, Kim M. Hazelwood Trace fragment selection within method-based JVMs. Search on Bibsonomy VEE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF region selection, JVM, traces, JIT compilation
57Chung-Fu Kao, Ing-Jer Huang, Chi-Hung Lin An Embedded Multi-resolution AMBA Trace Analyzer for Microprocessor-based SoC Integration. Search on Bibsonomy DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
56Alain Ketterlin, Philippe Clauss Prediction and trace compression of data access addresses through nested loop recognition. Search on Bibsonomy CGO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF nested loop recognition, value prediction, data access, trace analysis, trace compression
54Michele Co, Dee A. B. Weikle, Kevin Skadron Evaluating trace cache energy efficiency. Search on Bibsonomy ACM Trans. Archit. Code Optim. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fetch engine energy efficiency, Trace cache
54Robert Cypher, C. Bernard Shung Generalized trace-back techniques for survivor memory management in the Viterbi algorithm. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF trace-back, survivor memory, VLSI area requirements, Viterbi algorithm
53Tien-Fu Chen Efficient trace-sampling simulation techniques for cache performance analysis. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 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
53Xiaohan Qin, Jean-Loup Baer A comparative study of conservative and optimistic trace-driven simulations. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF optimistic trace-driven simulations, conservative trace-driven simulations, parallel trace driven simulation, parallel simulation schemes, shared references, Time Warp like algorithm, debugging effort, general architectural simulation, optimistic scheme, parallel algorithms, parallel architectures, virtual machines, multiprocessing systems, multiprocessor systems, memory hierarchy, memory architecture, comparative study, time warp simulation
52Hans Vandierendonck, Hans Logie, Koenraad De Bosschere Trace Substitution. Search on Bibsonomy Euro-Par The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
51Wei Jin, Xiaobai Sun, Jeffrey S. Chase FastSlim: prefetch-sfe trace reduction for I/O cache simulation. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF I/O architectures, performance evaluation, operating systems, prefetching, virtual memory, trace-driven simulation, file caching, trace reduction
51Éric Badouel, Philippe Darondeau Trace Nets. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Trace Automata, Trace Nets, Regions
50Chun-Hung Lai, Fu-Ching Yang, Chung-Fu Kao, Ing-Jer Huang A trace-capable instruction cache for cost efficient real-time program trace compression in SoC. Search on Bibsonomy DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF real time, cache, compression, program trace
49Ghassan Shobaki, Kent D. Wilken, Mark Heffernan Optimal trace scheduling using enumeration. Search on Bibsonomy ACM Trans. Archit. Code Optim. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF branch-and-bound enumeration, global instruction scheduling, optimal instruction scheduling, compiler optimizations, instruction-level parallelism, Instruction scheduling, trace scheduling
49Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz Phase detection using trace compilation. Search on Bibsonomy PPPJ The full citation details ... 2009 DBLP  DOI  BibTeX  RDF trace compilation, Java, optimization, data flow, just-in-time compilation, phase detection
49Michael Behar, Avi Mendelson, Avinoam Kolodny Trace cache sampling filter. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF cache utilization, sampling filter, power dissipation, Trace cache
49Derek L. Howard, Mikko H. Lipasti The Effect of Program Optimization on Trace Cache Efficiency. Search on Bibsonomy IEEE PACT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF compiler optimization, Microarchitecture, superscalar processors, trace cache
49Alexander Egyed, Stefan Biffl, Matthias Heindl, Paul Grünbacher Determining the cost-quality trade-off for automated software traceability. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automated trace analysis, cost-quality trade-off, experience report, value-based software engineering
48Roy Shea, Young H. Cho, Mani B. Srivastava Application-specific trace compression for low bandwidth trace logging. Search on Bibsonomy SenSys The full citation details ... 2008 DBLP  DOI  BibTeX  RDF wireless sensor networks, debugging, logging
48Juan C. Moure, Domingo Benitez, Dolores Rexachs, Emilio Luque Wide and efficient trace prediction using the local trace predictor. Search on Bibsonomy ICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF high bandwidth fetch mechanism, branch prediction
47Sriraman Tallam, Rajiv Gupta 0001 Unified control flow and data dependence traces. Search on Bibsonomy ACM Trans. Archit. Code Optim. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Control flow trace, dynamic data dependence trace, profiling, address trace
47Shuicheng Yan, Xiaoou Tang Trace Quotient Problems Revisited. Search on Bibsonomy ECCV (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
47Michael Behar, Avi Mendelson, Avinoam Kolodny Trace Cache Sampling Filter. Search on Bibsonomy IEEE PACT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
47Alper Sen 0001, Vijay K. Garg Formal Verification of Simulation Traces Using Computation Slicing. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Simulation, formal verification, temporal logic, partial order, runtime verification, lattice theory
46Quinn Jacobson, Eric Rotenberg, James E. Smith 0001 Path-Based Next Trace Prediction. Search on Bibsonomy MICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Next Trace Prediction, Multiple Branch Prediction, Return History Stack, Path-Based Prediction, Trace Cache
44Jeffrey C. Mogul, Martin F. Arlitt SC2D: an alternative to trace anonymization. Search on Bibsonomy MineNet The full citation details ... 2006 DBLP  DOI  BibTeX  RDF trace anonymization
44Muhammad Shaaban, Edward Mulrane Improving trace cache hit rates using the sliding window fill mechanism and fill select table. Search on Bibsonomy Memory System Performance The full citation details ... 2004 DBLP  DOI  BibTeX  RDF branch promotion, fetch mechanisms, fill mechanisms, superscalar processors, cache performance, trace cache
44Stevan A. Vlaovic, Edward S. Davidson Boosting trace cache performance with nonhead miss speculation. Search on Bibsonomy ICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF optimization, branch prediction, trace cache, x86
44Daniel H. Friendly, Sanjay J. Patel, Yale N. Patt Alternative Fetch and Issue Policies for the Trace Cache Fetch Mechanism. Search on Bibsonomy MICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF high bandwidth fetch mechanisms, wide issue machines, inactive issue, speculative execution, trace cache, partial matching
44Christophe Cérin, Antoine Petit 0001 Speedup of Recognizable Trace Languages. Search on Bibsonomy MFCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF recognizable language, trace, speedup
44Ernst-Rüdiger Olderog From Trace Specifications to Process Terms. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF COSY, many-sorted first order logic, trace logic, process correctness, externally deterministic, modified readiness semantics, top-down construction, mixed terms, Milner's scheduling problem, communication, Petri nets, specification, transformations, safety, CSP, liveness, CCS, Concurrent processes
44Abdelwahab Hamou-Lhadj Measuring the Complexity of Traces Using Shannon Entropy. Search on Bibsonomy ITNG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF trace complexity, software maintenance, program comprehension, Dynamic analysis, Shannon entropy
44Peter P. Ware, Thomas W. Page Jr., Barry L. Nelson Automatic Modeling of File System Workloads Using Two-Level Arrival Processes. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF file access patterns, replaction, synthetic traces, clustering, file system, data replication, trace driven simulation, input modeling
43Yusuke Toji, Shingo Ata, Ikuo Oka On the Use of Anonymized Trace Data for Performance Evaluation in IP Routers. Search on Bibsonomy APNOMS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Rahman Hassan, Antony Harris, Nigel P. Topham, Aristides Efthymiou Synthetic Trace-Driven Simulation of Cache Memory. Search on Bibsonomy AINA Workshops (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Markus Geimer, Felix Wolf 0001, Andreas Knüpfer, Bernd Mohr, Brian J. N. Wylie A Parallel Trace-Data Interface for Scalable Performance Analysis. Search on Bibsonomy PARA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Martin Burtscher, Nana B. Sam Automatic Generation of High-Performance Trace Compressors. Search on Bibsonomy CGO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43James McKee, Chris Smyth Salem Numbers of Trace -2 and Traces of Totally Positive Algebraic Integers. Search on Bibsonomy ANTS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Niki C. Thornock, J. Kelly Flanagan A national trace collection and distribution resource. Search on Bibsonomy SIGARCH Comput. Archit. News The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
43Nicholas Ironmonger Trace-Splitting for the Parallel Simulation of Cache Memory. Search on Bibsonomy PARLE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
43P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan A Trace Semantics for Petri Nets (Extended Abstract). Search on Bibsonomy ICALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
43Anant Agarwal, Minor Huffman Blocking: Exploiting Spatial Locality for Trace Compaction. Search on Bibsonomy SIGMETRICS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
42Matthew Canton The presence table: a reactive surface for ambient connection. Search on Bibsonomy TEI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
42Craig B. Stunkel, W. Kent Fuchs TRAPEDS: Producing Traces for Multicomputers Via Execution Driven Simulation. Search on Bibsonomy SIGMETRICS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Intel 80386
42David M. Nicol, Albert G. Greenberg, Boris D. Lubachevsky Massively Parallel Algorithms for Trace-Driven Cache Simulations. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF massively parallel algorithms, trace-driven cache simulations, least-recently-used policy, EREW parallel model, algorithm timings, reference-based line replacement policies, least-frequently-used policy, random replacement policy, space overhead, SIMD implementation, parallel algorithms, computational complexity, parallel architectures, trace, buffer storage, program diagnostics, simulation algorithm, MasPar MP-1
42Daniel Hoffman, Richard T. Snodgrass Trace Specifications: Methodology and Models. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF trace specification language, trace specification methodology, specification consistency, executable prototypes, formal specification, formal specification, specification languages
40Graham D. Price, Manish Vachharajani Large program trace analysis and compression with ZDDs. Search on Bibsonomy CGO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF parallel programming, trace compression
40Deze Zeng, Minyi Guo, Song Guo 0001, Mianxiong Dong, Hai Jin 0001 The Design and Evaluation of a Selective Way Based Trace Cache. Search on Bibsonomy APPT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF instruction fetch unit design, selective way, energy efficient, computer architecture, trace cache
40Pham Van Dung, Marat Zhanikeev, Yoshiaki Tanaka Traffic Trace Engineering. Search on Bibsonomy APNOMS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Simulation, Analysis, Emulation, Trace, Traffic, Replay, Anomaly
40Jack Whitham, Neil C. Audsley Using Trace Scratchpads to Reduce Execution Times in Predictable Real-Time Architectures. Search on Bibsonomy IEEE Real-Time and Embedded Technology and Applications Symposium The full citation details ... 2008 DBLP  DOI  BibTeX  RDF wcet, reduction, trace, hard real-time, scratchpads
40Stephen So, Farinaz Koushanfar, Anatoliy Kosterev, Frank K. Tittel LaserSPECks: : laser SPECtroscopic trace-gas sensor networks - sensor integration and applications. Search on Bibsonomy IPSN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF trace gas sensing, sensors, lasers, spectroscopy
40Nobuyoshi Sato, Minoru Uehara, Koichiro Shimomura, Hirobumi Yamamoto, Ken'ichi Kamijo Evaluations on Classified Selection of Dense Vectors for Vegetable Geographical Origin Identification System Using Trace Elements. Search on Bibsonomy NBiS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Geographical origin identification by trace element compositions, efficient retrieval of dense vector
40Sanun Srisuk, Maria Petrou, Werasak Kurutach, Alexander Kadyrov A face authentication system using the trace transform. Search on Bibsonomy Pattern Anal. Appl. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Hausdorff context, Face authentication, Trace transform
40Andy Rupp, Holger Dreger, Anja Feldmann, Robin Sommer Packet trace manipulation rramework for test labs. Search on Bibsonomy Internet Measurement Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF evaluation, network, measurement, network intrusion detection, trace generation
40Ryszard Janicki, Emil Sekerinski Foundations of the Trace Assertion Method of Module Interface Specification. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Module interface specifications, trace assertion method, module refinement, tabular notation, state machines, nondeterminism, relational model, Mealy machines, step-sequences
40Simon St. James, Ulrich Ultes-Nitsche Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness. Search on Bibsonomy PODC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF behaviour abstraction, satisfaction within fairness, weakly continuation-closed homomorphisms, partial-order methods, trace reduction
40Eric Rotenberg, Steve Bennett, James E. Smith 0001 A Trace Cache Microarchitecture and Evaluation. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1999 DBLP  DOI  BibTeX  RDF multiple branch prediction, superscalar processors, Instruction cache, trace cache, instruction fetching
40Richard Uhlig, Trevor N. Mudge Trace-Driven Memory Simulation: A Survey. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF memory simulation, caches, memory management, trace-driven simulation, TLBs
40Gregor von Bochmann, Rachida Dssouli, J. R. Zhao Trace Analysis for Conformance and Arbitration Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF arbitration testing, implementation under test, IUT, communication protocol implementations, distributed test architectures, partial input/output traces, local observers, error-detection power, global knowledge, automated construction, trace analysis modules, reference specification, open systems interconnection, formal specification, protocols, transport protocol, program testing, open systems, conformance testing, conformance testing, OSI
39Allen D. Malony, Wolfgang E. Nagel Open trace - The open trace format (OTF) and open tracing for HPC. Search on Bibsonomy SC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Peter Kemper, Carsten Tepper Automated Trace Analysis of Discrete-Event System Models. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney Understanding Measurement Perturbation in Trace-based Data. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Maurício L. Pilla, Bruce R. Childers, Amarildo T. da Costa, Felipe M. G. França, Philippe Olivier Alexandre Navaux A Speculative Trace Reuse Architecture with Reduced Hardware Requirements. Search on Bibsonomy SBAC-PAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Hans Vandierendonck, Alex Ramírez, Koenraad De Bosschere, Mateo Valero A Comparative Study of Redundancy in Trace Caches (Research Note). Search on Bibsonomy Euro-Par The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Carlos Molina, Antonio González 0001, Jordi Tubella Trace-Level Speculative Multithreaded Architecture. Search on Bibsonomy ICCD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Eric Rotenberg, James E. Smith 0001 Control Independence in Trace Processors. Search on Bibsonomy MICRO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
38Ravi Bhargava, Lizy Kurian John, Francisco Matus Accurately modeling speculative instruction fetching in trace-driven simulation. Search on Bibsonomy IPCCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
38Roberto Segala A Compositional Trace-Based Semantics for Probabilistic Automata. Search on Bibsonomy CONCUR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
37Nobuyoshi Sato, Minoru Uehara, Koichiro Shimomura, Hirobumi Yamamoto, Ken'ichi Kamijo On Rejecting Outliers by Smirnov Test for Massive Data Input System in Vegetable Geographical Origin Identification System. Search on Bibsonomy AINA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37S. H. Cooper, T. Bowman, Arthur I. Karshmer Session traces: an enhancement to network simulator. Search on Bibsonomy IPCCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
37Martin Burtscher VPC3: a fast and effective trace-compression algorithm. Search on Bibsonomy SIGMETRICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF predictor-based compression, trace files, trace compression
37P. Bosch, A. Carloganu, Daniel Etiemble Complete x86 instruction trace generation from hardware bus collect. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF complete x86 instruction trace generation, hardware bus collect, architectural improvements, benchmark traces, hardware/software approach, x86 execution traces, commercial analyzer, computer architecture, microprocessors, memory hierarchies, trace driven simulation, performance data
37Peter T. Sander, Steven W. Zucker Inferring Surface Trace and Differential Structure from 3-D Images. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF 3D image inference, surface trace, differential structure, trace points, functional minimization algorithm, overlapping local charts, clinical magnetic resonance images, pattern recognition, robustness, picture processing, inference mechanisms, image understanding, surface smoothness, principal curvature
35Nimalsiri Pinnawala, Asha Rao, T. Aaron Gulliver Distribution of Trace Values and Two-Weight, Self-orthogonal Codes over GF ( p , 2). Search on Bibsonomy AAECC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Trace map, self-orthogonal, non-binary, two-weight, Galois fields
35Xiangji Huang 0001, Qingsong Yao, Aijun An Applying language modeling to session identification from database trace logs. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Session identification, Database trace logs, Statistical language modeling
35Matt T. Yourst, Kanad Ghose Incremental Commit Groups for Non-Atomic Trace Processing. Search on Bibsonomy MICRO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF trace prediction, VLIW, commitment, binary translation
35Minoru Terada ETV: a program trace player for students. Search on Bibsonomy ITiCSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF program visualization, execution trace
35Sang Jeong Lee, Yuan Wang, Pen-Chung Yew Decoupled Value Prediction on Trace Processors. Search on Bibsonomy HPCA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Wide-issue superscalar processors, Trace processors, Speculative execution, Value prediction
35Sanjay J. Patel, Daniel H. Friendly, Yale N. Patt Evaluation of Design Options for the Trace Cache Fetch Mechanism. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1999 DBLP  DOI  BibTeX  RDF High bandwidth fetch mechanisms, wide issue machines, speculative execution, instruction cache, trace cache
Displaying result #1 - #100 of 8220 (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