Search results for "trace"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Yabo Wang, David Lorge Parnas	Simulating the Behaviour of Software Modules by Trace Rewriting.	ICSE	1993	DBLP BibTeX RDF	formal specification method, module interface specification, module simulation, trace assertion method, software tool, finite state machine, term rewriting
21	Dominique Thiébaut, Joel L. Wolf, Harold S. Stone	Synthetic Traces for Trace-Driven Simulation of Cache Memories.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	synthetic address traces, infinite address-space, synthetic traces, random walk, digital simulation, cache memories, memory architecture, trace-driven simulation, buffer storage, content-addressable storage
20	Hoang Chi Thanh	Semi-traces and Their Application in Concurrency Control Problem.	ICCCI	2009	DBLP DOI BibTeX RDF	local independence, distributed system, concurrency control, trace
20	Leila Yahiaoui, Yannick Prié, Zizette Boufaïda 0001	The redocumentation process of computer mediated activity traces: a general framework.	Hypertext	2009	DBLP DOI BibTeX RDF	activity trace, computer mediated activity, personalized document generation, redocumentation process, hypermedia, RST
20	Iain S. MacLeod	Scenario-based requirements capture for human factors integration.	Cogn. Technol. Work.	2008	DBLP DOI BibTeX RDF	HFI, Requirements, Scenarios, Cognitive, System, Trace, Functions
20	Praveen Kalla, Xiaobo Sharon Hu, Jörg Henkel	A Flexible Framework for Communication Evaluation in SoC Design.	Int. J. Parallel Program.	2008	DBLP DOI BibTeX RDF	Interconnect simulator, Network on chip, Trace based simulation, Multiprocessor simulator
20	Thomas Claveirole, Marcelo Dias de Amorim	WiPal and WScout, two hands-on tools for wireless packet traces manipulation and visualization.	WINTECH	2008	DBLP DOI BibTeX RDF	synchronization, wireless, ieee 802.11, trace, merging
20	Timothy Bourke, Arcot Sowmya	Automatically transforming and relating Uppaal models of embedded systems.	EMSOFT	2008	DBLP DOI BibTeX RDF	timed trace inclusion, model transformation, Uppaal
20	Avik Paul, Rajeev Kumar	Precise dynamic slicing using execution-summary.	SAC	2007	DBLP DOI BibTeX RDF	program slicing, execution trace, dynamic slicing
20	Jin-Heung Lee, Tea-Hun Lim, Keon-Woo Kim, Sang-Uk Shin	A New Fingerprinting Codes for Multimedia Contents.	MMM (2)	2007	DBLP DOI BibTeX RDF	Watermarking for Fingerprinting Code, Trace, Copyrights Protection, Digital Fingerprinting
20	Fangzhe Chang, Jennifer Ren	Validating system properties exhibited in execution traces.	ASE	2007	DBLP DOI BibTeX RDF	system testing automation, trace analysis
20	Andreas Ulrich, Alexandre Petrenko	Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study.	ECMDA-FA	2007	DBLP DOI BibTeX RDF	reverse engineering, Model-driven development, experience report, trace analysis, system validation, telecommunication industry, model verification
20	Moshe Kress	Policies for biodefense revisited: The prioritized vaccination process for smallpox.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Mass vaccination, Trace vaccination, Prioritized vaccination, Potentially traceable
20	Thomas Ludwig 0002, Stephan Krempel, Julian M. Kunkel, Frank Panse, Dulip Withanage	Tracing the MPI-IO Calls' Disk Accesses.	PVM/MPI	2006	DBLP DOI BibTeX RDF	Performance Analyzer, Trace-based Tools, PVFS2, Visualization, Parallel I/O
20	Bowei Du, Michael J. Demmer, Eric A. Brewer	Analysis of WWW traffic in Cambodia and Ghana.	WWW	2006	DBLP DOI BibTeX RDF	Cambodia, Ghana, redundant transfers, classification, WWW, world wide web, performance analysis, caching, measurement, delay tolerant networking, HTTP, trace, proxy, dynamic content, developing regions, hypertext transfer protocol
20	Árpád Beszédes, Tamás Gergely, Tibor Gyimóthy	Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms.	SCAM	2006	DBLP DOI BibTeX RDF	dynamic slicing algorithms, Program slicing, execution trace, program dependences
20	Andreas Gal, Christian W. Probst, Michael Franz	HotpathVM: an effective JIT compiler for resource-constrained devices.	VEE	2006	DBLP DOI BibTeX RDF	embedded and resource-constrained systems, mixed-mode interpretive compiled systems, software trace scheduling, virtual machines, dynamic compilation, static single assignment form
20	Thorsten Staake, Frédéric Thiesse, Elgar Fleisch	Extending the EPC network: the potential of RFID in anti-counterfeiting.	SAC	2005	DBLP DOI BibTeX RDF	track & trace, authentication, RFID, counterfeiting
20	Wenyu Qu, Di Wu, Keqiu Li, Hong Shen 0001	Dynamically Selecting Distribution Strategies for Web Documents According to Access Pattern.	EUC	2005	DBLP DOI BibTeX RDF	Web caching and replication, cache replacement algorithm, trace data, autonomous system (AS), simulation, distribution strategy
20	Michael Nölle	Distribution Distance Measures Applied to 3-D Object Recognition ? A Case Study.	DAGM-Symposium	2003	DBLP DOI BibTeX RDF	2, Jenson-Shannon divergence, Fidelity type distance measures, view-based object recognition, invariant transformations, Coil-100 benchmark, Trace, Dissimilarity measures
20	Curtis E. Hrischuk, C. Murray Woodside	Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	software tracing, event labeling, web services, reverse engineering, debugging, distributed programming, graph grammar, trace analysis, causal order, logical clock
20	Jürgen Dingel	A Refinement Calculus for Shared-Variable Parallel and Distributed Programming.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Assumption-commitment reasoning, Formal program development, Parallel programming, Program transformation, Refinement, Refinement calculus, Trace semantics, Systematic programming
20	Juergen Rilling, Hon Fung Li, Dhrubajyoti Goswami	Predicate-Based Dynamic Slicing of Message Passing Programs.	SCAM	2002	DBLP DOI BibTeX RDF	predicate slice, predicate trace, message passing, program comprehension, Program slicing
20	Seongan Lim, Seungjoo Kim, Ikkwon Yie, Jaemoon Kim	Comments on a Signature Scheme Based on the Third Order LFSR Proposed at ACISP2001.	INDOCRYPT	2001	DBLP DOI BibTeX RDF	Trace Projection, LFSR, digital signature scheme, XTR
20	Alberto Bertoni, Massimiliano Goldwurm, Massimo Santini 0001	Random Generation and Approximate Counting of Ambiguously Described Combinatorial Structures.	STACS	2000	DBLP DOI BibTeX RDF	uniform random generation, auxiliary pushdown automata, rational trace languages, inherent ambiguity, context-free languages, approximate counting
20	Norbert Vicari, Stefan Köhler 0002, Joachim Charzinski	The Dependence of Internet User Traffic Characteristics on Access Speed.	LCN	2000	DBLP DOI BibTeX RDF	Internet user traffic characteristics, access speed, IP packet trace, ADSL field trial, generalized parametric Internet traffic model, Internet, telecommunication traffic, digital subscriber lines
20	Yiannakis Sazeides, Stamatis Vassiliadis, James E. Smith 0001	The Performance Potential of Data Dependence Speculation & Collapsing.	MICRO	1996	DBLP DOI BibTeX RDF	address generation-load dependences, address prediction rate, base instruction level parallel machine, dependence collapsing, performance potential, true data dependences, parallel programming, trace-driven simulation, data dependence speculation, address prediction
20	Yew-Huey Liu, Paul Dantzig, Ching-Farn Eric Wu, Lionel M. Ni	A distributed connection manager interface for web services on IBM SP systems.	ICPADS	1996	DBLP DOI BibTeX RDF	distributed connection manager interface, IBM SP systems, computer databases, information retrieval architecture, Hypertext Markup Language, Common Gateway Interface, cliette processes, High-Performance Switch, Unified Trace Environment, web services, Internet, information retrieval, World Wide Web, digital libraries, distributed databases, hypermedia, HTML, data visualization, data visualisation, network interfaces, performance bottleneck
20	Srikanth Venkataraman, Ismed Hartanto, W. Kent Fuchs	Dynamic diagnosis of sequential circuits based on stuck-at faults.	VTS	1996	DBLP DOI BibTeX RDF	dynamic diagnosis, stuck-at fault simulation, cause-effect analysis, effect-cause analysis, error propagation back-trace, fault diagnosis, logic testing, sequential circuits, synchronous sequential circuit, matching algorithm
20	Stephen J. Walsh, John A. Board	Pollution control caching.	ICCD	1995	DBLP DOI BibTeX RDF	pollution control caching, high speed processors, bandwidth mismatch, standard DRAMS, on-chip caches, miss ratio statistics, expected clock cycles per instruction, main memory latencies, PCC+VB, discrete event simulation, memory architecture, trace driven simulation, cache storage, memory performance, ANOVA, DRAM chips
20	Thomas M. Conte, Kishore N. Menezes, Sumedh W. Sathaye	A technique to determine power-efficient, high-performance superscalar processors.	HICSS (1)	1995	DBLP DOI BibTeX RDF	high-performance superscalar processors, processor performance advances, thermal power dissipation, architectural power estimates, systematic techniques, user benchmarks, architectural component, real estate usage, superscalar execution units, architectural power measurement, near-optimal search, power-efficient superscalar processors, performance evaluation, parallel architectures, simulated annealing, simulated annealing, parallel machines, power consumption, trace-driven simulation
20	Andrew R. Pleszkun	Techniques for compressing program address traces.	MICRO	1994	DBLP DOI BibTeX RDF	compression, trace generation
20	David Alex Lamb	Specification of Iterators.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	trace specifications, common form, iterator module, Alphard-style iterators, sequence iterator, iterator construct, procedural parameters, formal specification, data structures, algebraic specification, high level languages, partial specifications
20	Jing Duan, Gulan Zhang, Xiangwen Li, Yintao Zhang, Lei Li, Wei Liu, Shiyun Ran, Caijun Cao, Wenjie Tang, Fengchi Yang, Yiliang Luo	Seismic Facies-Guided Trace-by-Trace High-Precision Strong and Weak Reflection Separation.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
20	Xi Chen 0001, Anindya De, Chin Ho Lee, Rocco A. Servedio, Sandip Sinha	Approximate Trace Reconstruction from a Single Trace.	SODA	2023	DBLP DOI BibTeX RDF
20	Leilei Lin, Ying Di, Wenlong Chen, Yunuo Cao, Rui Zhu, Yuan Zhang	TCTV: Trace Clustering Considering Intra- and Inter-cluster Similarity Based on Trace Variants.	ICSOC (2)	2023	DBLP DOI BibTeX RDF
20	Alessandro Gianola, Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Sarah Winkler	Approximating Multi-perspective Trace Alignment Using Trace Encodings.	BPM	2023	DBLP DOI BibTeX RDF
20	Victor Malyshkin, Vladislav Perepelkin, Artem Lyamin	Trace Balancing Technique for Trace Playback in LuNA System.	PaCT	2023	DBLP DOI BibTeX RDF
20	Long Sun, Bo Liu, Jin Liu, Minzheng Tian, Kunyang Wu	Analysis about High-Speed Trace in PCB of Glass-Weave: The effect of the PCB of Glass-Weave on insertion loss, impedance and phase of high-speed trace.	EITCE	2023	DBLP DOI BibTeX RDF
20	Yagmur Çakiroglu, Oguz Yayla, Emrah Sercan Yilmaz	The number of irreducible polynomials over finite fields with vanishing trace and reciprocal trace.	Des. Codes Cryptogr.	2022	DBLP DOI BibTeX RDF
20	Xi Chen 0001, Anindya De, Chin Ho Lee, Rocco A. Servedio, Sandip Sinha	Approximate Trace Reconstruction from a Single Trace.	CoRR	2022	DBLP DOI BibTeX RDF
20	S. P. Arseev, Leonid M. Mestetskiy	Character Skeleton as a Pen Trace Model for Recognition from Reconstructed Trace.	Autom. Remote. Control.	2021	DBLP DOI BibTeX RDF
20	Christophe Genevey-Metat, Annelie Heuser, Benoît Gérard	Trace-to-Trace Translation for SCA.	CARDIS	2021	DBLP DOI BibTeX RDF
20	Nazim Uddin Sheikh, Zhigang Lu 0001, Hassan Asghar 0001, Mohamed Ali Kâafar	Trace Recovery: Inferring Fine-grained Trace of Energy Data from Aggregates.	SECRYPT	2021	DBLP DOI BibTeX RDF
20	Hongbae Jeong, Giorgio Bonmassar	Numerical estimation of the B1 transmit field distortion in a copper EEG trace comparison with the thin-film based resistive trace "NeoNet".	EMBC	2021	DBLP DOI BibTeX RDF
20	Niclas Finne, Joakim Eriksson, Thiemo Voigt, George Suciu, Mari-Anais Sachian, JeongGil Ko, Hossein Keipour	Multi-Trace: Multi-level Data Trace Generation with the Cooja Simulator.	DCOSS	2021	DBLP DOI BibTeX RDF
20	Deeksha Dangwal, Weilong Cui, Joseph McMahan, Timothy Sherwood	Trace Wringing for Program Trace Privacy.	IEEE Micro	2020	DBLP DOI BibTeX RDF
20	John Saint, Alexander Whitelock-Wainwright, Dragan Gasevic, Abelardo Pardo	Trace-SRL: A Framework for Analysis of Microlevel Processes of Self-Regulated Learning From Trace Data.	IEEE Trans. Learn. Technol.	2020	DBLP DOI BibTeX RDF
20	Yagmur Çakiroglu, Oguz Yayla, Emrah Sercan Yilmaz	The number of irreducible polynomials over finite fields with vanishing trace and reciprocal trace.	CoRR	2020	DBLP BibTeX RDF
20	Assen Bojilov, Lyubomir Borissov, Yuri L. Borissov	Computing the number of finite field elements with prescribed absolute trace and co-trace.	Cryptogr. Commun.	2019	DBLP DOI BibTeX RDF
20	Kazutaka Ogihara	Generating Block IO Trace Data from a Cloud Site Using Packet Capture and Analyzing the IO Trace Data.	CANDAR Workshops	2019	DBLP DOI BibTeX RDF
20	Norbert Lang, Uwe Macherius, Henrik Zimmermann, Sven Glitsch, Mathias Wiese, Jürgen Röpcke, Jean-Pierre H. van Helden	RES-Q-Trace: A Mobile CEAS-Based Demonstrator for Multi-Component Trace Gas Detection in the MIR.	Sensors	2018	DBLP DOI BibTeX RDF
20	Wenjie Zheng 0001	A distributed Frank-Wolfe framework for trace norm minimization via the bulk synchronous parallel model. (Une structure Frank-Wolfe distribuée pour la minimisation des normes de trace via le modèle parallèle synchrone en bloc).		2018	RDF
20	Zhihui Li 0001, Feiping Nie 0001, Xiaojun Chang, Yi Yang 0001	Beyond Trace Ratio: Weighted Harmonic Mean of Trace Ratios for Multiclass Discriminant Analysis.	IEEE Trans. Knowl. Data Eng.	2017	DBLP DOI BibTeX RDF
20	Kazuma Kusu, Izuru Kume, Kenji Hatano	A Trace Partitioning Approach for Memory Efficiency on a Trace Analysis Environment.	ACIT/CSII/BCD	2017	DBLP DOI BibTeX RDF
20	Ruediger Gad	Improving Packet Capture Trace Import in Trace Compass with a Data Transformation DSL.	COMPSAC (2)	2017	DBLP DOI BibTeX RDF
20	Pan Wang, WenAn Tan, Anqiong Tang, Kai Hu 0004	A Novel Trace Clustering Technique Based on Constrained Trace Alignment.	HCC	2017	DBLP DOI BibTeX RDF
20	Zhouyuan Huo, Feiping Nie 0001, Heng Huang	Robust and Effective Metric Learning Using Capped Trace Norm: Metric Learning via Capped Trace Norm.	KDD	2016	DBLP DOI BibTeX RDF
20	Tzu-Chieh Tsai, Ho-Hsiang Chan	NCCU Trace: social-network-aware mobility trace.	IEEE Commun. Mag.	2015	DBLP DOI BibTeX RDF
20	Álvaro Jiménez, Juan M. Vara, Verónica Andrea Bollati, Esperanza Marcos	MeTAGeM-Trace: Improving trace generation in model transformation by leveraging the role of transformation models.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
20	Christian Häubl, Christian Wimmer, Hanspeter Mössenböck	Trace transitioning and exception handling in a trace-based JIT compiler for java.	ACM Trans. Archit. Code Optim.	2014	DBLP DOI BibTeX RDF
20	Jingwen Zhou, Zhenbang Chen, Ji Wang 0001, Zibin Zheng, Michael R. Lyu	Trace Bench: An Open Data Set for Trace-Oriented Monitoring.	CloudCom	2014	DBLP DOI BibTeX RDF
20	Raafat Zarka, Pierre-Antoine Champin, Amélie Cordier, Elöd Egyed-Zsigmond, Luc Lamontagne, Alain Mille	TStore: A Trace-Base Management System - Using Finite-state Transducer Approach for Trace Transformation.	MODELSWARD	2013	DBLP DOI BibTeX RDF
20	Mateusz Wieloch, Sorawit Amornborvornwong, Jane Cleland-Huang	Trace-by-classification: A machine learning approach to generate trace links for frequently occurring software artifacts.	TEFSE@ICSE	2013	DBLP DOI BibTeX RDF
20	Maike Massierer	Trace Zero Varieties in Cryptography: Optimal Representation and Index Calculus. (Variétés de trace zero en cryptographie : représentation efficace et calcul d'indices).		2013	RDF
20	Pablo Martinez Lerin, Daisuke Yamamoto, Naohisa Takahashi	Making a Pictorial and Verbal Travel Trace from a GPS Trace.	W2GIS	2012	DBLP DOI BibTeX RDF
20	Kai-Uwe Irrgang, Rainer G. Spallek	Comparison of Trace-Port-Designs for On-Chip-Instruction-Trace.	IEEE GSC	2012	DBLP BibTeX RDF
20	Chun-Hung Lai, Fu-Ching Yang, Ing-Jer Huang	A Trace-Capable Instruction Cache for Cost-Efficient Real-Time Program Trace Compression in SoC.	IEEE Trans. Computers	2011	DBLP DOI BibTeX RDF
20	Edouard Grave, Guillaume Obozinski, Francis R. Bach	Trace Lasso: a trace norm regularization for correlated designs	CoRR	2011	DBLP BibTeX RDF
20	Dominic Eschweiler, Michael Wagner 0003, Markus Geimer, Andreas Knüpfer, Wolfgang E. Nagel, Felix Wolf 0001	Open Trace Format 2: The Next Generation of Scalable Trace Formats and Support Libraries.	PARCO	2011	DBLP DOI BibTeX RDF
20	Edouard Grave, Guillaume Obozinski, Francis R. Bach	Trace Lasso: a trace norm regularization for correlated designs.	NIPS	2011	DBLP BibTeX RDF
20	Wei-Keat Kong, Jane Huffman Hayes, Alex Dekhtyar, Jeff Holden	How do we trace requirements: an initial study of analyst behavior in trace validation tasks.	CHASE	2011	DBLP DOI BibTeX RDF
20	Boxun Zhang, Alexandru Iosup, Johan Pouwelse, Dick H. J. Epema	The peer-to-peer trace archive: design and comparative trace analysis.	StudentWorkshop@CoNEXT	2010	DBLP DOI BibTeX RDF
20	Yongyuth Permpoontanalarp	On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols.	FMOODS/FORTE	2010	DBLP DOI BibTeX RDF
20	Guy Cochrane, Ruth Akhtar, Philippe Aldebert, Nicola Althorpe, Alastair Baldwin, Kirsty Bates, Sumit Bhattacharyya, James K. Bonfield, Lawrence Bower, Paul Browne, Matias Castro, Tony Cox 0001, Fehmi Demiralp, Ruth Y. Eberhardt, Nadeem Faruque, Gemma Hoad, Mikyung Jang, Tamara Kulikova, Alberto Labarga, Rasko Leinonen, Steven Leonard, Quan Lin, Rodrigo Lopez, Dariusz Lorenc, Hamish McWilliam, Gaurab Mukherjee, Francesco Nardone, Sheila Plaister, Stephen Robinson, Siamak Sobhany, Robert Vaughan 0001, Dan Wu, Weimin Zhu, Rolf Apweiler, Tim J. P. Hubbard, Ewan Birney	Priorities for nucleotide trace, sequence and annotation data capture at the Ensembl Trace Archive and the EMBL Nucleotide Sequence Database.	Nucleic Acids Res.	2008	DBLP DOI BibTeX RDF
20	Michael P. Mesnier, Matthew Wachs, Raja R. Sambasivan, Julio César López-Hernández, James Hendricks, Gregory R. Ganger, David R. O'Hallaron	//TRACE: Parallel Trace Replay with Approximate Causal Events.	FAST	2007	DBLP BibTeX RDF
20	Kai-Feng Wang, Zhenzhou Ji, Ming-Zeng Hu	Simultaneous multithreading trace processors: Improving trace processors performance.	Microprocess. Microsystems	2006	DBLP DOI BibTeX RDF
20	Kai-Feng Wang, Zhenzhou Ji, Mingzeng Hu	Path-based next N trace prefetch in trace processors.	Microprocess. Microsystems	2005	DBLP DOI BibTeX RDF
20	R. Asbury, M. Wrinn	MPI tuning with Intel© Trace Analyzer and Intel Trace Collector.	CLUSTER	2004	DBLP DOI BibTeX RDF
20	Xiao Jun Chen, Rocco De Nicola	Algebraic characterizations of trace and decorated trace equivalences over tree-like structures.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
20	Vincent Schmitt	Stable Trace Automata vs. Full Trace Automata.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
20	Roberto Giorgi, Cosimo Antonio Prete, Gianpaolo Prina, Luigi M. Ricciardi	Trace Factory: generating workloads for trace-driven simulation of shared-bus multiprocessors.	IEEE Concurrency	1997	DBLP DOI BibTeX RDF
20	J. Kelly Flanagan, Brent E. Nelson, James K. Archibald, Gregory D. Thompson	The Inaccuracy of Trace-Driven Simulation Using Incomplete Mulitprogramming Trace Data.	MASCOTS	1996	DBLP DOI BibTeX RDF
20	J. Kelly Flanagan, Brent E. Nelson, James K. Archibald, Knuth Stener Grimsrud	Incomplete Trace Data and Trace Driven Simulation.	MASCOTS	1993	DBLP BibTeX RDF
20	Robert H. B. Netzer	Trace Size vs. Parallelism in Trace-and-Replay Debugging of Shared-Memory Programs.	LCPC	1993	DBLP DOI BibTeX RDF
20	Allen D. Malony, David H. Hammerslag, David Jablonowski	Trace View: A Trace Visualization Tool.	ACPC	1991	DBLP DOI BibTeX RDF
20	Alberto Bertoni, Massimiliano Goldwurm	On the Prefixes of a Random Trace and the Membership Problem for Context-Free Trace Languages.	AAECC	1987	DBLP DOI BibTeX RDF
20	Richard P. Stanley	The Conjugate Trace and Trace of a Plane Partition.	J. Comb. Theory, Ser. A	1973	DBLP DOI BibTeX RDF
19	Andrew B. Kahng, Bill Lin 0001, Kambiz Samadi, Rohit Sunkam Ramanujam	Trace-driven optimization of networks-on-chip configurations.	DAC	2010	DBLP DOI BibTeX RDF	networks-on-chip, virtual channel, greedy heuristics
19	Fredrik Seehusen, Bjørnar Solhaug, Ketil Stølen	Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF
19	Borys J. Bradel, Tarek S. Abdelrahman	The use of hardware transactional memory for the trace-based parallelization of recursive Java programs.	PPPJ	2009	DBLP DOI BibTeX RDF	Java, parallelism, transactional memory, traces
19	Sumit Nain, Moshe Y. Vardi	Trace Semantics is Fully Abstract.	LICS	2009	DBLP DOI BibTeX RDF
19	Gabriel Matni, Michel R. Dagenais	Automata-based approach for kernel trace analysis.	CCECE	2009	DBLP DOI BibTeX RDF
19	Kathryn M. Mohror, Karen L. Karavanic	Evaluating similarity-based trace reduction techniques for scalable performance analysis.	SC	2009	DBLP DOI BibTeX RDF
19	Laurent Mazaré, Bogdan Warinschi	Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
19	Antonio Fasano 0001, Sergio Barbarossa	Trace-Orthogonal Space-Time Coding.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
19	Ho Fai Ko, Nicola Nicolici	Automated Trace Signals Identification and State Restoration for Improving Observability in Post-Silicon Validation.	DATE	2008	DBLP DOI BibTeX RDF
19	Dimitrios Vardoulakis, Mitchell Wand	A Compositional Trace Semantics for Orc.	COORDINATION	2008	DBLP DOI BibTeX RDF
19	Javier Rubio-Loyola, Dolors Sala, Ali Ismail Awad	Accurate real-time monitoring of bottlenecks and performance of packet trace collection.	LCN	2008	DBLP DOI BibTeX RDF
19	Sean Safarpour, Andreas G. Veneris, Hratch Mangassarian	Trace Compaction using SAT-based Reachability Analysis.	ASP-DAC	2007	DBLP DOI BibTeX RDF