Search results for "Traces"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Tristan Oliver Richard Allwood, Simon L. Peyton Jones, Susan Eisenbach	Finding the needle: stack traces for GHC.	Haskell	2009	DBLP DOI BibTeX RDF	stack trace, debugging
16	Sungwon Kim, Chul-Ho Lee, Do Young Eun	Super-diffusive behavior of mobile nodes from GPS traces.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2008	DBLP DOI BibTeX RDF
16	Alex Groce, Rajeev Joshi	Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF
16	Ewerton Monteiro Salvador, Lisandro Zambenedetti Granville	An investigation of visualization techniques forSNMP traffic traces.	NOMS	2008	DBLP DOI BibTeX RDF
16	William Yurcik, Clay Woolam, Greg Hellings, Latifur Khan, Bhavani Thuraisingham	Privacy/Analysis Tradeoffs in Sharing Anonymized Packet Traces: Single-Field Case.	ARES	2008	DBLP DOI BibTeX RDF	privacy-enhanced security data sharing
16	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
16	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
16	Ying Chen, Yuping Wang	Exposing Digital Forgeries by Detecting Traces of Smoothing.	ICYCS	2008	DBLP DOI BibTeX RDF
16	Paul Bell, Igor Potapov	Periodic and Infinite Traces in Matrix Semigroups.	SOFSEM	2008	DBLP DOI BibTeX RDF
16	David Lo 0001	Mining specifications in diversified formats from execution traces.	ICSM	2008	DBLP DOI BibTeX RDF
16	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
16	Vivien Robinet, Gilles Bisson, Mirta B. Gordon, Benoît Lemaire	Inducing High-Level Behaviors from Problem-Solving Traces Using Machine-Learning Tools.	IEEE Intell. Syst.	2007	DBLP DOI BibTeX RDF	data mining, machine learning, education, computer-assisted instruction
16	Shubhankar Chatterjee, Mike H. MacGregor, Stephen Bates	Generating LRD Traffic Traces Using Bootstrapping.	ITC	2007	DBLP DOI BibTeX RDF
16	Edi Shmueli, Dror G. Feitelson	Uncovering the Effect of System Performance on User Behavior from Traces of Parallel Systems.	MASCOTS	2007	DBLP DOI BibTeX RDF
16	Abbas Heydarnoori, Krzysztof Czarnecki 0001	Mining implementation recipes of framework-provided concepts in dynamic framework API interaction traces.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	FUDA demonstration, framework comprehension, object-oriented software frameworks, data mining, clustering, dynamic slicing
16	David Lo 0001, Shahar Maoz, Siau-Cheng Khoo	Mining modal scenarios from execution traces.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	live sequence charts, specification mining, UML sequence diagrams
16	Jean-Marc François, Guy Leduc	AP and MN-Centric Mobility Prediction: A Comparative Study Based on Wireless Traces.	Networking	2007	DBLP DOI BibTeX RDF
16	Felipe Cantal de Sousa, Nabor C. Mendonça, Sebastián Uchitel, Jeff Kramer	Detecting Implied Scenarios from Execution Traces.	WCRE	2007	DBLP DOI BibTeX RDF
16	Libo Song, David Kotz	Evaluating opportunistic routing protocols with large realistic contact traces.	Challenged Networks	2007	DBLP DOI BibTeX RDF	oppotunistic networks, simulation, routing
16	Antoine Meyer	Traces of Term-Automatic Graphs.	MFCS	2007	DBLP DOI BibTeX RDF
16	Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari	Inducing Declarative Logic-Based Models from Labeled Traces.	BPM	2007	DBLP DOI BibTeX RDF	Topics Process mining, DecSerFlow, Careflow, Logic Programming, Process verification and validation
16	Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis	JThreadSpy: teaching multithreading programming by analyzing execution traces.	PADTAD	2007	DBLP DOI BibTeX RDF	execution trace analysis, runtime code instrumentation, education, object-oriented, concurrent programming, software visualization
16	David Lo 0001, Shahar Maoz, Siau-Cheng Khoo	Mining modal scenario-based specifications from execution traces of reactive systems.	ASE	2007	DBLP DOI BibTeX RDF	dynamic analysis, live sequence charts, specification mining, UML sequence diagrams
16	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
16	Timothy Sohn, Alex Varshavsky, Anthony LaMarca, Mike Y. Chen, Tanzeem Choudhury, Ian E. Smith, Sunny Consolvo, Jeffrey Hightower, William G. Griswold, Eyal de Lara	Mobility Detection Using Everyday GSM Traces.	UbiComp	2006	DBLP DOI BibTeX RDF
16	Valery Naumov, Rainer Baumann, Thomas R. Gross	An evaluation of inter-vehicle ad hoc networks based on realistic vehicular traces.	MobiHoc	2006	DBLP DOI BibTeX RDF	greedy forwarding, realistic mobility model, simulation, routing, ad hoc network, broadcasting, VANET, vehicular network, inter-vehicle communication
16	Nancy D. Griffeth, Yuri Cantor, Constantinos Djouvas	Testing a Network by Inferring Representative State Machines from Network Traces.	ICSEA	2006	DBLP DOI BibTeX RDF
16	Gabriel Istrate, Anders Hansson, Sunil Thulasidasan, Madhav V. Marathe, Christopher L. Barrett	Semantic Compression of TCP Traces.	Networking	2006	DBLP DOI BibTeX RDF
16	Peter Kemper, Carsten Tepper	Traviando - Debugging Simulation Traces with Message Sequence Charts.	QEST	2006	DBLP DOI BibTeX RDF
16	Peter Niebert, Hongyang Qu 0001	The Implementation of Mazurkiewicz Traces in POEM.	ATVA	2006	DBLP DOI BibTeX RDF
16	Hector D. Flores, Stephan J. Eidenbenz, Rudolf H. Riedi, Nicolas W. Hengartner	Describing MANETS: principal component analysis of sparse mobility traces.	PE-WASUN	2006	DBLP DOI BibTeX RDF	iterative regression, principal component analysis, mobility models
16	Martin J. Fischer, Denise M. Bevilacqua Masi	Analyzing internet packet traces using Lindley's Recursion.	WSC	2006	DBLP DOI BibTeX RDF
16	Maria Estrella Sousa Vieira, Andrés Suárez-González, Manuel Fernández-Veiga, Cándido López-García, Raúl Fernando Rodríguez Rubio	A highly efficient M/G/infinity generator of self-similar traces.	WSC	2006	DBLP DOI BibTeX RDF
16	Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet	Uniform random sampling of traces in very large models.	Random Testing	2006	DBLP DOI BibTeX RDF	randomised approximation scheme, uniform generation, model checking, random walk, model-based testing, modular models
16	Alex Groce, Rajeev Joshi	Exploiting Traces in Program Analysis.	TACAS	2006	DBLP DOI BibTeX RDF
16	Jinlin Yang, David Evans 0001, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das	Perracotta: mining temporal API rules from imperfect traces.	ICSE	2006	DBLP DOI BibTeX RDF	dynamic analysis, temporal properties, specification inference
16	Derrick Kondo, Gilles Fedak, Franck Cappello, Andrew A. Chien, Henri Casanova	Availability Traces of Enterprise Desktop Grids.	GRID	2006	DBLP DOI BibTeX RDF
16	Chun Yuan, Ni Lao, Ji-Rong Wen, Jiwei Li, Zheng Zhang 0001, Yi-Min Wang, Wei-Ying Ma	Automated known problem diagnosis with event traces.	EuroSys	2006	DBLP DOI BibTeX RDF	system call sequences, support vector machine, root cause analysis
16	Kuntal Nanshi, Fabio Somenzi	Guiding simulation with increasingly refined abstract traces.	DAC	2006	DBLP DOI BibTeX RDF	simulation, model checking, abstraction refinement
16	Mayur Palankar, Jonathan E. Cook	Merging traces of hardware-assisted data breakpoints.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
16	Jacob Chakareski, Bernd Girod	Rate-distortion optimized video streaming over Internet packet traces.	ICIP (2)	2005	DBLP DOI BibTeX RDF
16	Simon Goldsmith, Robert O'Callahan, Alexander Aiken	Relational queries over program traces.	OOPSLA	2005	DBLP DOI BibTeX RDF	PTQL, partiqle, program trace query language, relational
16	Andy Zaidman, Toon Calders, Serge Demeyer, Jan Paredaens	Applying Webmining Techniques to Execution Traces to Support the Program Comprehension Process.	CSMR	2005	DBLP DOI BibTeX RDF	Reverse engineering, web-mining, program comprehension, dynamic analysis
16	Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl	Component Composition Preserving Behavioural Contracts Based on Communication Traces.	CIAA	2005	DBLP DOI BibTeX RDF
16	Przemyslaw Glomb	Analysis of fGn and http Requests Traces Using Localized Multiscale H Parameter Estimation.	SAINT Workshops	2005	DBLP DOI BibTeX RDF
16	Christophe Cérin, Michel Koskas	Mining Traces of Large Scale Systems.	ICA3PP	2005	DBLP DOI BibTeX RDF	global computing platforms, high performance and distributed databases, Parallel algorithms, resource management, data management, meta-data, trace analysis, data mining application
16	Paul Gastin, Dietrich Kuske	Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces.	CONCUR	2005	DBLP DOI BibTeX RDF
16	Toni Robertson, Melanie Kan, Kirsten Sadler, Penny Hagen	Uncovering traces of mobile practices: 'the bag study'.	OZCHI	2005	DBLP DOI BibTeX RDF	ethnography, mobile technology, research methods, practice
16	Frédéric Gervais, Marc Frappier, Régine Laleau	Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces.	SEFM	2005	DBLP DOI BibTeX RDF
16	HoonSang Jin, Kavita Ravi, Fabio Somenzi	Fate and free will in error traces.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Reachability game, Model checking, Counterexample
16	Raffaella Settimi, Jane Cleland-Huang, Oussama Ben Khadra, Jigar Mody, Wiktor Lukasik, Chris DePalma	Supporting Software Evolution through Dynamically Retrieving Traces to UML Artifacts.	IWPSE	2004	DBLP DOI BibTeX RDF
16	Felix Wolf 0001, Bernd Mohr, Jack J. Dongarra, Shirley Moore	Efficient Pattern Search in Large Traces Through Successive Refinement.	Euro-Par	2004	DBLP DOI BibTeX RDF
16	Stephen Wilson	Traces of culture: searchbots scour the web looking for visual information.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	searchbots, visualization, interactive multimedia, net art
16	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
16	Shankara Narayanan Krishna	P Systems with Symport/Antiport: The Traces of RBCs.	Workshop on Membrane Computing	2004	DBLP DOI BibTeX RDF
16	Zaid Al-Ars, Ad J. van de Goor	Analyzing the Impact of Process Variations on DRAM Testing Using Border Resistance Traces.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF	border resistance trace, process variations, memory testing, DRAMs, defect simulation
16	Roni Rosner, Yoav Almog, Micha Moffie, Naftali Schwartz, Avi Mendelson	PARROT: Power Awareness Through Selective Dynamically Optimized Traces.	PACS	2003	DBLP DOI BibTeX RDF
16	Sung-Ming Yen	Amplified Differential Power Cryptanalysis on Rijndael Implementations with Exponentially Fewer Power Traces.	ACISP	2003	DBLP DOI BibTeX RDF
16	Carsten Ernemann, Baiyi Song, Ramin Yahyapour	Scaling of Workload Traces.	JSSPP	2003	DBLP DOI BibTeX RDF
16	Mohammad El-Ramly, Eleni Stroulia, Paul G. Sorenson	Recovering software requirements from system-user interaction traces.	SEKE	2002	DBLP DOI BibTeX RDF
16	Maria Estrella Sousa Vieira, Andrés Suárez-González, Cándido López-García, Manuel Fernández-Veiga, José C. López-Ardao	General applications 1: a highly efficient M/G/Infinity model for generating self-similar traces.	WSC	2002	DBLP DOI BibTeX RDF
16	HoonSang Jin, Kavita Ravi, Fabio Somenzi	Fate and Free Will in Error Traces.	TACAS	2002	DBLP DOI BibTeX RDF
16	Stephen D. Brookes	Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes.	CONCUR	2002	DBLP DOI BibTeX RDF
16	Alan J. Dix	Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces.	DSV-IS	2002	DBLP DOI BibTeX RDF
16	Bharat Adsul, Milind A. Sohoni	Local Normal Forms for Logics over Traces.	FSTTCS	2002	DBLP DOI BibTeX RDF
16	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
16	Falko Kuester, Ralph Bruckschen, Bernd Hamann, Kenneth I. Joy	Visualization of particle traces in virtual environments.	VRST	2001	DBLP DOI BibTeX RDF	virtual wind tunnel, simulation, virtual reality, scientific visualization, computational fluid dynamics, particle tracing, out-of-core visualization, stereoscopic rendering
16	Ralph Bruckschen, Falko Kuester, Bernd Hamann, Kenneth I. Joy	Real-time out-of-core visualization of particle traces.	IEEE Symposium on Parallel and Large-Data Visualization and Graphics	2001	DBLP BibTeX RDF	Virtual Reality, Scientific Visualization, Computational Fluid Dynamics, Particle Tracing, Out-of-Core Visualization
16	Felix Wolf 0001, Bernd Mohr	Automatic Performance Analysis of MPI Applications Based on Event Traces.	Euro-Par	2000	DBLP DOI BibTeX RDF
16	Benjamin Bishop, Thomas P. Kelliher, Robert Michael Owens, Mary Jane Irwin	Aggressive Dynamic Execution of Decoded Traces.	J. VLSI Signal Process.	1999	DBLP DOI BibTeX RDF
16	Volker Diekert, Paul Gastin	Approximating Traces.	Acta Informatica	1998	DBLP DOI BibTeX RDF
16	Paolo Baldan, Andrea Corradini 0001, Ugo Montanari	Concatenable Graph Processes: Relating Processes and Derivation Traces.	ICALP	1998	DBLP DOI BibTeX RDF
16	Nathalie Prevost, Ray E. Jennings, Loki Jörgenson, F. David Fracchia	Propositional n-traces: Visualizing a Problem in Philosophic Logic.	IEEE Visualization	1995	DBLP DOI BibTeX RDF	incoherence, visualization, trace, propositional logic
16	Volker Diekert, Anca Muscholl, Klaus Reinhardt	On Codings of Traces.	STACS	1995	DBLP DOI BibTeX RDF	Topics Formal languages, concurrency
16	Andrew R. Pleszkun	Techniques for compressing program address traces.	MICRO	1994	DBLP DOI BibTeX RDF	compression, trace generation
16	Andrea Casotto, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli	Design Management Based on Design Traces.	DAC	1990	DBLP DOI BibTeX RDF
16	Craig B. Stunkel, W. Kent Fuchs	TRAPEDS: Producing Traces for Multicomputers Via Execution Driven Simulation.	SIGMETRICS	1989	DBLP DOI BibTeX RDF	Intel 80386
16	Volker Diekert	Word Problems over TRaces Which are Solvable in Linear Time.	STACS	1989	DBLP DOI BibTeX RDF
15	David Daly, Parijat Dube, Kaoutar El Maghraoui, Dan E. Poff, Li Zhang 0002	A Hybrid Approach for Large Cache Performance Studies.	QEST	2011	DBLP DOI BibTeX RDF	large caches, traces, counters, analytical performance modeling
15	Reza Shokri, George Theodorakopoulos 0001, Jean-Yves Le Boudec, Jean-Pierre Hubaux	Quantifying Location Privacy.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	Location Traces, Quantifying Metric, Location-Privacy Meter, Location Privacy, Evaluation Framework
15	Abhishek Verma, Ludmila Cherkasova, Roy H. Campbell	Play It Again, SimMR!	CLUSTER	2011	DBLP DOI BibTeX RDF	Simulator, Schedulers, Traces, MapReduce
15	Federico Maggi	A Recognizer of Rational Trace Languages.	CIT	2010	DBLP DOI BibTeX RDF	rational languages, traces
15	Rastislav Bodík, Satish Chandra 0001, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor	Programming with angelic nondeterminism.	POPL	2010	DBLP DOI BibTeX RDF	angelic non-determinism, constraints, refinement, traces, bounded model-checking
15	Donnie H. Kim, Jeffrey Hightower, Ramesh Govindan, Deborah Estrin	Discovering semantically meaningful places from pervasive RF-beacons.	UbiComp	2009	DBLP DOI BibTeX RDF	beacon traces, place learning, location
15	Salman Mirghasemi	Query-point debugging.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	dynamic breakpoint assignment, locating defects, query, program traces, execution monitoring
15	Manfred Droste, Paul Gastin	On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Aperiodic languages, Star-free languages, Traces, Semiring, Formal power series, Weighted automata
15	Yamini Kannan, Koushik Sen	Universal symbolic execution and its application to likely data structure invariant generation.	ISSTA	2008	DBLP DOI BibTeX RDF	dynamic analysis, symbolic execution, execution traces, logical inference, program invariants
15	Seung Woo Son 0001, Guangyu Chen, Ozcan Ozturk 0001, Mahmut T. Kandemir, Alok N. Choudhary	Compiler-Directed Energy Optimization for Parallel Disk Based Systems.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	Disk subsystem, I/O traces, parallel I/O, optimizing compilers, power-aware computing
15	Marco Höbbel, Thomas Rauber, Carsten Scholtes	Trace-based Automatic Padding for Locality Improvement with Correlative Data Visualization Interface.	PACT	2007	DBLP DOI BibTeX RDF	dynamic padding, visualization, cache, traces
15	Craig Anslow, James Noble 0001, Stuart Marshall, Robert Biddle	X3D web software visualization in action!	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	software visualization, X3D, execution traces
15	Edward Ochmanski, Krystyna Stawikowska	A Star Operation for Star-Free Trace Languages.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF	star operation, star-free languages, traces
15	Jérôme Lebrun, Pierre Comon	Blind algebraic identification of communication channels: symbolic solution algorithms.	Appl. Algebra Eng. Commun. Comput.	2006	DBLP DOI BibTeX RDF	Blind identification, Digital modulations, Parametric normal forms, Matrix of traces
15	Nils Kammenhuber, Julia Luxenburger, Anja Feldmann, Gerhard Weikum	Web search clickstreams.	Internet Measurement Conference	2006	DBLP DOI BibTeX RDF	HTTP traces, web search, markov model, clickstream
15	Naveen Kumar 0002, Bruce R. Childers, Daniel W. Williams, Jack W. Davidson, Mary Lou Soffa	Compile-Time Planning for Overhead Reduction in Software Dynamic Translators.	Int. J. Parallel Program.	2005	DBLP DOI BibTeX RDF	instruction traces, dynamic optimization, Dynamic translation
15	Michael C. Martin, V. Benjamin Livshits, Monica S. Lam	Finding application errors and security flaws using PQL: a program query language.	OOPSLA	2005	DBLP DOI BibTeX RDF	resource leaks, web applications, pattern matching, SQL injection, bug finding, program traces
15	Xiangyu Zhang 0001, Rajiv Gupta 0001	Matching execution histories of program versions.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	piracy detection, debugging, dynamic analysis, execution traces
15	Robert L. Baber, David Lorge Parnas, Sergiy A. Vilkomir, Paul Harrison, Tony O'Connor	Disciplined Methods of Software Specification: A Case Study.	ITCC (2)	2005	DBLP DOI BibTeX RDF	tabular specifications, trace specifications, software, finite state machine, traces
15	Sujatha Kashyap, Vijay K. Garg	Exploiting predicate structure for efficient reachability detection.	ASE	2005	DBLP DOI BibTeX RDF	model checking, reachability, Mazurkiewicz traces
15	Ioannis Ch. Paschalidis, Spyridon Vassilaras	Importance sampling for the estimation of buffer overflow probabilities via trace-driven simulations.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	MPEG traces, simulation, importance sampling, large deviations, variance reduction, statistical multiplexing
15	John Soldatos 0001, Evangelos Vayias, Panagiotis Stathopoulos, Nikolas Mitrou	Enforcing Effective Rates for Packet-Level QoS Control in IP Networks: Theory and Validation Based on Real Traffic Data.	Telecommun. Syst.	2004	DBLP DOI BibTeX RDF	shaping delay, traffic traces, QoS, traffic control