Search results for "trace"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Chee Wai Lee, Celso L. Mendes, Laxmikant V. Kalé	Towards scalable performance analysis and visualization through data reduction.	IPDPS	2008	DBLP DOI BibTeX RDF
14	Saad Bani-Mohammad, Mohamed Ould-Khaoua, Lewis M. Mackenzie, Ismail Ababneh, John D. Ferguson	The effect of real workloads and stochastic workloads on the performance of allocation and scheduling algorithms in 2D mesh multicomputers.	IPDPS	2008	DBLP DOI BibTeX RDF
14	Takashi Ishio, Yui Watanabe, Katsuro Inoue	AMIDA: a sequence diagram extraction toolkit supporting automatic phase detection.	ICSE Companion	2008	DBLP DOI BibTeX RDF	java, dynamic analysis, software visualization, phase detection
14	Xiao Bai 0001, Richard C. Wilson 0001, Edwin R. Hancock	Quantitative Evaluation on Heat Kernel Permutation Invariants.	SSPR/SPR	2008	DBLP DOI BibTeX RDF
14	Lerong Cheng, Fei Li 0003, Yan Lin 0001, Phoebe Wong, Lei He 0001	Device and Architecture Cooptimization for FPGA Power Reduction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
14	Hasan Ural, Zhi Xu	An EFSM-Based Passive Fault Detection Approach.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
14	Kathryn M. Mohror, Karen L. Karavanic	Towards Scalable Event Tracing for High End Systems.	HPCC	2007	DBLP DOI BibTeX RDF
14	Matthew A. Smith, Lars A. Schreiner, Erich Barke, Volker Meyer zu Bexten	Algorithms for automatic length compensation of busses in analog integrated circuits.	ISPD	2007	DBLP DOI BibTeX RDF	analog routing, length compensation, net bundles, paired nets, virtual terminals, routing, EDA, RF, bus routing, IC-layout
14	Nan Liu 0003, Han Wang 0001	Classification of transformed face images with majority voting.	SMC	2007	DBLP DOI BibTeX RDF
14	Saad Bani-Mohammad, Mohamed Ould-Khaoua, Ismail Ababneh, Lewis M. Mackenzie	Comparative evaluation of the non-contiguous processor allocation strategies based on a real workload and a stochastic workload on multicomputers.	ICPADS	2007	DBLP DOI BibTeX RDF
14	Chul-Gyu Song, Jong Chan Kim, Jeong-Hwan Seo, Keo-Sik Kim, Yang Soo An	An new approach of ambulatory urodynamic system for measuring the abdominal pressure.	MUE	2007	DBLP DOI BibTeX RDF
14	Chuan Duan, Jane Cleland-Huang	Clustering support for automated tracing.	ASE	2007	DBLP DOI BibTeX RDF	automated traceability, cross-cutting concerns, traceability, aspects, requirements clustering
14	Alexandru Iosup, Mathieu Jan, Omer Ozan Sonmez, Dick H. J. Epema	On the dynamic resource availability in grids.	GRID	2007	DBLP DOI BibTeX RDF
14	Vijayanand Nagarajan, Dennis Jeffrey, Rajiv Gupta 0001, Neelam Gupta	ONTRAC: A system for efficient ONline TRACing for debugging.	ICSM	2007	DBLP DOI BibTeX RDF
14	Koushik Sen, Grigore Rosu, Gul Agha	Online efficient predictive safety analysis of multithreaded programs.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	JMPaX, Multithreaded analysis, Runtime monitoring, Vector clock, Predictive analysis
14	Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah	Test Case Minimization for Real-Time Systems Using Timed Bound Traces.	TestCom	2006	DBLP DOI BibTeX RDF
14	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
14	Stéphanie Delaune, Pascal Lafourcade 0001, Denis Lugiez, Ralf Treinen	Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or.	ICALP (2)	2006	DBLP DOI BibTeX RDF
14	Jochen Quante, Rainer Koschke	Dynamic Object Process Graphs.	CSMR	2006	DBLP DOI BibTeX RDF
14	Martin J. Fischer, Denise M. Bevilacqua Masi	Analyzing internet packet traces using Lindley's Recursion.	WSC	2006	DBLP DOI BibTeX RDF
14	Chao Liu 0001, Jiawei Han 0001	Failure proximity: a fault localization-based approach.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	failure proximity, debugging aids, statistical debugging
14	David Lo 0001, Siau-Cheng Khoo	SMArTIC: towards building an accurate, robust and scalable specification miner.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	clustering traces, filtering errors, specification mining
14	Jungkeun Yoon, Brian D. Noble, Mingyan Liu, Minkyong Kim	Building realistic mobility models from coarse-grained traces.	MobiSys	2006	DBLP DOI BibTeX RDF	statistical mobility model
14	Soichiro Matsushita, Ayumi Shiba, Kan Nagashima	A wearable fatigue monitoring system: application of human-computer interaction evaluation.	AUIC	2006	DBLP BibTeX RDF	human-computer interaction, wearable computer, accelerometer, immersive display, fatigue
14	Olivier L. Georgeon, Alain Mille, Thierry Bellet	Analyzing Behaviorial Data for Refining Cognitive Models of Operator.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
14	Tie Feng, Jonathan I. Maletic	Applying Dynamic Change Impact Analysis in Component-based Architecture Design.	SNPD	2006	DBLP DOI BibTeX RDF	software architecture, program slicing, Change impact analysis, component composition
14	Chang-Jin Choi, Sang-Hun Yoon, Jong-Wha Chong, Shouyin Liu	A New Low-Power and High Speed Viterbi Decoder Architecture.	ICUCT	2006	DBLP DOI BibTeX RDF	RE-exchange, low-power, look-ahead, viterbi
14	Mark Thompson 0001, Andy D. Pimentel, Simon Polstra, Cagkan Erbas	A Mixed-level Co-simulation Method for System-level Design Space Exploration.	ESTIMedia	2006	DBLP DOI BibTeX RDF
14	Wilbur C. K. Wong, Albert C. S. Chung	Toward Interactive User Guiding Vessel Axis Extraction from Gray-scale Angiograms: An Optimization Framework.	MICCAI (1)	2006	DBLP DOI BibTeX RDF
14	Hisayuki Tatsumi, Yasuyuki Murai, Nobuyuki Nagai, Masahiro Miyakawa	Marking in the Surroundings by Data-Carriers for the Visually Impaired.	ICCHP	2006	DBLP DOI BibTeX RDF
14	Nobuyoshi Sato, Jin Tamaoka, Koichiro Shimomura, Hirobumi Yamamoto, Ken'ichi Kamijo, Minoru Uehara	Target Selection by Similarity Preserve Hash in Distributed System for Geographical Origin Identification of Vegetables.	AINA (1)	2006	DBLP DOI BibTeX RDF
14	Andreas Bauer 0002, Martin Leucker, Christian Schallhart	Monitoring of Real-Time Properties.	FSTTCS	2006	DBLP DOI BibTeX RDF
14	Kuntal Nanshi, Fabio Somenzi	Guiding simulation with increasingly refined abstract traces.	DAC	2006	DBLP DOI BibTeX RDF	simulation, model checking, abstraction refinement
14	Marvin McNett, Geoffrey M. Voelker	Access and mobility of wireless PDA users.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2005	DBLP DOI BibTeX RDF
14	Marcelo d'Amorim, Klaus Havelund	Event-based runtime verification of java programs.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	event versus state predicates, Java, aspect oriented programming, temporal logic, runtime verification, program instrumentation
14	Mayur Palankar, Jonathan E. Cook	Merging traces of hardware-assisted data breakpoints.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
14	Suresh Yadla, Jane Huffman Hayes, Alex Dekhtyar	Tracing requirements to defect reports: an application of information retrieval techniques.	Innov. Syst. Softw. Eng.	2005	DBLP DOI BibTeX RDF	Defect reports, Requirements traceability matrix (RTM), Information retrieval, Requirements, Tracing, Requirements tracing
14	Sriraman Tallam, Rajiv Gupta 0001, Xiangyu Zhang 0001	Extended Whole Program Paths.	IEEE PACT	2005	DBLP DOI BibTeX RDF
14	Shirley Moore, Felix Wolf 0001, Jack J. Dongarra, Sameer Shende, Allen D. Malony, Bernd Mohr	A Scalable Approach to MPI Application Performance Analysis.	PVM/MPI	2005	DBLP DOI BibTeX RDF
14	Yang Xiang 0001, Wanlei Zhou 0001	A Defense System against DDoS Attacks by Large-Scale IP Traceback.	ICITA (2)	2005	DBLP DOI BibTeX RDF
14	Jane Cleland-Huang, Raffaella Settimi, Chuan Duan, Xuchang Zou	Utilizing Supporting Evidence to Improve Dynamic Requirements Traceability.	RE	2005	DBLP DOI BibTeX RDF
14	Marcin Jurdzinski, Doron A. Peled, Hongyang Qu 0001	Calculating Probabilities of Real-Time Test Cases.	FATES	2005	DBLP DOI BibTeX RDF
14	Seung-Sun Hong, Shyhtsun Felix Wu	On Interactive Internet Traffic Replay.	RAID	2005	DBLP DOI BibTeX RDF
14	Fei Ge, Yang Cao, Yuan-ni Wang	Chaotic Dynamic Analysis of MPEG-4 Video Traffic and Its Influence on Packet Loss Ratio.	ICCNMC	2005	DBLP DOI BibTeX RDF	MPEG-4 video traffic, chaotic dynamic analysis, packet loss ratio
14	Lerong Cheng, Phoebe Wong, Fei Li 0003, Yan Lin 0001, Lei He 0001	Device and architecture co-optimization for FPGA power reduction.	DAC	2005	DBLP DOI BibTeX RDF	Psim, Ptrace, powergating, FPGA, low power
14	C. A. R. Hoare	Process Algebra: A Unifying Approach.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
14	Denduang Pradubsuwun, Tomohiro Yoneda, Chris J. Myers	Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits.	ATVA	2004	DBLP DOI BibTeX RDF
14	Isamu Teranishi, Jun Furukawa 0001, Kazue Sako	k-Times Anonymous Authentication (Extended Abstract).	ASIACRYPT	2004	DBLP DOI BibTeX RDF
14	Koushik Sen, Grigore Rosu, Gul Agha	Online Efficient Predictive Safety Analysis of Multithreaded Programs.	TACAS	2004	DBLP DOI BibTeX RDF
14	Gilles Pokam, François Bodin	An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays.	LCPC	2004	DBLP DOI BibTeX RDF
14	Scott F. Kaplan	Collecting whole-system reference traces of multiprogrammed and multithreaded workloads.	WOSP	2004	DBLP DOI BibTeX RDF
14	Paul-André Melliès	Asynchronous Games 2: The True Concurrency of Innocence.	CONCUR	2004	DBLP DOI BibTeX RDF
14	Lieven Eeckhout, Robert H. Bell Jr., Bastiaan Stougie, Koen De Bosschere, Lizy Kurian John	Control Flow Modeling in Statistical Simulation for Accurate and Efficient Processor Design Studies.	ISCA	2004	DBLP DOI BibTeX RDF
14	Sotiris E. Nikoletseas, Grigorios Prasinos, Paul G. Spirakis, Christos D. Zaroliagis	Attack Propagation in Networks.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
14	Deepak S. Turaga, Tsuhan Chen	On Probability Density for Modeling Video Traffic.	J. VLSI Signal Process.	2003	DBLP DOI BibTeX RDF	traffic modeling, VBR video, autoregressive processes
14	Srigurunath Chakravarthi, C. R. Krishna Kumar, Anthony Skjellum, H. A. Prahalad, Bharath Seshadri	A Model for Performance Analysis of MPI Applications on Terascale Systems.	PVM/MPI	2003	DBLP DOI BibTeX RDF
14	Stefan Blom, Wan J. Fokkink, Sumit Nain	On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces.	ICALP	2003	DBLP DOI BibTeX RDF
14	Jacques Chassin de Kergommeaux, Cyril Guilloud, Benhur de Oliveira Stein	Flexible Performance Debugging of Parallel and Distributed Applications.	Euro-Par	2003	DBLP DOI BibTeX RDF
14	Nikolay G. Fedotov, Luydmila A. Shulga	New Geometric Transform Based on Stochastic Geometry in the Context of Pattern Recognition.	SCIA	2003	DBLP DOI BibTeX RDF
14	Ariel Nahum Burton, Paul H. J. Kelly	Performance Prediction of Paging Workloads Using Lightweight Tracing.	IPDPS	2003	DBLP DOI BibTeX RDF
14	P. Krishna Gummadi, Richard J. Dunn, Stefan Saroiu, Steven D. Gribble, Henry M. Levy, John Zahorjan	Measurement, modeling, and analysis of a peer-to-peer file-sharing workload.	SOSP	2003	DBLP DOI BibTeX RDF	multimedia workloads, modeling, peer-to-peer, measurement, Zipf's law
14	Katinka Wolter, Kristian Kasprowicz	WebAppLoader: A Simulation Tool Set for Evaluating Web Application Performance.	Computer Performance Evaluation / TOOLS	2003	DBLP DOI BibTeX RDF
14	Agustín Espinosa Minguet, Vicente Lorente Garcés, Ana García-Fornes, Alfons Crespo i Lorente	Getting System Metrics Using POSIX Tracing Services.	Ada-Europe	2003	DBLP DOI BibTeX RDF
14	Dmitri Loguinov, Hayder Radha	Retransmission schemes for streaming internet multimedia: evaluation model and performance analysis.	Comput. Commun. Rev.	2002	DBLP DOI BibTeX RDF	TCP/IP
14	Kun-Chan Lan, John S. Heidemann	Rapid model parameterization from traffic measurements.	ACM Trans. Model. Comput. Simul.	2002	DBLP DOI BibTeX RDF	Model parameterization, Network, Traffic model
14	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran	An assume-guarantee rule for checking simulation.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	verification rules, Simulation relations
14	Dexter Kozen	Some Results in Dynamic Model Theory.	MPC	2002	DBLP DOI BibTeX RDF
14	Terence Kelly, Jeffrey C. Mogul	Aliasing on the world wide web: prevalence and performance implications.	WWW	2002	DBLP DOI BibTeX RDF	duplicate suppression, duplicate transfer detection, redundant transfers, resource modification, WWW, world wide web, performance analysis, caching, HTTP, aliasing, DTD, cache hierarchies, Zipf's law, hypertext transfer protocol
14	Sujoy Basu, Sumit Roy 0002, Raj Kumar, Tom Fisher, Bruce E. Blaho	Peppermint and Sled: Tools for Evaluating SMP Systems Based on IA-64 (IPF) Processors.	IPDPS	2002	DBLP DOI BibTeX RDF	simulation, architecture, IA-64
14	Shoko Yonezawa, Goichiro Hanaoka, Junji Shikata, Hideki Imai	Traceability Schemes for Signed Documents.	ISC	2002	DBLP DOI BibTeX RDF
14	HoonSang Jin, Kavita Ravi, Fabio Somenzi	Fate and Free Will in Error Traces.	TACAS	2002	DBLP DOI BibTeX RDF
14	Marcel Harkema, Dick A. C. Quartel, Bart Gijsen, Robert D. van der Mei	Performance monitoring of java applications.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	performance measurement and monitoring of java applications
14	Alexander Egyed, Paul Grünbacher	Automating Requirements Traceability: Beyond the Record & Replay Paradigm.	ASE	2002	DBLP DOI BibTeX RDF
14	Rik Eshuis, Roel J. Wieringa	Verification support for workflow design with UML activity graphs.	ICSE	2002	DBLP DOI BibTeX RDF	UML
14	Karanth Shankaranarayana, Soujanna Sarkar, R. Venkatraman, Shyam S. Jagini, N. Venkatesh, Jagdish C. Rao, H. Udayakumar, M. Sambandam, K. P. Sheshadri, S. Talapatra, Parag Mhatre, Jais Abraham, Rubin A. Parekhji	Challenges in the Design of a Scalable Data-Acquisition and Processing System-on-Silicon.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF
14	Wu-chang Feng, Francis Chang, Wu-chi Feng, Jonathan Walpole	Provisioning on-line games: a traffic analysis of a busy counter-strike server.	Internet Measurement Workshop	2002	DBLP DOI BibTeX RDF
14	Peter A. Riocreux, L. E. M. Brackenbury, J. Mike Cumpstey, Stephen B. Furber	A Low-Power Self-Timed Viterbi Decoder.	ASYNC	2001	DBLP DOI BibTeX RDF
14	Mahesh Viswanathan 0001, Ramesh Viswanathan	Foundations for Circular Compositional Reasoning.	ICALP	2001	DBLP DOI BibTeX RDF
14	Rajeev Alur, Radu Grosu, Insup Lee 0001, Oleg Sokolsky	Compositional Refinement for Hierarchical Hybrid Systems.	HSCC	2001	DBLP DOI BibTeX RDF
14	Alice Silverberg, Jessica Staddon, Judy L. Walker	Efficient Traitor Tracing Algorithms Using List Decoding.	ASIACRYPT	2001	DBLP DOI BibTeX RDF
14	Jeffrey B. Rothman, Alan Jay Smith	Multiprocessor Memory Reference Generation Using Cerberus.	MASCOTS	1999	DBLP DOI BibTeX RDF	Multiprocessor Memory References, Execution Driven Simulation, Program Tracing
14	Franklin E. Sorenson, Elizabeth S. Sorenson, J. Kelly Flanagan, Heng Zhou	A System-Assisted Disk I/O Simulation Technique.	MASCOTS	1999	DBLP DOI BibTeX RDF	Simulation Models and Techniques, Performance Modeling Techniques, Memory File, I/O Systems, Performance Tools, Performance Simulation
14	Markus Lohrey	Complexity Results for Confluence Problems.	MFCS	1999	DBLP DOI BibTeX RDF
14	Henrik Nilsson	Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages.	ICFP	1999	DBLP DOI BibTeX RDF
14	Dieter Kranzlmüller, Jens Volkert	NOPE: A Nondeterministic Program Evaluator.	ACPC	1999	DBLP DOI BibTeX RDF
14	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran	An Assume-Guarantee Rule for Checking Simulation.	FMCAD	1998	DBLP DOI BibTeX RDF
14	Virginia Mary Lo, Jens Mache, Kurt J. Windisch	A Comparative Study of Real Workload Traces and Synthetic Workload Models for Parallel Job Scheduling.	JSSPP	1998	DBLP DOI BibTeX RDF
14	Derek B. Noonburg, John Paul Shen	A Framework for Statistical Modeling of Superscalar Processor Performance.	HPCA	1997	DBLP DOI BibTeX RDF
14	Enrique Alba 0001, José M. Troya	Genetic Algorithms for Protocol Validation.	PPSN	1996	DBLP DOI BibTeX RDF
14	James Arthur Kohl, George Al Geist II	The PVM 3.4 Tracing Facility and XPVM 1.1.	HICSS (1)	1996	DBLP DOI BibTeX RDF
14	René Schiefer, Peter van der Stok	VIPER: a tool for the visualisation of parallel programs.	PDP	1995	DBLP DOI BibTeX RDF	VIPER, Mona Lisa parallel programming paradigm, typed paradigm, high level primitives, animation view, parallel programming, parallel programs, debugging, computer animation, data visualisation, data visualisation, data exchange, program debugging, behavioural analysis
14	Volker Diekert, Paul Gastin	A Domain for Concurrent Termination: A Generalization of Mazurkiewicz Traces (Extended Abstract).	ICALP	1995	DBLP DOI BibTeX RDF
14	Volker Diekert, Anca Muscholl, Klaus Reinhardt	On Codings of Traces.	STACS	1995	DBLP DOI BibTeX RDF	Topics Formal languages, concurrency
14	Luk Levrouw, Koenraad Audenaert	Minimizing the Log Size for Execution Replay of Shared-Memory Programs.	CONPAR	1994	DBLP DOI BibTeX RDF	Execution Replay, Logical Clocks, Parallel Debugging
14	Bogdan Korel, Satish Yalamanchili	Forward Computation of Dynamic Program Slices.	ISSTA	1994	DBLP DOI BibTeX RDF	DEBUG
14	Véronique Bruyère, Clelia de Felice, Giovanna Guaiana	Coding with Traces.	STACS	1994	DBLP DOI BibTeX RDF
14	Claudio Ferretti, Giancarlo Mauri	Identifying Unrecognizable Regular Languages by Queries.	ECML	1994	DBLP DOI BibTeX RDF
14	Wang Yi 0001, Bengt Jonsson 0001	Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes.	FSTTCS	1994	DBLP DOI BibTeX RDF
14	Werner Ebinger, Anca Muscholl	Logical Definability on Infinite Traces.	ICALP	1993	DBLP DOI BibTeX RDF
14	Jacqueline Chame, Michel Dubois 0001	Cache Inclusion and Processor Sampling in Multiprocessor Simulations.	SIGMETRICS	1993	DBLP DOI BibTeX RDF