Search results for "trace"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Carole Frindel, Marc C. Robini, Joël Schaerer, Pierre Croisille, Yue-Min Zhu	Cardiac Fibre Trace Clustering for the Interpretation of the Human Heart Architecture.	FIMH	2009	DBLP DOI BibTeX RDF
24	Shuiwang Ji, Jieping Ye	An accelerated gradient method for trace norm minimization.	ICML	2009	DBLP DOI BibTeX RDF
24	Xiaofeng Lu, Yung-Chih Chen, Ian X. Y. Leung, Zhang Xiong 0001, Pietro Liò	A Novel Mobility Model from a Heterogeneous Military MANET Trace.	ADHOC-NOW	2008	DBLP DOI BibTeX RDF
24	Thomas Holenstein, Michael Mitzenmacher, Rina Panigrahy, Udi Wieder	Trace reconstruction with constant deletion probability and related results.	SODA	2008	DBLP BibTeX RDF
24	Kuntal Nanshi, Fabio Somenzi	Improved Visibility in One-to-Many Trace Concretization.	DATE	2008	DBLP DOI BibTeX RDF
24	Madeline Diep, Sebastian G. Elbaum, Matthew Dwyer 0001	Trace Normalization.	ISSRE	2008	DBLP DOI BibTeX RDF
24	Omran Ahmadi	The trace spectra of polynomial bases for F2n.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Polynomial bases, Finite fields, Irreducible polynomials
24	Jian-Kang Zhang 0002, Jing Liu 0026, Kon Max Wong	Trace-Orthonormal Full-Diversity Cyclotomic Space-Time Codes.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
24	Nigel J. W. Morris, Kiriakos N. Kutulakos	Reconstructing the Surface of Inhomogeneous Transparent Scenes by Scatter-Trace Photography.	ICCV	2007	DBLP DOI BibTeX RDF
24	Andhi Janapsatya, Aleksandar Ignjatovic, Sri Parameswaran, Jörg Henkel	Instruction trace compression for rapid instruction cache simulation.	DATE	2007	DBLP DOI BibTeX RDF
24	James Laird	A Fully Abstract Trace Semantics for General References.	ICALP	2007	DBLP DOI BibTeX RDF
24	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
24	Nobuyoshi Sato, Minoru Uehara, Koichiro Shimomura, Hirobumi Yamamoto, Ken'ichi Kamijo	Massive Data Input System for Geographical Origin Identification System of Vegetables Using Trace Element Compositions.	SAINT Workshops	2007	DBLP DOI BibTeX RDF
24	Alexander Egyed, Gernot Binder, Paul Grünbacher	STRADA: A Tool for Scenario-Based Feature-to-Code Trace Detection and Analysis.	ICSE Companion	2007	DBLP DOI BibTeX RDF
24	Philippe Dugerdil	Using trace sampling techniques to identify dynamic clusters of classes.	CASCON	2007	DBLP DOI BibTeX RDF
24	Luca Tummolini, Cristiano Castelfranchi	Trace Signals: The Meanings of Stigmergy.	E4MAS	2006	DBLP DOI BibTeX RDF	communication, environment, stigmergy, multi-agent coordination
24	Chen-Yong Cher, Il Park 0001, T. N. Vijaykumar	Do Trace Cache, Value Prediction and Prefetching Improve SMT Throughput?.	ARCS	2006	DBLP DOI BibTeX RDF
24	Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere	Aspects for Trace Monitoring.	FATES/RV	2006	DBLP DOI BibTeX RDF
24	Sunghak Song, Tak-Kiel Shim, Ju-Hyun Park	Proxy based EPC Track&Trace Service.	ICEBE	2006	DBLP DOI BibTeX RDF
24	Julien Laflaquière, Lotfi Sofiane Settouti, Yannick Prié, Alain Mille	Trace-Based Framework for Experience Management and Engineering.	KES (1)	2006	DBLP DOI BibTeX RDF
24	Andreas Knüpfer, Ronny Brendel, Holger Brunst, Hartmut Mix, Wolfgang E. Nagel	Introducing the Open Trace Format (OTF).	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
24	Xiao Bai 0001, Edwin R. Hancock	Trace Formula Analysis of Graphs.	SSPR/SPR	2006	DBLP DOI BibTeX RDF
24	Omran Ahmadi, Alfred Menezes	On the Number of Trace-One Elements in Polynomial Bases for F2n.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	AMS Classification 11T06, 11T71
24	Bo Hong, Tara M. Madhyastha, Bing Zhang	Cluster-based input/output trace synthesis.	IPCCC	2005	DBLP DOI BibTeX RDF
24	Peter Kemper, Carsten Tepper	Trace based analysis of process interaction models.	WSC	2005	DBLP DOI BibTeX RDF
24	Sue Thomas	The tools of online community: the first five years of the trAce online writing centre.	Creativity & Cognition	2005	DBLP DOI BibTeX RDF	digital society, new media writing, collaboration, online community
24	Ichiro Hasuo, Bart Jacobs 0001	Context-Free Languages via Coalgebraic Trace Semantics.	CALCO	2005	DBLP DOI BibTeX RDF
24	Tao Ye, Darryl Veitch, Gianluca Iannaccone, Supratik Bhattacharyya	Divide and Conquer: PC-Based Packet Trace Replay at OC-48 Speeds.	TRIDENTCOM	2005	DBLP DOI BibTeX RDF
24	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
24	Yue Luo, Lizy Kurian John	Locality-Based Online Trace Compression.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
24	Cagkan Erbas, Simon Polstra, Andy D. Pimentel	IDF Models for Trace Transformations: A Case Study in Computational Refinement.	SAMOS	2004	DBLP DOI BibTeX RDF
24	Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge	A survey of trace exploration tools and techniques.	CASCON	2004	DBLP BibTeX RDF
24	Takenori Koushiro, Toshinori Sato, Itsujiro Arita	A trace-level value predictor for Contrail processors.	SIGARCH Comput. Archit. News	2003	DBLP DOI BibTeX RDF	traceconstruction, energy efficiency, simultaneous multithreading, value prediction, chip multi processors
24	Torben Lorenzen	The reverse trace: a programming tool.	ACM SIGCSE Bull.	2003	DBLP DOI BibTeX RDF
24	Yonit Kesten, Nir Piterman, Amir Pnueli	Bridging the Gap between Fair Simulation and Trace Inclusion.	CAV	2003	DBLP DOI BibTeX RDF
24	Steven Weber 0001, Rema Hariharan	A new synthetic web server trace generation methodology.	ISPASS	2003	DBLP DOI BibTeX RDF
24	Anne Bouillard, Jean Mairesse	Generating Series of the Trace Group.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
24	Yevgeniy Dodis, Nelly Fazio	Public Key Trace and Revoke Scheme Secure against Adaptive Chosen Ciphertext Attack.	Public Key Cryptography	2003	DBLP DOI BibTeX RDF
24	Ludovic Langevine, Pierre Deransart, Mireille Ducassé	A Generic Trace Schema for the Portability of CP(FD) Debugging Tools.	CSCLP	2003	DBLP DOI BibTeX RDF
24	Afzal Hossain, Daniel J. Pease, James S. Burns, Nasima Parveen	Trace Cache Performance Parameters.	ICCD	2002	DBLP DOI BibTeX RDF
24	Alexander Kadyrov, Maria Petrou	Features invariant to affine distortions from the trace transform.	ICIP (3)	2001	DBLP DOI BibTeX RDF
24	Erwan Jahier, Mireille Ducassé, Olivier Ridoux	Specifying Prolog Trace Models with a Continuation Semantics.	LOPSTR (LNCS 2042: Selected Papers)	2000	DBLP DOI BibTeX RDF
24	Jean Fanchon	Trace Channel Nets.	ICATPN	1999	DBLP DOI BibTeX RDF	Fifo Nets, Coloured Nets, concurrent automata, recognisability, concurrency, asynchronous communication, Mazurkiewicz traces
24	Thierry Lafage, André Seznec, Erven Rohou, François Bodin	Code Cloning Tracing: A "Pay per Trace" Approach.	Euro-Par	1999	DBLP DOI BibTeX RDF
24	Jason P. Casmira, John Fraser, David R. Kaeli, Waleed Meleis	Operating System Impact on Trace-Driven Simulation.	Annual Simulation Symposium	1998	DBLP DOI BibTeX RDF
24	Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli	Trace driven logic synthesis - application to power minimization.	ICCAD	1997	DBLP DOI BibTeX RDF	Low Power, Logic Synthesis
24	Xiao Jun Chen, Rocco De Nicola	Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures.	ICALP	1996	DBLP DOI BibTeX RDF
24	Stephen R. Goldschmidt, John L. Hennessy	The Accuracy of Trace-Driven Simulations of Multiprocessors.	SIGMETRICS	1993	DBLP DOI BibTeX RDF
24	Éric Badouel, Philippe Darondeau	Structural Operational Specifications and the Trace Automata.	CONCUR	1992	DBLP DOI BibTeX RDF
24	Paul Gastin, Antoine Petit 0001, Wieslaw Zielonka	A Kleene Theorem for Infinite Trace Languages.	ICALP	1991	DBLP DOI BibTeX RDF
24	Antoine Petit 0001	Characterization of Recognizable Trace Languages by Distributed Automata (Extended Abstract).	MFCS	1989	DBLP DOI BibTeX RDF
24	Robert Cori, Yves Métivier	Approximation of a TRace, Asynchronous Automata and the Ordering of Events in a Distributed System.	ICALP	1988	DBLP DOI BibTeX RDF
24	Michael A. Howland, Robert A. Mueller, Philip H. Sweany	Trace scheduling optimization in a retargetable microcode compiler.	MICRO	1987	DBLP DOI BibTeX RDF
24	Jennifer Widom, David Gries, Fred B. Schneider	Completeness and Incompleteness of Trace-Based Network Proof Systems.	POPL	1987	DBLP DOI BibTeX RDF
23	Hrishikesh B. Acharya, Mohamed G. Gouda	A Theory of Network Tracing.	SSS	2009	DBLP DOI BibTeX RDF
23	Pierre Michaud	Online compression of cache-filtered address traces.	ISPASS	2009	DBLP DOI BibTeX RDF
23	Tao Wang 0004, Qigang Wang, Dong Liu, Michael Liao, Kevin Wang, Lu Cao, Li Zhao 0002, Ravi R. Iyer 0001, Ramesh Illikkal, John Du, Liang Wang	Hardware/Software Co-Simulation for Last Level Cache Exploration.	NAS	2009	DBLP DOI BibTeX RDF
23	Chao Wang 0001, Swarat Chaudhuri, Aarti Gupta, Yu Yang 0013	Symbolic pruning of concurrent program executions.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	concurrency, sat, pruning, partial order reduction
23	Hrishikesh B. Acharya, Mohamed G. Gouda	Brief announcement: the theory of network tracing.	PODC	2009	DBLP DOI BibTeX RDF	topology tracing, network topology, traceroute, topology inference
23	Sangyeun Cho, Socrates Demetriades, Shayne Evans, Lei Jin 0002, Hyunjin Lee, Kiyeon Lee, Michael Moeng	TPTS: A Novel Framework for Very Fast Manycore Processor Architecture Simulation.	ICPP	2008	DBLP DOI BibTeX RDF
23	Todd Mytkowicz, Peter F. Sweeney, Matthias Hauswirth, Amer Diwan	Time Interpolation: So Many Metrics, So Few Registers.	MICRO	2007	DBLP DOI BibTeX RDF
23	Kathryn M. Mohror, Karen L. Karavanic	A study of tracing overhead on a high-performance linux cluster.	PPoPP	2007	DBLP DOI BibTeX RDF	measurement perturbation, parallel performance measurement, parallel performance tools, tracing overhead
23	Graham D. Price, Manish Vachharajani	A Case for Compressing Traces with BDDs.	IEEE Comput. Archit. Lett.	2006	DBLP DOI BibTeX RDF
23	Bülent Tavli, Wendi B. Heinzelman	Energy and Spatial Reuse Efficient Network-Wide Real-Time Data Broadcasting in Mobile Ad Hoc Networks.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	mobile computing, wireless communication, Low-power design, routing protocols, network topology, network protocols, data communications, protocol verification, algorithm/protocol design and analysis, distributed protocols, network communications, mobile communication systems, energy-aware systems, protocol architecture, access schemes
23	Larissa Meinicke, Ian J. Hayes	Continuous Action System Refinement.	MPC	2006	DBLP DOI BibTeX RDF
23	Abdelwahab Hamou-Lhadj, Timothy Lethbridge	Summarizing the Content of Large Traces to Facilitate the Understanding of the Behaviour of a Software System.	ICPC	2006	DBLP DOI BibTeX RDF	Reverse engineering, Program comprehension, Dynamic analysis, Design recovery
23	Ke Zhou 0001, Chun-hua Li, Dan Feng 0001, Yang Wang 0006, Liang Lu, Yong-guang Ji	A Distributed Object Tracing System.	IWNAS	2006	DBLP DOI BibTeX RDF
23	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan	Abstractions from proofs.	POPL	2004	DBLP DOI BibTeX RDF	counterexample analysis, software model checking, predicate abstraction
23	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
23	Jun (Jim) Xu, Jinliang Fan, Mostafa H. Ammar, Sue B. Moon	Prefix-Preserving IP Address Anonymization: Measurement-Based Security Evaluation and a New Cryptography-Based Scheme.	ICNP	2002	DBLP DOI BibTeX RDF
23	S. Shaheen Fatima, Michael J. Wooldridge	Adaptive task resources allocation in multi-agent systems.	Agents	2001	DBLP DOI BibTeX RDF
23	Orna Kupferman, Moshe Y. Vardi	Verification of Fair Transisiton Systems.	CAV	1996	DBLP DOI BibTeX RDF
23	Thomas Ball, James R. Larus	Optimally Profiling and Tracing Programs.	POPL	1992	DBLP DOI BibTeX RDF
23	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
23	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
23	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
23	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
23	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
23	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
23	Eugene W. Stark	Connections between a Concrete and an Abstract Model of Concurrent Systems.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
23	J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer	Linear Time and Branching Time Semantics for Recursion with Merge.	ICALP	1983	DBLP DOI BibTeX RDF
22	Heidar Pirzadeh, Akanksha Agarwal, Abdelwahab Hamou-Lhadj	An Approach for Detecting Execution Phases of a System for the Purpose of Program Comprehension.	SERA	2010	DBLP DOI BibTeX RDF	trace phase detection, Program comprehension, dynamic analysis, trace analysis
22	Jaydeep Marathe, Frank Mueller 0001, Tushar Mohan, Sally A. McKee, Bronis R. de Supinski, Andy Yoo	METRIC: Memory tracing via dynamic binary rewriting to identify cache inefficiencies.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	data trace compression, data trace generation, program instrumentation, cache analysis, Dynamic binary rewriting
22	Michael A. Schuette, John Paul Shen	Exploiting Instruction-Level Parallelism for Integrated Control-Flow Monitoring.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	control-flow monitoring, machine parallelism, idle resources, Multiflow TRACE 14/300 processor, TRACE 14/300, available resource-driven control-flow monitoring, parallel architectures, fault tolerant computing, error detection, instruction-level parallelism, concurrent error detection
22	David B. Whalley	Fast Instruction Cache Performance Evaluation Using Compile-Time Analysis.	SIGMETRICS	1992	DBLP DOI BibTeX RDF	instruction cache, trace analysis, cache simulation, trace generation
22	Philip G. Emma, Edward S. Davidson	Characterization of Branch and Data Dependencies in Programs for Evaluating Pipeline Performance.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF	Branch delay, performance analysis, pipeline, data dependency, program trace, trace reduction
22	Alan W. Biermann, Richard I. Baum, Frederick E. Petry	Speeding up the Synthesis of Programs from Traces.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Computation trace, finite-state machine synthesis, incompletely specified machines, learning, inference, program synthesis, tree searching, program trace
21	Peter Siska, Marc Ph. Stoecklin, Andreas Kind, Torsten Braun	A flow trace generator using graph-based traffic classification techniques.	IWCMC	2010	DBLP DOI BibTeX RDF	self-parameterization, traffic dispersion graphs, network flows, trace generation
21	Andreas Gal, Brendan Eich, Mike Shaver, David Anderson, David Mandelin, Mohammad R. Haghighat, Blake Kaplan, Graydon Hoare, Boris Zbarsky, Jason Orendorff, Jesse Ruderman, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Mason Chang, Michael Franz	Trace-based just-in-time type specialization for dynamic languages.	PLDI	2009	DBLP DOI BibTeX RDF	trace-based compilation, dynamically typed languages
21	Omer Ozan Sonmez, Nezih Yigitbasi, Alexandru Iosup, Dick H. J. Epema	Trace-based evaluation of job runtime and queue wait time predictions in grids.	HPDC	2009	DBLP DOI BibTeX RDF	time series prediction methods, performance evaluation, predictions, grid scheduling, trace-based simulation
21	Nobuyoshi Sato, Shouichi Odashima, Jun Suzuki, Taiji Ishikawa, Yoshitoshi Murata	A Trial of a Worker's Motion Trace System Using Terrestrial Magnetism and Acceleration Sensors.	AINA Workshops	2009	DBLP DOI BibTeX RDF	Worker's Motion Trace, Terrestrial Magnetism Sensor
21	Alexandru Iosup, Omer Ozan Sonmez, Dick H. J. Epema	DGSim: Comparing Grid Resource Management Architectures through Trace-Based Simulation.	Euro-Par	2008	DBLP DOI BibTeX RDF	performance evaluation, grid computing, simulation framework, trace-based simulation
21	Ben Lauwens, Jan Potemans, Bart Scheers, Antoine Van de Capelle	Hybrid simulation of a FIFO queuing system with trace-driven background traffic.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	FIFO queuing system, trace-driven, simulation, large deviations, hybrid simulation
21	Mathew Zaleski, Angela Demke Brown, Kevin Stoodley	YETI: a graduallY extensible trace interpreter.	VEE	2007	DBLP DOI BibTeX RDF	interpreter, trace, JIT compiler, mixed-mode
21	Alexander Kadyrov, Maria Petrou	Affine Parameter Estimation from the Trace Transform.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	parameter estimation, Image registration, affine transform, object matching, trace transform
21	Ningning Zhu, Jiawu Chen, Tzi-cker Chiueh, Daniel Ellard	TBBT: scalable and accurate trace replay for file server evaluation.	SIGMETRICS	2005	DBLP DOI BibTeX RDF	file system evaluation, trace play, benchmarks, aging, NFS
21	Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek	Precongruence formats for decorated trace semantics.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Decorated trace semantics, precongruence
21	Aleksandar Milenkovic, Milena Milenkovic	Stream-Based Trace Compression.	IEEE Comput. Archit. Lett.	2003	DBLP DOI BibTeX RDF	instruction and address trace, tracecompression, simulation
21	Zhao Wu, Wayne H. Wolf	Trace-Driven Studies of VLIW Video Signal Processors.	SPAA	1998	DBLP DOI BibTeX RDF	VSP, trace-driven scheduling, parallelism, parallel architecture, MPEG, VLIW, media processor, video applications
21	Roberto Giorgi, Cosimo Antonio Prete, Luigi M. Ricciardi, Gianpaolo Prina	A Hybrid Approach to Trace Generation for Performance Evaluation of Shared-Bus Multiprocessors.	EUROMICRO	1996	DBLP DOI BibTeX RDF	software approach, user references, virtual-to-physical address translation, kernel reference stream, general-purpose machine, multitasking operating system, performance evaluation, performance evaluation, shared-memory multiprocessor, process scheduling, hybrid approach, trace generation, shared-bus multiprocessors