Search results for "trace"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Suhaib A. Fahmy	Investigating Trace Transform Architectures for Face Authentication.	FPL	2006	DBLP DOI BibTeX RDF
15	Josée Desharnais, François Laviolette, Krishna Priya Darsini Moturu, Sami Zhioua	Trace Equivalence Characterization Through Reinforcement Learning.	Canadian AI	2006	DBLP DOI BibTeX RDF
15	Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante	Composing Web Services with PEWS: A Trace-Theoretical Approach.	ECOWS	2006	DBLP DOI BibTeX RDF
15	Lian Li 0002, Jingling Xue	Trace-Based Data Cache Leakage Reduction at Link Time.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF
15	Christophe Courtin, Stephane Talbot	Trace Analysis in Instrumented Collaborative Learning Environments.	ICALT	2006	DBLP DOI BibTeX RDF
15	Peter Rounce, Alberto Ferreira de Souza	The mDTSVLIW: a Multi-Threaded Trace-based VLIW Architecture.	SBAC-PAD	2006	DBLP DOI BibTeX RDF
15	Syed Asadulla Bokhari	Precision Delay Matching by Trace Length Control in Printed Circuit Boards.	CCECE	2006	DBLP DOI BibTeX RDF
15	Axel Thümmler, Peter Buchholz 0001, Miklós Telek	A Novel Approach for Fitting Probability Distributions to Real Trace Data with the EM Algorithm.	DSN	2005	DBLP DOI BibTeX RDF
15	Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble	Adding trace matching with free variables to AspectJ.	OOPSLA	2005	DBLP DOI BibTeX RDF	aspect-oriented programming, program monitoring
15	Orla Greevy, Stéphane Ducasse	Correlating Features and Code Using a Compact Two-Sided Trace Analysis Approach.	CSMR	2005	DBLP DOI BibTeX RDF	Feature-Traces, Software Metrics, Software Evolution, Dynamic Analysis, Feature
15	Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge, Lianjiang Fu	SEAT: A Usable Trace Analysis Tool.	IWPC	2005	DBLP DOI BibTeX RDF
15	Yuxing Tang, Kun Deng, HongJia Cao, Xingming Zhou	Trace-Based Runtime Instruction Rescheduling for Architecture Extension.	ICESS	2005	DBLP DOI BibTeX RDF
15	Alan Jeffrey, Julian Rathke	Java Jr: Fully Abstract Trace Semantics for a Core Java Language.	ESOP	2005	DBLP DOI BibTeX RDF
15	Laurent Mauborgne, Xavier Rival	Trace Partitioning in Abstract Interpretation Based Static Analyzers.	ESOP	2005	DBLP DOI BibTeX RDF
15	Paolo Massazza	The Inclusion Problem for Unambiguous Rational Trace Languages.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
15	Andreas Knüpfer, Wolfgang E. Nagel	New Algorithms for Performance Trace Analysis Based on Compressed Complete Call Graphs.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
15	Daniel Chaver, Miguel A. Rojas, Luis Piñuel, Manuel Prieto 0001, Francisco Tirado, Michael C. Huang 0001	Energy-aware fetch mechanism: trace cache and BTB customization.	ISLPED	2005	DBLP DOI BibTeX RDF	adaptive, profiling, instruction fetch
15	Pouwan Lei, Frederic Claret-Tournier, Chris R. Chatwin, Rupert C. D. Young	A Secure Mobile Track and Trace System for Anti-Counterfeiting.	EEE	2005	DBLP DOI BibTeX RDF
15	Andres Rojas, Philip Branch, Grenville J. Armitage	Experimental validation of the random waypoint mobility model through a real world mobility trace for large geographical areas.	MSWiM	2005	DBLP DOI BibTeX RDF	validation, mobility model
15	Pieter H. Hartel	A Trace Semantics for Positive Core XPath.	TIME	2005	DBLP DOI BibTeX RDF
15	Bo Hong, Tara M. Madhyastha	The Relevance of Long-Range Dependence in Disk Traffic and Implications for Trace Synthesis.	MSST	2005	DBLP DOI BibTeX RDF
15	Bill Anderson	Mass Storage System Performance Prediction Using a Trace-Driven Simulator.	MSST	2005	DBLP DOI BibTeX RDF
15	Nathan Srebro, Adi Shraibman	Rank, Trace-Norm and Max-Norm.	COLT	2005	DBLP DOI BibTeX RDF
15	Andreas Knüpfer, Wolfgang E. Nagel	Construction and Compression of Complete Call Graphs for Post-Mortem Program Trace Analysis.	ICPP	2005	DBLP DOI BibTeX RDF	Performance Analysis, Data Structures, Data Compression, Tracing
15	Rachid El Abdouni Khayari, Michael Best, Axel Lehmann 0001	Impact of Document Types on the Performance of Caching Algorithms in WWW Proxies: A Trace Driven Simulation Study.	AINA	2005	DBLP DOI BibTeX RDF
15	Jinyong Jo, JaiSeung Kwak, Okhwan Byeon	MEET : Multicast Debugging Toolkit with End-to-End Packet Trace.	PCM (2)	2005	DBLP DOI BibTeX RDF
15	Dingqing Hu, Changsheng Xie, Bin Cai	A Study of Parallel Prefetching Algorithms Using Trace-Driven Simulation.	PDCAT	2005	DBLP DOI BibTeX RDF
15	Maria Petrou, Alexander Kadyrov	Affine Invariant Features from the Trace Transform.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	image databases, object identification, Affine invariance
15	Gabriele Koller, Günther R. Raidl	An Evolutionary Algorithm for the Maximum Weight Trace Formulation of the Multiple Sequence Alignment Problem.	PPSN	2004	DBLP DOI BibTeX RDF
15	Nadia Busi, Roberto Gorrieri	Positive Non-interference in Elementary and Trace Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
15	Atsushi Katayama, Takao Nakamura, Masashi Yamamuro, Noboru Sonehara	New high-speed frame detection method: Side Trace Algorithm (STA) for i-appli on cellular phones to detect watermarks.	MUM	2004	DBLP DOI BibTeX RDF	i-appli, Java, watermark, camera, corner detection, cellular phone, projective transformation, line detection
15	Patrick Solé, Dmitrii Zinoviev	Weighted Degree Trace Codes for PAPR Reduction.	SETA	2004	DBLP DOI BibTeX RDF	hybrid character sums, PSK, Correlation, CDMA, PAPR, Galois Rings
15	Takehiko Ohno	EyePrint: support of document browsing with eye gaze trace.	ICMI	2004	DBLP DOI BibTeX RDF	document browsing, eyePrint, readwear, reusability problem, information retrieval, gaze-based interaction
15	Gergely Sipos, Péter Kacsuk	The PROVE Trace Visualisation Tool as a Grid Service.	ICCSA (2)	2004	DBLP DOI BibTeX RDF
15	Bharat Adsul, Milind A. Sohoni	Asynchronous Automata-Theoretic Characterization of Aperiodic Trace Languages.	FSTTCS	2004	DBLP DOI BibTeX RDF
15	Erik Putrycz	Using trace analysis for improving performance in COTS systems.	CASCON	2004	DBLP BibTeX RDF
15	Fausto Spoto, Thomas P. Jensen	Class analyses as abstract interpretations of trace semantics.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Abstract interpretation, denotational semantics, class analysis
15	Elöd Egyed-Zsigmond, Alain Mille, Yannick Prié	Club [clubsuit] (Trèfle): A Use Trace Model.	ICCBR	2003	DBLP DOI BibTeX RDF
15	P. Madhusudan	Model-checking Trace Event Structures.	LICS	2003	DBLP DOI BibTeX RDF
15	R. Achutharaman, R. Govindarajan, G. Hariprakash, Amos Omondi	Exploiting Java-ILP on a Simultaneous Multi-Trace Instruction Issue (SMTI) Processor.	IPDPS	2003	DBLP DOI BibTeX RDF
15	Chong Hee Kim, Yong Ho Hwang, Pil Joong Lee	An Efficient Public Key Trace and Revoke Scheme Secure against Adaptive Chosen Ciphertext Attack.	ASIACRYPT	2003	DBLP DOI BibTeX RDF
15	Daniel P. Spooner, Darren J. Kerbyson	Identification of Performance Characteristics from Multi-view Trace Analysis.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
15	Sanun Srisuk, Maria Petrou, Werasak Kurutach, Alexander Kadyrov	Face Authentication using the Trace Transform.	CVPR (1)	2003	DBLP DOI BibTeX RDF
15	Yun-Nan Chang	Design of soft-output Viterbi decoders with hybrid trace-back processing.	ISCAS (2)	2003	DBLP DOI BibTeX RDF
15	Luciano Paschoal Gaspary, Edgar Meneghetti, Fabricio Wendt, Lucio Braga, Luis Felipe Balbinot, Roberto Storch, Liane Margarida Rockenbach Tarouco	Trace: an open platform for high-layer protocols, services and networked applications management.	NOMS	2002	DBLP DOI BibTeX RDF
15	Thomas Eisenbarth 0003, Rainer Koschke, Gunther Vogel	Static Trace Extraction.	WCRE	2002	DBLP DOI BibTeX RDF
15	Luciano Paschoal Gaspary, Edgar Meneghetti, Fabricio Wendt, Lucio Braga, Roberto Storch, Liane Margarida Rockenbach Tarouco	High-layer protocol and service management based on passive network traffic monitoring: the trace management platform.	ISCC	2002	DBLP DOI BibTeX RDF
15	Stevan A. Vlaovic, Edward S. Davidson	TAXI: Trace Analysis for X86 Interpretation.	ICCD	2002	DBLP DOI BibTeX RDF
15	Johan Moe, Kristian Sandahl	Using Execution Trace Data to Improve Distributed Systems.	ICSM	2002	DBLP DOI BibTeX RDF
15	Michele Boreale	Symbolic Trace Analysis of Cryptographic Protocols.	ICALP	2001	DBLP DOI BibTeX RDF	formal methods for security protocols, concurrency, spi-calculus
15	Bin Zhou, Tomohiro Yoneda, Chris J. Myers	Framework of Timed Trace Theoretic Verification Revisited.	Asian Test Symposium	2001	DBLP DOI BibTeX RDF
15	Johan Moe, David A. Carr	Understanding Distributed Systems via Execution Trace Data.	IWPC	2001	DBLP DOI BibTeX RDF	execution visualization, distributed systems, CORBA, Tracing
15	Paul Lieverse, Pieter van der Wolf, Ed F. Deprettere	A trace transformation technique for communication refinement.	CODES	2001	DBLP DOI BibTeX RDF
15	Bernhard Beckert, Steffen Schlager	A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities.	IJCAR	2001	DBLP DOI BibTeX RDF
15	Amarildo T. da Costa, Felipe M. G. França, Eliseu M. Chaves Filho	The Dynamic Trace Memorization Reuse Technique.	IEEE PACT	2000	DBLP DOI BibTeX RDF
15	Moni Naor, Benny Pinkas	Efficient Trace and Revoke Schemes.	Financial Cryptography	2000	DBLP DOI BibTeX RDF	tracing traitors, self enforcement, copyright protection, broadcast encryption, blacklisting, User revocation
15	Thomas Colcombet, Pascal Fradet	Enforcing Trace Properties by Program Transformation.	POPL	2000	DBLP DOI BibTeX RDF
15	J. Jenny Li, Joseph Robert Horgan	Simulation-Trace-Based Component Performance Prediction.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	software slicing, Communicating extended finite state machine (CEFSM), stochastic-EFSM and Specification and Description Language (SDL), Software architectural design
15	Jack P. C. Kleijnen, Russell C. H. Cheng, Bert Bettonvil	VV&A; IV: validation of trace-driven simulation models: more on bootstrap tests.	WSC	2000	DBLP DOI BibTeX RDF
15	Alberto Ferreira de Souza, Peter Rounce	On the Scheduling Algorithm of the Dynamically Trace Scheduled VLIW Architecture.	IPDPS	2000	DBLP DOI BibTeX RDF	DTSVLIW, VLIW, Instruction scheduling
15	Ryszard Janicki, Yan Liu	On Trace Assertion Method of Module Interface Specification with Concurrency.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
15	Nigel P. Smart	The Discrete Logarithm Problem on Elliptic Curves of Trace One.	J. Cryptol.	1999	DBLP DOI BibTeX RDF	2pt
15	Curtis E. Hrischuk, C. Murray Woodside, Jerome A. Rolia, Rod Iversen	Trace-Based Load Characterization for Gernerating Performance Software Models.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	layered queuing, software traces, performance prototyping, workload characterization, Software performance, performance engineering, analytic performance models
15	Tomohiro Yoneda, Hiroshi Ryu	Timed Trace Theoretic Verification Using Partial Order Reduction.	ASYNC	1999	DBLP DOI BibTeX RDF
15	Alberto Ferreira de Souza, Peter Rounce	Dynamically Scheduling the Trace Produced During Program Execution into VLIW Instructions.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
15	C. A. R. Hoare, Jifeng He 0001	A Trace Model for Pointers and Objects.	ECOOP	1999	DBLP DOI BibTeX RDF
15	Bruce B. Hansen, Bryan S. Morse	Multiscale Image Registration Using Scale Trace Correlation.	CVPR	1999	DBLP DOI BibTeX RDF	multiscale image registration
15	Jürgen Dingel	A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs.	AMAST	1998	DBLP DOI BibTeX RDF
15	Jun Sawada, Warren A. Hunt Jr.	Trace Table Based Approach for Pipeline Microprocessor Verification.	CAV	1997	DBLP DOI BibTeX RDF
15	Nicola Mazzocca, Stefano Russo 0001, Valeria Vittorini	Integrating Trace Logic and Petri Nets Specifications.	HICSS (1)	1997	DBLP DOI BibTeX RDF
15	E. Pascal Gribomont	Atomicity Refinement and Trace Reduction Theorems.	CAV	1996	DBLP DOI BibTeX RDF
15	Lionel Brunie, Olivier Reymann	Concepts and Funtionalities of the DOSMOS-Trace Monitoring Tool.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
15	Michael Bertol, Volker Diekert	Trace Rewriting: Computing Normal Forms in Time O(n log n).	STACS	1996	DBLP DOI BibTeX RDF	rewriting modulo a partial commutation, Mazurkiewicz traces
15	Véronique Bruyère, Clelia de Felice	Coding and Strong Coding in Trace Monoids.	STACS	1995	DBLP DOI BibTeX RDF
15	Alessandro P. Merlo, Patrick H. Worley	Analyzing PICL Trace Data with MEDEA.	Computer Performance Evaluation	1994	DBLP DOI BibTeX RDF
15	Prabuddha Biswas, K. K. Ramakrishnan	Trace Driven Analysis of Write Caching Policies for Disks.	SIGMETRICS	1993	DBLP DOI BibTeX RDF
15	Jerry R. Burch	Combining CTL, Trace Theory and Timing Models.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
15	Antoni W. Mazurkiewicz	Basic notions of trace theory.	REX Workshop	1988	DBLP DOI BibTeX RDF	Petri nets, concurrency, processes, traces, partial ordering
15	Peter Graubmann	The Construction of EN Systems from a Given Trace Behavior.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
15	IJsbrand Jan Aalbersberg, Hendrik Jan Hoogeboom	Decision Problems for Regular Trace Languages.	ICALP	1987	DBLP DOI BibTeX RDF
15	Robert P. Colwell, Robert P. Nix, John J. O'Donnell, David B. Papworth, Paul K. Rodman	A VLIW Architecture for a Trace Scheduling Compiler.	ASPLOS	1987	DBLP DOI BibTeX RDF
14	Tamarisk Lurlyn Scholtz, Ian D. Sanders	Mental models of recursion: investigating students' understanding of recursion.	ITiCSE	2010	DBLP DOI BibTeX RDF	recursion, mental models
14	Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, Duru Türkoglu	Traceable data types for self-adjusting computation.	PLDI	2010	DBLP DOI BibTeX RDF	traceable data types, self-adjusting computation
14	Jane Cleland-Huang, Adam Czauderna, Marek Gibiec, John Emenecker	A machine learning approach for tracing regulatory codes to product specific requirements.	ICSE (1)	2010	DBLP DOI BibTeX RDF	requirements classification, traceability, regulatory compliance
14	Yang Xiang 0001, Wanlei Zhou 0001, Minyi Guo	Flexible Deterministic Packet Marking: An IP Traceback System to Find the Real Source of Attacks.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
14	Dusan Kocur, Jana Rovnáková, Mária Svecová	Through Wall Tracking of Moving Targets by M-Sequence UWB Radar.	Towards Intelligent Engineering and Information Technology	2009	DBLP DOI BibTeX RDF
14	Philippe Dugerdil, Sebastien Jossi	Computing dynamic clusters.	ISEC	2009	DBLP DOI BibTeX RDF	software architecture, reverse-engineering, dynamic analysis, software clustering
14	Michel de Rougemont, Mathieu Tracol	Statistic Analysis for Probabilistic Processes.	LICS	2009	DBLP DOI BibTeX RDF
14	Chuanfu Xu, Yonggang Che, Zhenghua Wang	MPTD: A Scalable and Flexible Performance Prediction Framework for Parallel Systems.	APPT	2009	DBLP DOI BibTeX RDF
14	Allen Van Gelder	Improved Conflict-Clause Minimization Leads to Improved Propositional Proof Traces.	SAT	2009	DBLP DOI BibTeX RDF
14	Petar Dobrev, Sorin Stancu-Mara, Jürgen Schönwälder	Visualization of Node Interaction Dynamics in Network Traces. (PDF / PS)	AIMS	2009	DBLP DOI BibTeX RDF	Network measurement, SNMP, network visualization, NetFlow
14	Brian Keng, Andreas G. Veneris	Scaling VLSI design debugging with interpolation.	FMCAD	2009	DBLP DOI BibTeX RDF
14	Mark H. Burstein, Fusun Yaman, Robert Laddaga, Robert J. Bobrow	POIROT: acquiring workflows by combining models learned from interpreted traces.	K-CAP	2009	DBLP DOI BibTeX RDF	meta-control, multi-strategy learning, integration
14	Mahdi Fazeli, Reza Farivar 0003, Seyed Ghassem Miremadi	Error Detection Enhancement in PowerPC Architecture-based Embedded Processors.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Physical fault injection, Power supply disturbances, Concurrent error detection, Control flow checking
14	Larissa Meinicke, Kim Solin	Reactive Probabilistic Programs and Refinement Algebra.	RelMiCS	2008	DBLP DOI BibTeX RDF
14	Giulio Reina, Genya Ishigami, Keiji Nagatani, Kazuya Yoshida	Vision-based estimation of slip angle for mobile robots and planetary rovers.	ICRA	2008	DBLP DOI BibTeX RDF
14	Andrés Vignaga, Daniel Perovich, M. Cecilia Bastarrica	Extracting Object Interactions Out of Software Contracts Using Model Transformations.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
14	Song Hao, Zhihui Du, David A. Bader, Man Wang	A Prediction Based CMP Cache Migration Policy.	HPCC	2008	DBLP DOI BibTeX RDF
14	Xiao Bai 0001, Richard C. Wilson 0001, Edwin R. Hancock	Object recognition using graph spectral invariants.	ICPR	2008	DBLP DOI BibTeX RDF
14	Joachim Baran, Howard Barringer	Forays into Sequential Composition and Concatenation in Eagle.	RV	2008	DBLP DOI BibTeX RDF