Search results for "trace"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Maria Bras-Amorós, Michael E. O'Sullivan	Extended Norm-Trace Codes with Optimized Correction Capability.	AAECC	2007	DBLP DOI BibTeX RDF
19	Peter Kemper	A trace-based visual inspection technique to detect errors in simulation models.	WSC	2007	DBLP DOI BibTeX RDF
19	Pavel Avgustinov, Julian Tibble, Oege de Moor	On the Semantics of Matching Trace Monitoring Patterns.	RV	2007	DBLP DOI BibTeX RDF
19	Dapeng Liu, Andrian Marcus, Denys Poshyvanyk, Václav Rajlich	Feature location via information retrieval based filtering of a single scenario execution trace.	ASE	2007	DBLP DOI BibTeX RDF	dynamic and static analyses, information retrieval, program understanding, concept location, feature identification
19	Julien Cervelle, Enrico Formenti, Pierre Guillon 0001	Sofic Trace Subshift of a Cellular Automaton.	CiE	2007	DBLP DOI BibTeX RDF	sofic systems, cellular automata, formal languages, symbolic dynamics, discrete-time dynamical systems
19	Hai Dong, Farookh Khadeer Hussain, Elizabeth Chang 0001	Project Track and Trace Ontology.	ICIW	2007	DBLP DOI BibTeX RDF
19	Ruoming Pang, Mark Allman, Vern Paxson, Jason Lee 0001	The devil and packet trace anonymization.	Comput. Commun. Rev.	2006	DBLP DOI BibTeX RDF
19	Dan Boneh, Brent Waters	A fully collusion resistant broadcast, trace, and revoke system.	CCS	2006	DBLP DOI BibTeX RDF
19	Suhaib A. Fahmy, Christos-Savvas Bouganis, Peter Y. K. Cheung, Wayne Luk	Efficient Realtime FPGA Implementation of the Trace Transform.	FPL	2006	DBLP DOI BibTeX RDF
19	Eun-Ha Song, Sung-Kook Han, Laurence Tianruo Yang, Minyi Guo, Young-Sik Jeong	A GML-Based Mobile Device Trace Monitoring System.	EUC Workshops	2006	DBLP DOI BibTeX RDF
19	Philippe Golle, XiaoFeng Wang 0001, Markus Jakobsson, Alex Tsow	Deterring Voluntary Trace Disclosure in Re-encryption Mix Networks.	S&P	2006	DBLP DOI BibTeX RDF
19	Pai Peng, Peng Ning, Douglas S. Reeves	On the Secrecy of Timing-Based Active Watermarking Trace-Back Techniques.	S&P	2006	DBLP DOI BibTeX RDF
19	Filipe Valpereiro, Luís Miguel Pinho	POSIX Trace Based Behavioural Reflection.	Ada-Europe	2006	DBLP DOI BibTeX RDF
19	Murali Krishna Ramanathan, Suresh Jagannathan, Ananth Grama	Trace-Based Memory Aliasing Across Program Versions.	FASE	2006	DBLP DOI BibTeX RDF
19	T. Karvi, Tienari Tienari, Roope Kaivola	Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	verification, specification, refinement, process algebra
19	Dietrich Kuske, Markus Lohrey	Decidable First-Order Theories of One-Step Rewriting in Trace Monoids.	Theory Comput. Syst.	2005	DBLP DOI BibTeX RDF
19	William B. Levy, A. Sanyal, Xiangbao Wu, Paul Rodríguez, David W. Sullivan	The formation of neural codes in the hippocampus: trace conditioning as a prototypical paradigm for studying the random recoding hypothesis.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
19	Koji Taniguchi, Takashi Ishio, Toshihiro Kamiya, Shinji Kusumoto, Katsuro Inoue	Extracting Sequence Diagram from Execution Trace of Java Program.	IWPSE	2005	DBLP DOI BibTeX RDF
19	Nobuyoshi Sato, Minoru Uehara, Jin Tamaoka	A Possibility Test on a Discrimination System for Identification of Cultivated Products by Trace ElementsAnalysis.	CIT	2005	DBLP DOI BibTeX RDF
19	Vincent Danjean, Raymond Namyst, Pierre-André Wacrenier	An Efficient Multi-level Trace Toolkit for Multi-threaded Applications.	Euro-Par	2005	DBLP DOI BibTeX RDF
19	Ludovic Langevine	Gentra4cp: A Generic Trace Format for Constraint Programming.	ICLP	2005	DBLP DOI BibTeX RDF
19	Poul E. Heegaard, Bjarne E. Helvik, Ragnar Ø. Andreassen	Application of rare event techniques to trace driven simulation.	WSC	2005	DBLP DOI BibTeX RDF
19	Saneyasu Yamaguchi, Masato Oguchi, Masaru Kitsuregawa	Trace System of iSCSI Storage Access.	SAINT	2005	DBLP DOI BibTeX RDF
19	Saneyasu Yamaguchi, Masato Oguchi, Masaru Kitsuregawa	Trace System of iSCSI Storage Access and Performance Improvement.	DASFAA	2005	DBLP DOI BibTeX RDF
19	Nobuyoshi Sato, Minoru Uehara, Jin Tamaoka, Koichiro Shimomura, Hirobumi Yamamoto, Ken'ichi Kamijo	Initial Design of Distributed Identification System for Geographical Origin by Trace Element Analysis.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
19	Xiaoying Kong, Li Liu 0005, David B. Lowe	Web System Trace Model Using a Web Application Architecture Framework.	EEE	2005	DBLP DOI BibTeX RDF
19	Nobuyoshi Sato, Minoru Uehara, Jin Tamaoka, Koichiro Shimomura, Hirobumi Yamamoto, Ken'ichi Kamijo	A Discrimination System for Identification of Cultivated Products by Trace Elements Analysis - Using Broccoli as an Example.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF
19	Augusto Parma, Roberto Segala	Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes.	QEST	2004	DBLP DOI BibTeX RDF
19	Satish Narayanasamy, Yuanfang Hu, Suleyman Sair, Brad Calder	Creating Converged Trace Schedules Using String Matching.	HPCA	2004	DBLP DOI BibTeX RDF
19	Andy Zaidman, Serge Demeyer	Managing Trace Data Volume through a Heuristical Clustering Process Based on Event Execution Frequency.	CSMR	2004	DBLP DOI BibTeX RDF
19	Jesus F. Sánchez-Blanco, Antonio Ramírez-Treviño, Alejandra Santoyo-Sanchez	Regulation control in interpreted Petri nets using trace equivalence.	SMC (2)	2004	DBLP DOI BibTeX RDF
19	Tadashi Yamazaki, Shigeru Tanaka	A Neural Network Model for Trace Conditioning.	ICONIP	2004	DBLP DOI BibTeX RDF
19	Marc Berndl, Laurie J. Hendren	Dynamic Profiling and Trace Cache Generation.	CGO	2003	DBLP DOI BibTeX RDF
19	Holger Brunst, Allen D. Malony, Sameer Shende, Robert Bell	Online Remote Trace Analysis of Parallel Applications on High-Performance Clusters.	ISHPC	2003	DBLP DOI BibTeX RDF	Performance Steering, Clusters, Performance Analysis, Parallel Computing, Tracing
19	Gabriela Jacques da Silva, Lucas Mello Schnorr, Benhur de Oliveira Stein	JRastro: A Trace Agent for Debugging Multithreaded and Distributed Java Programs.	SBAC-PAD	2003	DBLP DOI BibTeX RDF
19	Andy D. Pimentel, Cagkan Erbas	An IDF-based trace transformation method for communication refinement.	DAC	2003	DBLP DOI BibTeX RDF	communication refinement, design space exploration
19	Dietrich Kuske, Markus Lohrey	On the Theory of One-Step Rewriting in Trace Monoids.	ICALP	2002	DBLP DOI BibTeX RDF
19	Volker Diekert, Manfred Kufleitner	A Remark about Quadratic Trace Equations.	Developments in Language Theory	2002	DBLP DOI BibTeX RDF
19	Thomas Arts, Lars-Åke Fredlund	Trace analysis of Erlang programs.	Erlang Workshop	2002	DBLP DOI BibTeX RDF
19	Tony Givargis, Frank Vahid, Jörg Henkel	Trace-driven system-level power evaluation of system-on-a-chip peripheral cores.	ASP-DAC	2001	DBLP DOI BibTeX RDF	low power system design, parameterized architectures, system-on-a-chip, intellectual property, cores, system-level modeling
19	Michal Kunc	The Trace Coding Problem Is Undecidable.	ICALP	2001	DBLP DOI BibTeX RDF
19	Rémi Morin	On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory.	FoSSaCS	2001	DBLP DOI BibTeX RDF
19	Anne-Marie Dery, Mireille Blay-Fornarino, Borice Arcier, Léonard Mule, Sabine Moisan	Distributed Access Knowledge-Based System: Reified Interaction Service for Trace and Control.	DOA	2001	DBLP DOI BibTeX RDF
19	Jean-François Husson, Rémi Morin	On Recognizable Stable Trace Languages.	FoSSaCS	2000	DBLP DOI BibTeX RDF
19	François Laroussinie, Philippe Schnoebelen	The State Explosion Problem from Trace to Bisimulation Equivalence.	FoSSaCS	2000	DBLP DOI BibTeX RDF
19	Peter A. Dinda, David R. O'Hallaron	Realistic CPU Workloads through Host Load Trace Playback.	LCR	2000	DBLP DOI BibTeX RDF
19	S. Shaheen Fatima, Garimella Uma, Tolety Siva Perraju	TRACE - An Adaptive Organizational Policy for Multi Agent Systems.	ICMAS	2000	DBLP DOI BibTeX RDF
19	Anshuman S. Nadkarni, Akhilesh Tyagi	A Trace Based Evaluation of Speculative Branch Decoupling.	ICCD	2000	DBLP DOI BibTeX RDF
19	Dietrich Kuske, Rémi Morin	Pomsets for Local Trace Languages - Recognizability, Logic & Petri Nets.	CONCUR	2000	DBLP DOI BibTeX RDF
19	Ryan N. Rakvic, Bryan Black, John Paul Shen	Completion time multiple branch prediction for enhancing trace cache performance.	ISCA	2000	DBLP DOI BibTeX RDF
19	Stephan Kleuker	Formalizing Requirements for Distributed Systems with Trace Diagrams.	FME	1997	DBLP DOI BibTeX RDF
19	Volker Diekert, Yuri V. Matiyasevich, Anca Muscholl	Solving Trace Equations Using Lexicographical Normal Forms.	ICALP	1997	DBLP DOI BibTeX RDF
19	Alexander A. Nechaev, Alexey S. Kuzmin	Trace-Function on a Galois Ring in Coding Theory.	AAECC	1997	DBLP DOI BibTeX RDF
19	Brian Noble, Mahadev Satyanarayanan, Giao Thanh Nguyen, Randy H. Katz	Trace-Based Mobile Network Emulation.	SIGCOMM	1997	DBLP DOI BibTeX RDF
19	Bryan Black, Andrew S. Huang, Mikko H. Lipasti, John Paul Shen	Can Trace-Driven Simulators Accurately Predict Superscalar Performance?	ICCD	1996	DBLP DOI BibTeX RDF
19	Ramaswamy Ramanujam	Trace Consistency and Inevitablity.	FSTTCS	1996	DBLP DOI BibTeX RDF
19	Hsu-Chun Yen, Shi-Tsuen Jian, Ta-Pang Lao	Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes.	ISAAC	1995	DBLP DOI BibTeX RDF
19	Kenneth L. McMillan	Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings.	CAV	1995	DBLP DOI BibTeX RDF
19	Henning Reineke	Subclasses of Recognizable Trace Languages.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
19	Ohyoung Song, Premachandran R. Menon	Acceleration of trace-based fault simulation of combinational circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
19	Margaret Martonosi, Anoop Gupta, Thomas E. Anderson	Effectiveness of Trace Sampling for Performance Debugging Tools.	SIGMETRICS	1993	DBLP DOI BibTeX RDF
19	Wojciech Penczek	Axiomatizations of Temporal Logics on Trace Systems.	STACS	1993	DBLP DOI BibTeX RDF	Classification Theory of Parallel and Distributed Computation, Semantics and Logics of Programming Languages, Logic in Computer Science
19	Christian Choffrut, Leucio Guerra	On the Logical Definability of Some Rational Trace Languages.	STACS	1993	DBLP DOI BibTeX RDF
19	Volker Diekert, Paul Gastin, Antoine Petit 0001	Recognizable Complex Trace Languages.	MFCS	1991	DBLP DOI BibTeX RDF
19	Ryszard Janicki, Tomasz Müldner	A Simple Realization of a Parallel Device Recognizing Regular Trace Languages.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
19	Wen-Hann Wang, Jean-Loup Baer	Efficient Trace-Driven Simulation Methods for Cache Performance Analysis.	SIGMETRICS	1990	DBLP DOI BibTeX RDF
19	A. Dain Samples	Mache: No-Loss Trace Compaction.	SIGMETRICS	1989	DBLP DOI BibTeX RDF
19	Ivan Christoff	A Method for Verification of Trace and Test Equivalence.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
19	Pohua P. Chang, Wen-mei W. Hwu	Trace selection for compiling large C application programs to microcode.	MICRO	1988	DBLP BibTeX RDF	C
19	Volker Diekert, Walter Vogler	Local Checking of Trace Synchroniziability.	MFCS	1988	DBLP DOI BibTeX RDF
19	Danilo Bruschi, Giovanni Pighizzini, Nicoletta Sabadini	On the Existence of the Minimum Asynchronous Automaton and on Decision Problems for Unambiguous Regular Trace Languages.	STACS	1988	DBLP DOI BibTeX RDF
19	Jennifer Widom, Prakash Panangaden	Expressiveness Bounds for Completness in Trace-Based Network Proof Systems.	CAAP	1988	DBLP DOI BibTeX RDF
19	Luca de Alfaro, Marco Faella, Mariëlle Stoelinga	Linear and Branching System Metrics.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
19	Abhinav Parate, Gerome Miklau	A framework for safely publishing communication traces.	CIKM	2009	DBLP DOI BibTeX RDF	privacy, utility
19	Kiyeon Lee, Shayne Evans, Sangyeun Cho	Accurately approximating superscalar processor performance from traces.	ISPASS	2009	DBLP DOI BibTeX RDF
19	Simone Campanoni, Stefano Crespi-Reghizzi	Traces of Control-Flow Graphs.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
19	Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan	SideTrack: generalizing dynamic atomicity analysis.	PADTAD	2009	DBLP DOI BibTeX RDF	dynamic analysis, atomicity, serializability
19	Nicolas Baudru	Distributed Asynchronous Automata.	CONCUR	2009	DBLP DOI BibTeX RDF
19	Kun Bai, Peng Liu 0005	A Fine-Grained Damage Management Scheme in a Self-Healing PostgreSQL System.	HASE	2008	DBLP DOI BibTeX RDF
19	Richard Bejtlich	OpenPacket.org: the challenge of a free, public packet capture repository.	NDA	2008	DBLP DOI BibTeX RDF	network traffic, packet capture
19	Roy Grønmo, Fredrik Sørensen, Birger Møller-Pedersen, Stein Krogdahl	Semantics-Based Weaving of UML Sequence Diagrams.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
19	Nathan J. Schmidt, Peter Kemper	Phrase based browsing for simulation traces of network protocols.	WSC	2008	DBLP DOI BibTeX RDF
19	Arkaitz Ruiz-Alvarez, Kim M. Hazelwood	Evaluating the impact of dynamic binary translation systems on hardware cache performance.	IISWC	2008	DBLP DOI BibTeX RDF
19	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
19	David Lo 0001, Siau-Cheng Khoo, Chao Liu 0001	Efficient mining of iterative patterns for software specification discovery.	KDD	2007	DBLP DOI BibTeX RDF	closed iterative patterns, software specification discovery
19	Davy Genbrugge, Lieven Eeckhout	Statistical simulation of chip multiprocessors running multi-program workloads.	ICCD	2007	DBLP DOI BibTeX RDF
19	Nobuyoshi Sato, Minoru Uehara, Koichiro Shimomura, Hirobumi Yamamoto, Ken'ichi Kamijo	Effective Retrieval of High Dimensional Vector by Class Coding in Vegetable Geographical Origin Identification System.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
19	Andy Konwinski, John Bent, James Nunez, Meghan Quist	Towards an I/O tracing framework taxonomy.	PDSW	2007	DBLP DOI BibTeX RDF	parallel, file systems, tracing
19	Chunhua Shen, Hongdong Li, Michael J. Brooks	Feature Extraction Using Sequential Semidefinite Programming.	DICTA	2007	DBLP DOI BibTeX RDF
19	Michele C. Weigle, Prashanth Adurthi, Félix Hernández-Campos, Kevin Jeffay, F. Donelson Smith	Tmix: a tool for generating realistic TCP application workloads in ns-2.	Comput. Commun. Rev.	2006	DBLP DOI BibTeX RDF	source-level modeling, synthetic traffic generation, ns
19	Oliverio J. Santana, Ayose Falcón, Alex Ramírez, Mateo Valero	Branch predictor guided instruction decoding.	PACT	2006	DBLP DOI BibTeX RDF	complexity-effective, instruction decoding, branch predictor
19	Andreas Knüpfer, Bernhard Voigt, Wolfgang E. Nagel, Hartmut Mix	Visualization of Repetitive Patterns in Event Traces.	PARA	2006	DBLP DOI BibTeX RDF
19	Chad D. Mano, Jeff Smith, Bill Bordogna, Aaron Striegel	High Speed Packet Logging on a Budget.	Networking	2006	DBLP DOI BibTeX RDF
19	Ratul Mahajan, Maya Rodrig, David Wetherall, John Zahorjan	Analyzing the MAC-level behavior of wireless networks in the wild.	SIGCOMM	2006	DBLP DOI BibTeX RDF	802.11 MAC, passive monitoring, measurement tool
19	SeungGwan Lee, SeokMi Hong	Efficient Ant Reinforcement Learning Using Replacing Eligibility Traces.	ICAISC	2006	DBLP DOI BibTeX RDF
19	Ingmar Meinecke	Weighted Logics for Traces.	CSR	2006	DBLP DOI BibTeX RDF
19	Nobuyoshi Sato, Minoru Uehara, Koichiro Shimomura, Hirobumi Yamamoto, Ken'ichi Kamijo	Efficient Target Selection in Similarity Preserve Hash for Distributed Geographical Origin Identification System of Vegetables.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
19	SeungGwan Lee	A Cooperation Online Reinforcement Learning Approach in Ant-Q.	ICONIP (1)	2006	DBLP DOI BibTeX RDF
19	Harit Modi, Lawrence Spracklen, Yuan Chou, Santosh G. Abraham	Accurate Modeling of Aggressive Speculation in Modern Microprocessor Architectures.	MASCOTS	2005	DBLP DOI BibTeX RDF
19	Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli	Passive Testing - A Constrained Invariant Checking Approach.	TestCom	2005	DBLP DOI BibTeX RDF	invariant checking, SCP, invariants, constraint solving, passive testing