Search results for "traces"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Andriy V. Miranskyy, Nazim H. Madhavji, Mechelle Gittens, Matthew Davison, Mark Wilding, David Godwin	An iterative, multi-level, and scalable approach to comparing execution traces.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	traces comparison, software testing, code coverage, execution traces, dynamic information flow analysis
4	Andriy V. Miranskyy, Nazim H. Madhavji, Mechelle Gittens, Matthew Davison, Mark Wilding, David Godwin	An iterative, multi-level, and scalable approach to comparing execution traces.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	traces comparison, software testing, code coverage, execution traces, dynamic information flow analysis
4	Mark A. Holliday, Carla Schlatter Ellis	Accuracy of Memory Reference Traces of Parallel Computations in Trace-Driven Simulation.	IEEE Trans. Parallel Distrib. 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
3	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
3	Wolter Pieters	Combatting Electoral Traces: The Dutch Tempest Discussion and Beyond.	VOTE-ID	2009	DBLP DOI BibTeX RDF	electoral traces, risk classification, electronic voting, actor-network theory, tempest
3	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
3	Xenia Mountrouidou	On the traffic modeling of burst aggregation algorithms using video and data traces.	Telecommunication Systems	2008	DBLP DOI BibTeX RDF	Burst aggregation algorithms, IPP, Internet traces, Statistical convolution
3	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
3	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
3	Mike McGavin, Tim Wright, Stuart Marshall	Visualisations of execution traces (VET): an interactive plugin-based visualisation tool.	AUIC	2006	DBLP DOI BibTeX RDF	execution traces, software visualisation
3	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
3	Stephen D. Cohen	Finite Field Elements with Specified Order and Traces.	Des. Codes Cryptography	2005	DBLP DOI BibTeX RDF	specified traces, finite field, primitive element, character sums
3	Jan Drugowitsch, Alwyn Barry	XCS with eligibility traces.	GECCO	2005	DBLP DOI BibTeX RDF	eligibility traces, XCS, q-learning, LCS, temporal-difference learning
3	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
3	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
3	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
3	David S. Wooding	Fixation maps: quantifying eye-movement traces.	ETRA	2002	DBLP DOI BibTeX RDF	fixation map, analysis, similarity, traces, Eye-movements
3	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
3	Paul Gastin, Madhavan Mukund	An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces.	ICALP	2002	DBLP DOI BibTeX RDF	concurrency, Temporal logics, Mazurkiewicz traces
3	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
3	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
3	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
3	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
3	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
3	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
3	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
2	T. Manjula Peirs, James H. Hill	Towards Adapting System Execution Traces for Validation of Enterprise Distributed System QoS Properties.	EDOCW	2011	DBLP DOI BibTeX RDF	SETAF, QoS validation, system execution traces, adaption
2	Luay Alawneh, Abdelwahab Hamou-Lhadj	MTF: A Scalable Exchange Format for Traces of High Performance Computing Systems.	ICPC	2011	DBLP DOI BibTeX RDF	HPC-High Performance Computing systems, Inter-process communication traces, MPI-Message Passing Interface, Trace Metamodel, Standard exchange format
2	Benjamin Poirier, Robert Roy, Michel Dagenais	Accurate offline synchronization of distributed traces using kernel-level events.	Operating Systems Review	2010	DBLP DOI BibTeX RDF
2	Yung-Chih Chen, Elisha J. Rosensweig, Jim Kurose, Donald F. Towsley	Group detection in mobility traces.	IWCMC	2010	DBLP DOI BibTeX RDF	clustering, performance, group mobility
2	Theophanis Tsandilas, Wendy E. Mackay	Knotty gestures: subtle traces to support interactive use of paper.	AVI	2010	DBLP DOI BibTeX RDF	tangible interfaces, interactive paper, pen gestures
2	Christian Baudet, Zanoni Dias	An improved algorithm to enumerate all traces that sort a signed permutation by reversals.	SAC	2010	DBLP DOI BibTeX RDF	evolution, genome rearrangement
2	Eran Balan, Tova Milo, Tal Sterenzy	BP-Ex: a uniform query engine for business process execution traces.	EDBT	2010	DBLP DOI BibTeX RDF
2	James H. Hill	Context-Based Analysis of System Execution Traces for Validating Distributed Real-Time and Embedded System Quality-of-Service Properties.	RTCSA	2010	DBLP DOI BibTeX RDF	system execution traces, QoS validation, aspects, viewpoints
2	Jian-Guang Lou, Qiang Fu, Shengqi Yang, Jiang Li, Bin Wu	Mining program workflow from interleaved traces.	KDD	2010	DBLP DOI BibTeX RDF	graphical behavior models, temporal properties, workflow mining
2	Pierrot Chery, Jiang Li, Legand L. Burge III	Characterizing the association between mobile users using wireless network traces.	Richard Tapia Celebration of Diversity in Computing Conference	2009	DBLP DOI BibTeX RDF	interconnectivity time, mobile user association, wireless network trace, delay tolerant network
2	Kiyeon Lee, Shayne Evans, Sangyeun Cho	Accurately approximating superscalar processor performance from traces.	ISPASS	2009	DBLP DOI BibTeX RDF
2	Pierre Michaud	Online compression of cache-filtered address traces.	ISPASS	2009	DBLP DOI BibTeX RDF
2	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
2	Allen Van Gelder	Improved Conflict-Clause Minimization Leads to Improved Propositional Proof Traces.	SAT	2009	DBLP DOI BibTeX RDF
2	Fred Cohen	Analysis of Redundant Traces for Consistency: With Examples from Electronic Messaging and Graphical Images.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Tomohiro Amemiya	Visualizing Thermal Traces to Reveal Histories of Human-Object Interactions.	HCI	2009	DBLP DOI BibTeX RDF	thermal trace, surrogate memory, lifelog
2	Simone Campanoni, Stefano Crespi-Reghizzi	Traces of Control-Flow Graphs.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
2	Gail C. Murphy, Petcharat Viriyakattiyaporn, David Shepherd	Using activity traces to characterize programming behaviour beyond the lab.	ICPC	2009	DBLP DOI BibTeX RDF
2	Leila Yahiaoui, Yannick Prié, Zizette Boufaïda	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
2	Andrew Sutherland, Kevin Schneider	UI traces: Supporting the maintenance of interactive software.	ICSM	2009	DBLP DOI BibTeX RDF
2	Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar	Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.	CAV	2009	DBLP DOI BibTeX RDF
2	Bart Jacobs, Ana Sokolova	Traces, Executions and Schedulers, Coalgebraically.	CALCO	2009	DBLP DOI BibTeX RDF
2	Tristan O. R. Allwood, Simon L. Peyton Jones, Susan Eisenbach	Finding the needle: stack traces for GHC.	Haskell	2009	DBLP DOI BibTeX RDF	stack trace, debugging
2	Arnaud Dury, Hesham Hallal, Alexandre Petrenko	Inferring Behavioural Models from Traces of Business Applications.	ICWS	2009	DBLP DOI BibTeX RDF
2	Antonio A. Sánchez-Ruiz-Granados, David Llansó, Marco Antonio Gómez-Martín, Pedro A. González-Calero	Authoring Behaviour for Characters in Games Reusing Abstracted Plan Traces.	IVA	2009	DBLP DOI BibTeX RDF
2	Lili Cao, John Krumm	From GPS traces to a routable road map.	GIS	2009	DBLP DOI BibTeX RDF	road map, GPS
2	Abhinav Parate, Gerome Miklau	A framework for safely publishing communication traces.	CIKM	2009	DBLP DOI BibTeX RDF	privacy, utility
2	Petar Dobrev, Sorin Stancu-Mara, Jürgen Schönwälder	Visualization of Node Interaction Dynamics in Network Traces.	AIMS	2009	DBLP DOI BibTeX RDF	Network measurement, SNMP, network visualization, NetFlow
2	Boris Nechaev, Vern Paxson, Mark Allman, Andrei Gurtov	On calibrating enterprise switch measurements.	Internet Measurement Conference	2009	DBLP DOI BibTeX RDF	network traces, switch-based packet capture, trace calibration, enterprise networks
2	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
2	Swaroop Kavalanekar, Dushyanth Narayanan, Sriram Sankar, Eno Thereska, Kushagra Vaid, Bruce L. Worthington	Measuring Database Performance in Online Services: A Trace-Based Approach.	TPCTC	2009	DBLP DOI BibTeX RDF	storage traces, storage performance, benchmarks, data centers, capacity planning, online services, TPC
2	Huiguang Liang, Ransi Nilaksha De Silva, Wei Tsang Ooi, Mehul Motani	Avatar mobility in user-created networked virtual worlds: measurements, analysis, and implications.	Multimedia Tools Appl.	2009	DBLP DOI BibTeX RDF	Mobility traces user behavior, Peer-to-peer, Caching, Prefetching, Second Life, Networked virtual environment (NVE)
2	John D. Carter, William B. Gardner	Converting scenarios to CSP traces with Mise en Scene for requirements-based programming.	ISSE	2008	DBLP DOI BibTeX RDF
2	Tao Wang, Abhik Roychoudhury	Dynamic slicing on Java bytecode traces.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	debugging, Program slicing, tracing
2	Sungwon Kim, Chul-Ho Lee, Do Young Eun	Super-diffusive behavior of mobile nodes from GPS traces.	Mobile Computing and Communications Review	2008	DBLP DOI BibTeX RDF
2	Alex Groce, Rajeev Joshi	Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s.	STTT	2008	DBLP DOI BibTeX RDF
2	Ewerton Monteiro Salvador, Lisandro Zambenedetti Granville	An investigation of visualization techniques forSNMP traffic traces.	NOMS	2008	DBLP DOI BibTeX RDF
2	Shyamala Doraimani, Adriana Iamnitchi	File grouping for scientific data management: lessons from experimenting with real traces.	HPDC	2008	DBLP DOI BibTeX RDF	file grouping, science grids, caching, data management, job scheduling, trace analysis
2	Abdelwahab Hamou-Lhadj	Measuring the Complexity of Traces Using Shannon Entropy.	ITNG	2008	DBLP DOI BibTeX RDF	trace complexity, software maintenance, program comprehension, Dynamic analysis, Shannon entropy
2	Aaron Schulman, Dave Levin, Neil Spring	On the Fidelity of 802.11 Packet Traces.	PAM	2008	DBLP DOI BibTeX RDF
2	David Lo, 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
2	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
2	Eiko Yoneki	Visualizing communities and centralities from encounter traces.	Challenged Networks	2008	DBLP DOI BibTeX RDF	clustering, social networks, delay tolerant networks, network measurement, centrality
2	Josselin Kherroubi	Automatic extraction of natural fracture traces from borehole images.	ICPR	2008	DBLP DOI BibTeX RDF
2	Yi-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.	DAC	2008	DBLP DOI BibTeX RDF	AMBA AHB, backward trace, bus tracer, circular buffer, forward trace, compression
2	Robert Preissl, Thomas Köckerbauer, Martin Schulz, Dieter Kranzlmüller, Bronis R. de Supinski, Daniel J. Quinlan	Detecting Patterns in MPI Communication Traces.	ICPP	2008	DBLP DOI BibTeX RDF
2	Jack Whitham, Neil C. Audsley	Forming Virtual Traces for WCET Analysis and Reduction.	RTCSA	2008	DBLP DOI BibTeX RDF
2	Tatsuya Sato, Buntarou Shizuki, Jiro Tanaka	Support for Understanding GUI Programs by Visualizing Execution Traces Synchronized with Screen Transitions.	ICPC	2008	DBLP DOI BibTeX RDF
2	Johannes Bohnet, Stefan Voigt, Jürgen Döllner	Locating and Understanding Features of Complex Software Systems by Synchronizing Time-, Collaboration- and Code-Focused Views on Execution Traces.	ICPC	2008	DBLP DOI BibTeX RDF
2	Shahar Maoz	Model-Based Traces.	MoDELS Workshops	2008	DBLP DOI BibTeX RDF
2	Prasun Ratn, Frank Mueller, Bronis R. de Supinski, Martin Schulz	Preserving time in large-scale communication traces.	ICS	2008	DBLP DOI BibTeX RDF	message passing, high-performance computing, tracing
2	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
2	Ying Chen, Yuping Wang	Exposing Digital Forgeries by Detecting Traces of Smoothing.	ICYCS	2008	DBLP DOI BibTeX RDF
2	David Lo	Mining specifications in diversified formats from execution traces.	ICSM	2008	DBLP DOI BibTeX RDF
2	Matthias Woehrle, Christian Plessl, Roman Lim, Jan Beutel, Lothar Thiele	EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks.	SUTC	2008	DBLP DOI BibTeX RDF	Wireless Sensor Networl, testing, event analysis
2	Junsong Yuan, Jiebo Luo, Henry S. Kautz, Ying Wu	Mining GPS traces and visual words for event classification.	Multimedia Information Retrieval	2008	DBLP DOI BibTeX RDF	event categorization, gps information, image data mining
2	David Lo, Shahar Maoz	Hierarchical inter-object traces for specification mining.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	uml sequence diagram, live sequence charts, specification mining, object hierarchy
2	Chunying Zhao, Keven Ates, Jun Kong, Kang Zhang	Discovering Program's Behavioral Patterns by Inferring Graph-Grammars from Execution Traces.	ICTAI	2008	DBLP DOI BibTeX RDF
2	Swaroop Kavalanekar, Bruce L. Worthington, Qi Zhang, Vishal Sharda	Characterization of storage workload traces from production Windows Servers.	IISWC	2008	DBLP DOI BibTeX RDF
2	Andriy V. Miranskyy, Nazim H. Madhavji, Mechelle Gittens, Matthew Davison, Mark Wilding, David Godwin, C. A. Taylor	SIFT: a scalable iterative-unfolding technique for filtering execution traces.	CASCON	2008	DBLP DOI BibTeX RDF
2	Paul Bell, Igor Potapov	Periodic and Infinite Traces in Matrix Semigroups.	SOFSEM	2008	DBLP DOI BibTeX RDF
2	Nathan J. Schmidt, Peter Kemper	Phrase based browsing for simulation traces of network protocols.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
2	A. Johannes Pretorius, Jarke J. van Wijk	Multiple Views on System Traces.	PacificVis	2008	DBLP DOI BibTeX RDF
2	Syed Shariyar Murtaza, Mechelle Gittens, Nazim H. Madhavji	Discovering the Fault Origin from Field Traces.	ISSRE	2008	DBLP DOI BibTeX RDF
2	William Yurcik, Clay Woolam, Greg Hellings, Latifur Khan, Bhavani M. Thuraisingham	Privacy/Analysis Tradeoffs in Sharing Anonymized Packet Traces: Single-Field Case.	ARES	2008	DBLP DOI BibTeX RDF	privacy-enhanced security data sharing
2	Mark Gabel, Zhendong Su	Javert: fully automatic mining of general temporal properties from dynamic traces.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	formal specifications, dynamic analysis, specification mining
2	Michael Smit, Eleni Stroulia, Kenny Wong	Use Case Redocumentation from GUI Event Traces.	CSMR	2008	DBLP DOI BibTeX RDF
2	Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, Sergio Storari	Checking Compliance of Execution Traces to Business Rules.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF
2	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
2	Jelena Mirkovic	Privacy-safe network trace sharing via secure queries.	NDA	2008	DBLP DOI BibTeX RDF	network traces, privacy, sharing, sanitization
2	Itnuit Janovitz-Freireich, Ágnes Szántó, Bernard Mourrain, Lajos Rónyai	Moment matrices, trace matrices and the radical of ideals.	ISSAC	2008	DBLP DOI BibTeX RDF	matrices of traces, moment matrices, radical ideal, solving polynomial systems
2	Nicolas Bettenburg, Rahul Premraj, Thomas Zimmermann, Sunghun Kim	Extracting structural information from bug reports.	MSR	2008	DBLP DOI BibTeX RDF	stack traces, source code, patches, structural information, bug reports
2	Duane Merrill, Kim M. Hazelwood	Trace fragment selection within method-based JVMs.	VEE	2008	DBLP DOI BibTeX RDF	region selection, JVM, traces, JIT compilation
2	Marek Grzes, Daniel Kudenko	Robustness Analysis of SARSA(lambda): Different Models of Reward and Initialisation.	AIMSA	2008	DBLP DOI BibTeX RDF	SARSA, eligibility traces, reinforcement learning, Q-learning, temporal-difference learning