Search results for "trace"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Rhodes Brown, Karel Driesen, David Eng, Laurie J. Hendren, John Jorgensen, Clark Verbrugge, Qin Wang	STEP: a framework for the efficient encoding of general trace data.	PASTE	2002	DBLP DOI BibTeX RDF	program event trace, sequential data encoding, data definition language
30	S. Shaheen Fatima	TRACE - An Adaptive Organizational Policy for MAS.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	adaptive organizational policy, Task and Resource Allocation in a Computational Economy, load variations, problem-solving organizations, task allocation protocol, subtask allocation, lost requests, price-directed resource allocation protocol, multi-agent systems, MAS, multi agent system, resource allocation, TRACE, time constraints, RAP
30	Stephen D. Cohen, Dirk Hachenberger	Primitive Normal Bases with Prescribed Trace.	Appl. Algebra Eng. Commun. Comput.	1999	DBLP DOI BibTeX RDF	Free element, Finite field, Trace, Normal basis, Primitive element, Character sum
30	Cosimo Antonio Prete, Gianpaolo Prina, Luigi M. Ricciardi	A Trace-Driven Simulator for Performance Evaluation of Cache-Based Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	multiple cache consistency, performance analysis, multiprocessor, Cache memory, trace-driven simulation, coherence protocol
30	Gwénaël Richomme	Some Trace Monoids Where Both the Star Problem and the Finite Power Property Problem are Decidable.	MFCS	1994	DBLP DOI BibTeX RDF	trace monoids, Star Problem, Finite Power Property Problem, recognizability
30	Jiun-Ming Hsu, Prithviraj Banerjee	Performance Measurement and Trace Driven Simulation of Parallel CAD and Numeric Applications on a Hypercube Multicomputer.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	parallel CAD, realistic workloads, time interval distributions, statistical functions, nonlinear regression technique, message destinations, trace-drive simulation environment, performance evaluation, performance evaluation, parallel programs, parallel programming, benchmarks, statistical analysis, hypercube networks, digital simulation, workload characterization, execution traces, temporal locality, spatial locality, hypercube multicomputer, software monitoring, DMA, message length, link utilizations
30	Jennifer Widom, David Gries, Fred B. Schneider	Trace-Based Network Proof Systems: Expressiveness and Completeness.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	trace logics, temporal logics, safety properties, process networks
30	Jon Oldevik, Øystein Haugen	From sequence diagrams to Java-stairs aspects.	AOSD	2009	DBLP DOI BibTeX RDF	sequence diagram aspects, trace-based aspects, refinement
30	Xiao Liu 0011, Qiang Xu 0001	Interconnection fabric design for tracing signals in post-silicon validation.	DAC	2009	DBLP DOI BibTeX RDF	trace-based debug, post-silicon validation
30	Wissam Mallouli, Bachar Wehbi, Ana R. Cavalli	Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking.	ADHOC-NOW	2008	DBLP DOI BibTeX RDF	Trace Collection and Correlation, Nomad Logic, Ad Hoc Networks, Monitoring, Conformance Testing, Security Analysis
30	Ryad Ben-El-Kezadri, Farouk Kamoun, Guy Pujolle	XAV: a fast and flexible tracing framework for network simulation.	MSWiM	2008	DBLP DOI BibTeX RDF	on line analysis processing, trace file, XML, database, XQuery, network simulation
30	Xianfeng Li, Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury	Design space exploration of caches using compressed traces.	ICS	2004	DBLP DOI BibTeX RDF	compressed trace, single pass simulation, cache, design space exploration
30	Atsuko Miyaji, Masaki Nakabayashi, Shunzo Takano	Characterization of Elliptic Curve Traces under FR-Reduction.	ICISC	2000	DBLP DOI BibTeX RDF	FR-reduction, trace, elliptic curve cryptosystems, number theory
30	David P. Helmbold, Charles E. McDowell, Jian-Zhong Wang	Determining Possible Event Orders by Analyzing Sequential Traces.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	sequential traces, intermittentdeadlock, inferred program, data racedetector, constraint checker, parallel program, parallel programming, synchronization, debugging, program testing, program debugging, data races, execution trace, automated tools, event orders
29	Giuliano Casale, Eddy Z. Zhang, Evgenia Smirni	KPC-Toolbox: Simple Yet Effective Trace Fitting Using Markovian Arrival Processes.	QEST	2008	DBLP DOI BibTeX RDF
29	Kun Bai, Meng Yu 0001, Peng Liu 0005	TRACE: Zero-Down-Time Database Damage Tracking, Quarantine, and Cleansing with Negligible Run-Time Overhead.	ESORICS	2008	DBLP DOI BibTeX RDF
29	Guofei Jiang, Haifeng Chen, Cristian Ungureanu, Kenji Yoshihira	Multiresolution Abnormal Trace Detection Using Varied-Length n-Grams and Automata.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
29	Kai-Hui Chang, Valeria Bertacco, Igor L. Markov	Simulation-Based Bug Trace Minimization With BMC-Based Refinement.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
29	Pavel Avgustinov, Julian Tibble, Oege de Moor	Making trace monitors feasible.	OOPSLA	2007	DBLP DOI BibTeX RDF	program analysis, runtime verification, program monitors
29	Nan Liu 0003, Han Wang 0001	Extraction of hybrid trace features with evolutionary computation for face recognition.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
29	Chunhua Shen, Hongdong Li, Michael J. Brooks	A Convex Programming Approach to the Trace Quotient Problem.	ACCV (2)	2007	DBLP DOI BibTeX RDF
29	Markus Geimer, Felix Wolf 0001, Brian J. N. Wylie, Bernd Mohr	Scalable Parallel Trace-Based Performance Analysis.	PVM/MPI	2006	DBLP DOI BibTeX RDF
29	Pasin Israsena, Izzet Kale	A high-speed, low-power interleaved trace-back memory for Viterbi decoder.	ISCAS	2006	DBLP DOI BibTeX RDF
29	Xiao Hu, Pengyong Ma, Shuming Chen, Yang Guo, Xing Fang	TraceDo: An On-Chip Trace System for Real-Time Debug and Optimization in Multiprocessor SoC.	ISPA	2006	DBLP DOI BibTeX RDF
29	Felix Wolf 0001, Allen D. Malony, Sameer Shende, Alan Morris	Trace-Based Parallel Performance Overhead Compensation.	HPCC	2005	DBLP DOI BibTeX RDF	overhead compensation, parallel computing, message passing, analysis, Performance measurement, tracing
29	Guofei Jiang, Haifeng Chen, Cristian Ungureanu, Kenji Yoshihira	Multi-resolution Abnormal Trace Detection Using Varied-length N-grams and Automata.	ICAC	2005	DBLP DOI BibTeX RDF
29	Christian Skalka	Trace effects and object orientation.	PPDP	2005	DBLP DOI BibTeX RDF	temporal program logic, type and effect, type constraints
29	Bülent Tavli, Wendi Rabiner Heinzelman	MH-TRACE: multihop time reservation using adaptive control for energy efficiency.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
29	Olaf Chitil	Source-Based Trace Exploration.	IFL	2004	DBLP DOI BibTeX RDF
29	Alexander Egyed	Resolving uncertainties during trace analysis.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF
29	Alexander Egyed	A Scenario-Driven Approach to Trace Dependency Analysis.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Unified Modeling Language (UML), Traceability, software models, test scenarios
29	Spiros Kalogeropulos	An Enhanced Trace Scheduler for SPARC Processors.	Euro-Par	2003	DBLP DOI BibTeX RDF
29	Kai-Feng Wang, Zhenzhou Ji, Mingzeng Hu	Simultaneous Multithreading Trace Processors.	APPT	2003	DBLP DOI BibTeX RDF
29	Maurício L. Pilla, Amarildo T. da Costa, Felipe M. G. França, Bruce R. Childers, Mary Lou Soffa	The Limits of Speculative Trace Reuse on Deeply Pipelined Processors.	SBAC-PAD	2003	DBLP DOI BibTeX RDF
29	Ravi Bhargava, Lizy Kurian John	Improving Dynamic Cluster Assignment for Clustered Trace Cache Processors.	ISCA	2003	DBLP DOI BibTeX RDF
29	Ching-Farn Eric Wu, Anthony Bolmarcich	Gantt Chart Visualization for MPI and Apache Multi-Dimensional Trace Files.	ICPADS	2002	DBLP DOI BibTeX RDF
29	Afzal Hossain, Daniel J. Pease, James S. Burns, Nasima Parveen	A Mathematical Model of Trace Cache.	ASAP	2002	DBLP DOI BibTeX RDF
29	Trishul M. Chilimbi, Richard E. Jones, Benjamin G. Zorn	Designing a Trace Format for Heap Allocation Events.	ISMM	2000	DBLP DOI BibTeX RDF
29	Daniel Kirsten	Some Undecidability Results Related to the Star Problem in Trace Monoids.	STACS	1999	DBLP DOI BibTeX RDF
29	Sarah Mallet, Mireille Ducassé	Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging.	LOPSTR	1998	DBLP DOI BibTeX RDF
29	Martin C. Herbordt, Owais Kidwai, Charles C. Weems	Preprototyping SIMD Coprocessors Using Virtual Machine Emulation and Trace Compilation.	SIGMETRICS	1997	DBLP DOI BibTeX RDF
29	Anthony-Trung Nguyen, Pradip Bose, Kattamuri Ekanadham, Ashwini K. Nanda, Maged M. Michael	Accuracy and Speedup of Parallel Trace-Driven Architectural Simulation.	IPPS	1997	DBLP DOI BibTeX RDF
29	Jochen Meßner	Pattern Matching in Trace Monoids (Extended Abstract).	STACS	1997	DBLP DOI BibTeX RDF
29	Rolf Borgeest, Christian Rödel	Trace Analysis with a Relational Database System.	PDP	1996	DBLP DOI BibTeX RDF	Performance Analysis, Relational Databases, Parallel systems
29	Pierre-André Wacrenier	Semi-Trace Morphisms and Rational Transductions.	TAPSOFT	1995	DBLP DOI BibTeX RDF
29	S. Alan Ezust, Gregor von Bochmann	An Automatic Trace Analysis Tool Generator for Estelle Specifications.	SIGCOMM	1995	DBLP DOI BibTeX RDF
29	Alexander Moshe Rabinovich	Logic of Trace Languages (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
29	Edward Ochmanski	On Morphisms of Trace Monoids.	STACS	1988	DBLP DOI BibTeX RDF
29	Alberto Bertoni, Massimiliano Goldwurm, Nicoletta Sabadini	Analysis of a Class of Algorithms for Problems on Trace Languages.	AAECC	1986	DBLP DOI BibTeX RDF
28	Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler	Explaining Counterexamples Using Causality.	CAV	2009	DBLP DOI BibTeX RDF
28	Fu-Ching Yang, Cheng-Lung Chiang, Ing-Jer Huang	A reverse-encoding-based on-chip AHB bus tracer for efficient circular buffer utilization.	ASP-DAC	2009	DBLP DOI BibTeX RDF
28	Mireille Ducassé	(C)LP Tracing and Debugging.	ICLP	2009	DBLP DOI BibTeX RDF
28	Fabian Angarita, Ma José Canet, T. Sansaloni, Javier Valls, Vicenc Almenar-Terre	Architectures for the Implementation of a OFDM-WLAN Viterbi Decoder.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	wireless LAN, OFDM, viterbi
28	Peter Kemper, Carsten Tepper	Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior.	QEST	2007	DBLP DOI BibTeX RDF
28	Aggelos Kiayias, Serdar Pehlivanoglu	Pirate Evolution: How to Make the Most of Your Traitor Keys.	CRYPTO	2007	DBLP DOI BibTeX RDF
28	Andrew B. T. Hopkins, Klaus D. McDonald-Maier	Debug Support Strategy for Systems-on-Chips with Multiple Processor Cores.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	multiprocessor systems, System architectures, real-time and embedded systems, debugging aids, integration and modeling
28	José Antonio Arnedo, Ana R. Cavalli, Manuel Núñez 0001	Fast Testing of Critical Properties through Passive Testing.	TestCom	2003	DBLP DOI BibTeX RDF
28	Roberto Giacobazzi, Francesco Ranzato	States vs. Traces in Model Checking by Abstract Interpretation.	SAS	2002	DBLP DOI BibTeX RDF
28	Angela Sampogna, David R. Kaeli, Daniel Green, Michael Silva, Christopher J. Sniezek	Performance Modeling Using Object-Oriented Execution-Driven Simulation.	Annual Simulation Symposium	1996	DBLP DOI BibTeX RDF
28	Ganesh Gopalakrishnan, Erik Brunvand, Nick Michell, Steven M. Nowick	A correctness criterion for asynchronous circuit validation and optimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
26	Frank McSherry, Ratul Mahajan	Differentially-private network trace analysis.	SIGCOMM	2010	DBLP DOI BibTeX RDF	trace analysis, differential privacy
26	Gérard Meurant	Estimates of the trace of the inverse of a symmetric matrix using the modified Chebyshev algorithm.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Chebyshev algorithm, Trace, Inverse
26	Mohammad Faidzul Nasrudin, Khairuddin Omar, Choong-Yeun Liong, Mohamad Shanudin Zakaria	Invariant Features from the Trace Transform for Jawi Character Recognition.	IWANN (2)	2009	DBLP DOI BibTeX RDF	Jawi Character Recognition, Moment Invariant, Multilayer Perceptron Neural Network, Trace Transform
26	Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan	Semantics-aware trace analysis.	PLDI	2009	DBLP DOI BibTeX RDF	semantic tracing, trace views, tracing, testing tools, automated debugging, debugging aids
26	Mason Chang, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz	Tracing for web 3.0: trace compilation for the next generation web applications.	VEE	2009	DBLP DOI BibTeX RDF	tamarin, trace trees, tracing, javascript, forth, dynamic compilation, type specialization, dynamically typed languages
26	Yahui Lu, Li Zhang 0065, Jiaguang Sun 0001	Towards trace semantics for WS-CDL with alignments.	SAC	2008	DBLP DOI BibTeX RDF	semantics, trace, alignment, WS-CDL
26	Pierre Salverda, Charles Tucker, Craig B. Zilles	Accurate critical path prediction via random trace construction.	CGO	2008	DBLP DOI BibTeX RDF	instruction criticality, trace fabrication, profiling
26	Wolfgang Kiess, Nadine Chmill, Ulrich Wittelsbürger, Martin Mauve	Modular network trace analysis.	PE-WASUN	2008	DBLP DOI BibTeX RDF	trace file analysis, simulation, visualization, ad hoc networks, wireless networks, experiments
26	Wishnu Prasetya, Tanja E. J. Vos, Arthur I. Baars	Trace-based Reflexive Testing of OO Programs with T2.	ICST	2008	DBLP DOI BibTeX RDF	trace based testing, sequence based testing, unit testing, automated testing
26	Minseok Song 0001, Christian W. Günther, Wil M. P. van der Aalst	Trace Clustering in Process Mining.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	trace clustering, Quality threshold, data mining, case study, SOM, K-means, Process mining, process discovery
26	Sebastian G. Elbaum, Satya Kanduri, Anneliese Amschler Andrews	Trace anomalies as precursors of field failures: an empirical study.	Empir. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Deployed software analysis, Empirical study, Anomaly detection, Trace analysis
26	Petr Kloucek, Danny C. Sorensen, Jennifer L. Wightman	The Approximation and Computation of a Basis of the Trace Space H 1/2.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	Steklov eigenvalues problem, trace spaces, generalized eigenvalue problem, elliptic PDEs
26	Tao Xu 0002, Krishnendu Chakrabarty	Droplet-trace-based array partitioning and a pin assignment algorithm for the automated design of digital microfluidic biochips.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	connect-5 algorithm, droplet trace, droplet-based microfluidics, pin-constrained biochip design, synthesis
26	Alex Ramírez, Josep Lluís Larriba-Pey, Mateo Valero	Software Trace Cache.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	compiler optimizations, branch prediction, Pipeline processors, trace cache, instruction fetch
26	Dohyung Kim 0007, Youngmin Yi, Soonhoi Ha	Trace-driven HW/SW cosimulation using virtual synchronization technique.	DAC	2005	DBLP DOI BibTeX RDF	trace-driven cosimulation, virtual synchronization
26	Xi Chen 0024, Harry Hsieh, Felice Balarin, Yosinori Watanabe	Automatic trace analysis for logic of constraints.	DAC	2003	DBLP DOI BibTeX RDF	logic of constraints, performance constraint, simulation checker, trace analysis
26	Sang Jeong Lee, Pen-Chung Yew	On Augmenting Trace Cache for High-Bandwidth Value Prediction.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Instruction Level Parallelism, data dependences, Value prediction, trace cache, dynamic classification
26	Soo-Cheol Ha, Jae-Eon Choi	A model design of the Track & Trace system for e-logistics.	Oper. Res.	2002	DBLP DOI BibTeX RDF	Track & trace system, e-Logistics, UML(Unified Modeling Language)
26	Odd-Wiking Rahlff, Rolf Kenneth Rolfsen, Jo Herstad	Using Personal Traces in Context Space: Towards Context Trace Technology.	Pers. Ubiquitous Comput.	2001	DBLP DOI BibTeX RDF	Context matching, Context space, Context trace technology, Contextual awareness, Wearable computer
26	Alexander Kadyrov, Maria Petrou	The Trace Transform and Its Applications.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	image database search, change detection, Radon transform, invariant features, Trace transform
26	Jih-Ching Chiu, I-Huan Huang, Chung-Ping Chung	Design of Instruction Stream Buffer with Trace Support for X86 Processors.	ICCD	2000	DBLP DOI BibTeX RDF	instruction stream buffer, x86 architecture, multiple instruction fetch, superscalar processor, ILP, Trace cache
26	Maria Handjieva, Stanislav Tzolovski	Refining Static Analyses by Trace-Based Partitioning Using Control Flow.	SAS	1998	DBLP DOI BibTeX RDF	reduced cardinal power, abstract interpretation, trace semantics
26	P. Vijay Kumar, Tor Helleseth	An Expansion for the Coordinates of the Trace Function over Galois Rings.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	Trace function, Coordinate sequences, Linear span, Linear complexity, Galois rings
26	Sanjeev Setia	Trace-driven Analysis of Migration-based Gang Scheduling Policies for Parallel Computers.	ICPP	1997	DBLP DOI BibTeX RDF	parallel supercomputers, performance evaluation, Job scheduling, trace-driven simulation, gang-scheduling
26	Alfred P. Maneki	Algebraic properties of system composition in the LORAL, Ulysses and McLean trace models.	CSFW	1995	DBLP DOI BibTeX RDF	trace models, associative laws, commutative laws, containment relationships, information systems, information systems, security of data, security properties, event systems, system composition, algebraic properties
26	Albert John Camilleri	Mechanizing CSP Trace Theory in Higher Order Logic.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	mechanising CSP trace theory, general-purpose theorem prover, formal specification, theorem proving, formal logic, higher order logic, communicating sequential processes
26	Songnian Zhou	A Trace-Driven Simulation Study of Dynamic Load Balancing.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	homogeneous distributed systems, job transfer, job response times, scheduling, scheduling, broadcasting, distributed databases, dynamic load balancing, trace-driven simulation, CPU, input/output, input-output programs, message exchange
25	Mustafa M. Tikir, Michael Laurenzano, Laura Carrington, Allan Snavely	PSINS: An Open Source Event Tracer and Execution Simulator for MPI Applications.	Euro-Par	2009	DBLP DOI BibTeX RDF	Message Passing Applications, High Performance Computing, Performance Prediction, Supercomputers, Trace-Driven Simulation
25	Han Wan, Xiaopeng Gao, Zhiqiang Wang	Cache simulator based on GPU acceleration.	SimuTools	2009	DBLP DOI BibTeX RDF	trace-driven, multi-core, GPGPU, CUDA, cache simulator
25	Jungkuk Kim, Minkyu Kim, Daesun Kim, Jaehyun Park, Woong Huh	An event detection algorithm in ECG with 60Hz interference and baseline wandering.	ICIS	2009	DBLP DOI BibTeX RDF	60Hz interference, QRS complex, baseline wandering, slope trace wave, ECG
25	Alexander V. Mirgorodskiy, Barton P. Miller	Diagnosing Distributed Systems with Self-propelled Instrumentation.	Middleware	2008	DBLP DOI BibTeX RDF	performance analysis, anomaly detection, trace analysis, distributed debugging, dynamic instrumentation
25	Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager	A testing scenario for probabilistic processes.	J. ACM	2007	DBLP DOI BibTeX RDF	CPO, approximation induction principle, button-pushing scenario, trace distributions, testing, metric spaces, probabilistic automata, observational equivalence, Concurrency theory
25	Maria Petrou, Alireza Talebpour, Alexander Kadyrov	Reverse engineering the way humans rank textures.	Pattern Anal. Appl.	2007	DBLP DOI BibTeX RDF	Reverse engineering, Texture classification, Perceptual grouping, Trace transform
25	Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin	Testing Distributed Systems Through Symbolic Model Checking.	FORTE	2007	DBLP DOI BibTeX RDF	global property, model checking of traces, trace checking, testing, asynchronous distributed systems
25	Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich	A formal approach to property testing in causally consistent distributed traces.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Distributed systems, Monitoring, SDL, Trace analysis, System validation, Passive testing
25	Yun-Nan Chang	An Efficient In-Place VLSI Architecture for Viterbi Algorithm.	J. VLSI Signal Process.	2003	DBLP DOI BibTeX RDF	register-exchange, trace-back, ACS unit, Viterbi decoder
25	Tomohiro Yoneda, Tomoya Kitai, Chris J. Myers	Automatic Derivation of Timing Constraints by Failure Analysis.	CAV	2002	DBLP DOI BibTeX RDF	Trace theoretic verification, Timing constraints, Failure analysis, Timed circuits
24	Bas Cornelissen, Andy Zaidman, Arie van Deursen, Bart Van Rompaey	Trace visualization for program comprehension: A controlled experiment.	ICPC	2009	DBLP DOI BibTeX RDF
24	Franz Baader, Andreas Bauer 0002, Alwen Tiu	Matching Trace Patterns with Regular Policies.	LATA	2009	DBLP DOI BibTeX RDF
24	Guang Cheng 0001, Yongning Tang, Jiexin Jiang, Wei Ding 0001	A Trace Measurement and Analysis System for the Multi-Links CERNET Backbone.	NAS	2009	DBLP DOI BibTeX RDF