Search results for "Traces"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
67	Andriy V. Miranskyy, Nazim H. Madhavji, Mechelle Gittens, Matthew Davison 0001, Mark Wilding, David Godwin	An iterative, multi-level, and scalable approach to comparing execution traces.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	dynamic information flow analysis, traces comparison, software testing, code coverage, execution traces
66	Vijay S. Iyengar, Louise Trevillyan, Pradip Bose	Representative Traces for Processor Models with Infinite Cache.	HPCA	1996	DBLP DOI BibTeX RDF	dynamic traces, performance evaluation, timer, processor design
66	Purushotham Kamath, Kun-Chan Lan, John S. Heidemann, Joseph A. Bannister, Joseph D. Touch	Generation of High Bandwidth Network Traffic Traces.	MASCOTS	2002	DBLP DOI BibTeX RDF
57	Mark A. Holliday, Carla Schlatter Ellis	Accuracy of Memory Reference Traces of Parallel Computations in Trace-Driven Simulation.	IEEE Trans. Parallel Distributed Syst.	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
56	SeungGwan Lee, SeokMi Hong	Efficient Ant Reinforcement Learning Using Replacing Eligibility Traces.	ICAISC	2006	DBLP DOI BibTeX RDF
56	Marta Z. Kwiatkowska	On the Domain of Traces and Sequential Composition.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
55	Paul Gastin, Antoine Petit 0001	Infinite Traces.	The Book of Traces	1995	DBLP DOI BibTeX RDF
55	Wojciech Penczek, Ruurd Kuiper 0001	Traces and Logic.	The Book of Traces	1995	DBLP DOI BibTeX RDF
51	Paul Gastin, Madhavan Mukund	An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces.	ICALP	2002	DBLP DOI BibTeX RDF	concurrency, Temporal logics, Mazurkiewicz traces
50	Michael Behar, Avi Mendelson, Avinoam Kolodny	Trace cache sampling filter.	ACM Trans. Comput. Syst.	2007	DBLP DOI BibTeX RDF	cache utilization, sampling filter, power dissipation, Trace cache
50	Roni Rosner, Avi Mendelson, Ronny Ronen	Filtering Techniques to Improve Trace-Cache Efficiency.	IEEE PACT	2001	DBLP DOI BibTeX RDF
46	Carl Gutwin, Reagan Penner	Improving interpretation of remote gestures with telepointer traces.	CSCW	2002	DBLP DOI BibTeX RDF	consequential communication, groupware usability, telepointer traces, gesture, jitter, network delay
46	Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney	Aligning traces for performance evaluation.	IPDPS	2006	DBLP DOI BibTeX RDF
46	Kim M. Hazelwood, Michael D. Smith 0001	Generational Cache Management of Code Traces in Dynamic Optimization Systems.	MICRO	2003	DBLP DOI BibTeX RDF
45	Itnuit Janovitz-Freireich, Lajos Rónyai, Ágnes Szántó	Approximate Radical for Clusters: A Global Approach Using Gaussian Elimination or SVD.	Math. Comput. Sci.	2007	DBLP DOI BibTeX RDF	Radical ideal, matrix of traces, clusters, symbolic-numeric computation
45	Chao Liu 0001, Jiawei Han 0001	Failure proximity: a fault localization-based approach.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	failure proximity, debugging aids, statistical debugging
44	Christian Choffrut	Combinatorics in Trace Monoids I.	The Book of Traces	1995	DBLP DOI BibTeX RDF
44	Edward Ochmanski	Recognizable Trace Languages.	The Book of Traces	1995	DBLP DOI BibTeX RDF
44	Hendrik Jan Hoogeboom, Grzegorz Rozenberg	Dependence Graphs.	The Book of Traces	1995	DBLP DOI BibTeX RDF
44	Gérard Duchamp, Daniel Krob	Combinatorics in Trace Monoids II.	The Book of Traces	1995	DBLP DOI BibTeX RDF
44	Mireille Clerbout, Michel Latteux, Yves Roos	Semi-Commutations.	The Book of Traces	1995	DBLP DOI BibTeX RDF
44	Volker Diekert, Anca Muscholl	Construction of Asynchronous Automata.	The Book of Traces	1995	DBLP DOI BibTeX RDF
44	Wieslaw Zielonka	Asynchronous Automata.	The Book of Traces	1995	DBLP DOI BibTeX RDF
44	Mogens Nielsen, Glynn Winskel	Trace Structures and other Models for Concurrency.	The Book of Traces	1995	DBLP DOI BibTeX RDF
44	Alberto Bertoni, Massimiliano Goldwurm, Giancarlo Mauri, Nicoletta Sabadini	Counting Techniques for Inclusion, Equivalence and Membership Problems.	The Book of Traces	1995	DBLP DOI BibTeX RDF
44	Antoni W. Mazurkiewicz	Introduction to Trace Theory.	The Book of Traces	1995	DBLP DOI BibTeX RDF
42	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
41	Alexandre Genon, Thierry Massart, Cédric Meuter	Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces.	FM	2006	DBLP DOI BibTeX RDF	testing of asynchronous distributed systems, global properties, model checking of traces, monitor
41	Mike McGavin, Tim Wright, Stuart Marshall	Visualisations of execution traces (VET): an interactive plugin-based visualisation tool.	AUIC	2006	DBLP BibTeX RDF	execution traces, software visualisation
41	Volker Diekert, Paul Gastin	Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces.	LATIN	2004	DBLP DOI BibTeX RDF	concurrency, Temporal logics, Mazurkiewicz traces
41	Paul Gastin, Madhavan Mukund, K. Narayan Kumar	Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces.	MFCS	2003	DBLP DOI BibTeX RDF	concurrency, Temporal logics, Mazurkiewicz traces
41	Bharat Adsul, Milind A. Sohoni	Complete and Tractable Local Linear Time Temporal Logics over Traces.	ICALP	2002	DBLP DOI BibTeX RDF	Concurrency, Temporal Logics, Limits, Mazurkiewicz Traces
41	David S. Wooding	Fixation maps: quantifying eye-movement traces.	ETRA	2002	DBLP DOI BibTeX RDF	fixation map, analysis, similarity, traces, Eye-movements
41	Andrew Sutherland, Kevin A. Schneider	UI traces: Supporting the maintenance of interactive software.	ICSM	2009	DBLP DOI BibTeX RDF
41	Aaron Schulman, Dave Levin, Neil Spring	On the Fidelity of 802.11 Packet Traces.	PAM	2008	DBLP DOI BibTeX RDF
41	Jack Whitham, Neil C. Audsley	Forming Virtual Traces for WCET Analysis and Reduction.	RTCSA	2008	DBLP DOI BibTeX RDF
41	Andriy V. Miranskyy, Nazim H. Madhavji, Mechelle Gittens, Matthew Davison 0001, Mark Wilding, David Godwin, Colin A. Taylor	SIFT: a scalable iterative-unfolding technique for filtering execution traces.	CASCON	2008	DBLP DOI BibTeX RDF
41	Milena Milenkovic, Aleksandar Milenkovic, Martin Burtscher	Algorithms and Hardware Structures for Unobtrusive Real-Time Compression of Instruction and Data Address Traces.	DCC	2007	DBLP DOI BibTeX RDF
41	Martin Burtscher, Metha Jeeradit	Compressing Extended Program Traces Using Value Predictors.	IEEE PACT	2003	DBLP DOI BibTeX RDF
41	Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic	Error-free garbage collection traces: how to cheat and not get caught.	SIGMETRICS	2002	DBLP DOI BibTeX RDF
41	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
41	Guillaume Pothier, Éric Tanter, José M. Piquer	Scalable omniscient debugging.	OOPSLA	2007	DBLP DOI BibTeX RDF	interface components, omniscient debugging, partial traces, specialized distributed database, scalability, execution traces
41	P. Bosch, A. Carloganu, Daniel Etiemble	Complete x86 instruction trace generation from hardware bus collect.	EUROMICRO	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
40	Jungheum Park, Bora Park, Sangjin Lee 0002, Seokhie Hong, Jong Hyuk Park	Extraction of Residual Information in the Microsoft PowerPoint file from the Viewpoint of Digital Forensics considering PerCom Environment.	PerCom	2008	DBLP DOI BibTeX RDF	MS PowerPoint, Residual Information
40	Matt T. Yourst, Kanad Ghose	Incremental Commit Groups for Non-Atomic Trace Processing.	MICRO	2005	DBLP DOI BibTeX RDF	trace prediction, VLIW, commitment, binary translation
40	Youtao Zhang, Rajiv Gupta 0001	Timestamped Whole Program Path Representation and its Applications.	PLDI	2001	DBLP DOI BibTeX RDF
36	Wolter Pieters	Combatting Electoral Traces: The Dutch Tempest Discussion and Beyond.	VoteID	2009	DBLP DOI BibTeX RDF	electoral traces, risk classification, electronic voting, actor-network theory, tempest
36	Xenia Mountrouidou	On the traffic modeling of burst aggregation algorithms using video and data traces.	Telecommun. Syst.	2008	DBLP DOI BibTeX RDF	Burst aggregation algorithms, IPP, Internet traces, Statistical convolution
36	Jonathan Weinberg, Allan Snavely	Accurate memory signatures and synthetic address traces for HPC applications.	ICS	2008	DBLP DOI BibTeX RDF	synthetic memory traces, caches, locality, hpc
36	Jan Drugowitsch, Alwyn Barry	XCS with eligibility traces.	GECCO	2005	DBLP DOI BibTeX RDF	eligibility traces, XCS, q-learning, LCS, temporal-difference learning
36	Volker Diekert, Paul Gastin	An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces.	CSL	1999	DBLP DOI BibTeX RDF	concurrency, Temporal logics, Mazurkiewicz traces
36	Lili Cao, John Krumm	From GPS traces to a routable road map.	GIS	2009	DBLP DOI BibTeX RDF	road map, GPS
36	Graham D. Price, Manish Vachharajani	A Case for Compressing Traces with BDDs.	IEEE Comput. Archit. Lett.	2006	DBLP DOI BibTeX RDF
36	Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic	Generating object lifetime traces with Merlin.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	object lifetime analysis, trace design, Garbage collection, trace generation
36	Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah	Test Case Minimization for Real-Time Systems Using Timed Bound Traces.	TestCom	2006	DBLP DOI BibTeX RDF
36	Anjo Anjewierden, Lilia Efimova	Understanding Weblog Communities Through Digital Traces: A Framework, a Tool and an Example.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF
36	Peter Vamplew 0001, Robert Ollington, Mark Hepburn	Enhanced Temporal Difference Learning Using Compiled Eligibility Traces.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
36	Jeanna Neefe Matthews	Hands-on approach to teaching computer networking using packet traces.	SIGITE Conference	2005	DBLP DOI BibTeX RDF	network protocol analysis
36	Borys J. Bradel, Tarek S. Abdelrahman	The Use of Traces for Inlining in Java Programs.	LCPC	2004	DBLP DOI BibTeX RDF
36	Maurício L. Pilla, Philippe Olivier Alexandre Navaux, Bruce R. Childers, Amarildo T. da Costa, Felipe Maia Galvão França	Value Predictors for Reuse through Speculation on Traces.	SBAC-PAD	2004	DBLP DOI BibTeX RDF
36	Anders Brun, Hae-Jeong Park, Hans Knutsson, Carl-Fredrik Westin	Coloring of DT-MRI Fiber Traces Using Laplacian Eigenmaps.	EUROCAST	2003	DBLP DOI BibTeX RDF
35	Madeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer	Reducing irrelevant trace variations.	ASE	2007	DBLP DOI BibTeX RDF	trace simplification, trace analysis, execution traces
35	Scott F. Kaplan, Yannis Smaragdakis, Paul R. Wilson 0001	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
35	Volker Diekert, Paul Gastin	Local Temporal Logic is Expressively Complete for Cograph Dependence Alphabets.	LPAR	2001	DBLP DOI BibTeX RDF	concurrency, Temporal logics, Mazurkiewicz traces
35	Masami Hagiya, Tomoki Shiratori	Programming by Example in Computing-as-Editing Paradigm.	VL	1995	DBLP DOI BibTeX RDF	computing-as-editing paradigm, computation traces, 2D constraint language, iteration constraint, fixed increments, conditional expressions inference, iterative methods, visual programming, rules, inference mechanisms, constraint handling, programming by example, interactive environment, text editing, learning by example, interactive programming
35	Antoni W. Mazurkiewicz	Basic notions of trace theory.	REX Workshop	1988	DBLP DOI BibTeX RDF	Petri nets, concurrency, processes, traces, partial ordering
35	Ankur Kamthe, Miguel Á. Carreira-Perpiñán, Alberto Cerpa	M&M: multi-level Markov model for wireless link simulations.	SenSys	2009	DBLP DOI BibTeX RDF	802.15.4 low power wireless networks, mixture of multivariate Bernoulli, simulation, hidden Markov models, wireless channel model
35	Madeline Diep, Sebastian G. Elbaum, Matthew Dwyer 0001	Trace Normalization.	ISSRE	2008	DBLP DOI BibTeX RDF
35	Apoorva Jindal, Konstantinos Psounis	Modeling spatially correlated data in sensor networks.	ACM Trans. Sens. Networks	2006	DBLP DOI BibTeX RDF
35	SeungGwan Lee	A Cooperation Online Reinforcement Learning Approach in Ant-Q.	ICONIP (1)	2006	DBLP DOI BibTeX RDF
35	Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus	Debugging temporal specifications with concept analysis.	PLDI	2003	DBLP DOI BibTeX RDF	specification debuggers, hierarchical clustering, concept analysis, temporal specifications
35	Almudena Konrad, Ben Y. Zhao, Anthony D. Joseph, Reiner Ludwig	A Markov-based channel model algorithm for wireless networks.	MSWiM	2001	DBLP DOI BibTeX RDF
31	Wit Forys, Piotr Oprocha	Infinite Traces and Symbolic Dynamics.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Shift on traces, Entropy, Trace, Transitivity, Word, Dynamical language, Shift
31	Andrea Vaccari, Francesco Calabrese, Bing Liu 0001, Carlo Ratti	Towards the SocioScope: an information system for the study of social dynamics through digital traces.	GIS	2009	DBLP DOI BibTeX RDF	digital traces, social dynamics
31	Stephen D. Cohen	Finite Field Elements with Specified Order and Traces.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	specified traces, finite field, primitive element, character sums
31	Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko	An Automata-Based Approach to Property Testing in Event Traces.	TestCom	2003	DBLP DOI BibTeX RDF	distributed traces, monitoring, SDL, passive testing, property checking
31	A. Pavlov, Jean-Luc Béchennec, Daniel Etiemble	Performance evaluation of the memory hierarchy of a desktop PC using commodity chips with specific traces.	EUROMICRO	1997	DBLP DOI BibTeX RDF	memory hierarchy simulation, desktop PC, commodity chips, PC microcomputers, synthetic bus traces, dynamically scheduled superscalar microprocessor, performance evaluation, memory architecture
31	Jaap van Oosten	Topological Aspects of Traces.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	independence relations, topology, traces, bisimulation, Partial order, event structures
31	Jian-Guang Lou, Qiang Fu, Shengqi Yang, Jiang Li 0008, Bin Wu 0001	Mining program workflow from interleaved traces.	KDD	2010	DBLP DOI BibTeX RDF	graphical behavior models, temporal properties, workflow mining
31	Tomohiro Amemiya	Visualizing Thermal Traces to Reveal Histories of Human-Object Interactions.	HCI (6)	2009	DBLP DOI BibTeX RDF	thermal trace, surrogate memory, lifelog
31	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
31	Bart Jacobs 0001, Ana Sokolova	Traces, Executions and Schedulers, Coalgebraically.	CALCO	2009	DBLP DOI BibTeX RDF
31	Brenton D. Walker	Using persistent homology to recover spatial information from encounter traces.	MobiHoc	2008	DBLP DOI BibTeX RDF	encounter trace, delay-tolerant network, persistent homology
31	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
31	David Lo 0001, Siau-Cheng Khoo, Chao Liu 0001	Mining past-time temporal rules from execution traces.	WODA	2008	DBLP DOI BibTeX RDF	past-time temporal rules, data mining, dynamic analysis, specification mining
31	Swaroop Kavalanekar, Bruce L. Worthington, Qi Zhang 0012, Vishal Sharda	Characterization of storage workload traces from production Windows Servers.	IISWC	2008	DBLP DOI BibTeX RDF
31	Colin D. Walter	Recovering Secret Keys from Weak Side Channel Traces of Differing Lengths.	CHES	2008	DBLP DOI BibTeX RDF	Hidden Markov Models, simple power analysis, SPA, Viterbi Algorithm, Forward-Backward Algorithm, Side channel leakage
31	Volker Diekert, Manfred Kufleitner	On First-Order Fragments for Words and Mazurkiewicz Traces.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
31	Chia-Chih Yen, Jing-Yang Jou	An Optimum Algorithm for Compacting Error Traces for Efficient Design Error Debugging.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	simulation, Verification, diagnosis, satisfiability, error checking
31	Xiaoxin Shao, Qianli Zhang, Tao He, Shijin Kong, Changqing An, Xing Li 0001	SANTT: Sharing Anonymized Network Traffic Traces among Researchers.	NOMS	2006	DBLP DOI BibTeX RDF
31	Dimitris Koukis, Spyros Antonatos, Kostas G. Anagnostakis	On the Privacy Risks of Publishing Anonymized IP Network Traces.	Communications and Multimedia Security	2006	DBLP DOI BibTeX RDF
31	Marcia Zangrilli, Bruce Lowekamp	Applying Principles of Active Available Bandwidth Algorithms to Passive TCP Traces.	PAM	2005	DBLP DOI BibTeX RDF
31	Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge	Measuring Various Properties of Execution Traces to Help Build Better Trace Analysis Tools.	ICECCS	2005	DBLP DOI BibTeX RDF
31	Thomas Ball, Mayur Naik, Sriram K. Rajamani	From symptom to cause: localizing errors in counterexample traces.	POPL	2003	DBLP DOI BibTeX RDF	debugging, software model checking
31	Abdelwahab Hamou-Lhadj, Timothy Lethbridge	Compression Techniques to Simplify the Analysis of Large Execution Traces.	IWPC	2002	DBLP DOI BibTeX RDF
31	H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy	A General Categorical Connection between Local Event Structures and Local Traces.	FCT	1999	DBLP DOI BibTeX RDF
31	Raphaël Meyer, Antoine Petit 0001	Expressive Completeness of LTrL on Finite Traces: An Algebraic Proof.	STACS	1998	DBLP DOI BibTeX RDF	Topics logic in computer science, automata and formal languages, theory of parallel and distributed computation
31	P. S. Thiagarajan, Igor Walukiewicz	An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces.	LICS	1997	DBLP DOI BibTeX RDF
31	John A. Zinky, Fredric M. White	Visualizing Packet Traces.	SIGCOMM	1992	DBLP DOI BibTeX RDF
31	Bard Bloom, Marta Z. Kwiatkowska	Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces.	MFPS	1991	DBLP DOI BibTeX RDF