Search results for "traces"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay	Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	IO-traces, IOT-failures, IOT-states, state space condensation, timed automata, labeled transition systems, Composition verification, state space explosion
15	Bruno Dufour, Karel Driesen, Laurie J. Hendren, Clark Verbrugge	Dynamic metrics for java.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, optimization, software metrics, program analysis, profiling, execution traces, dynamic metrics
15	Bruno Dufour, Laurie J. Hendren, Clark Verbrugge	*J: a tool for dynamic analysis of Java programs.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	Java, software metrics, program analysis, profiling, execution traces, dynamic metrics
15	Almudena Konrad, Anthony D. Joseph	Choosing an accurate network path model.	SIGMETRICS	2003	DBLP DOI BibTeX RDF	network characteristics, modeling, wireless, traces, Markov
15	Neelam Gupta, Zachary V. Heidepriem	A New Structural Coverage Criterion for Dynamic Detection of Program Invariants.	ASE	2003	DBLP DOI BibTeX RDF	dynamic analysis, Test data generation, execution traces, path testing, program invariants
15	Wu-chun Feng, Mark K. Gardner, Jeffrey R. Hay	The MAGNeT Toolkit: Design, Implementation and Evaluation.	J. Supercomput.	2002	DBLP DOI BibTeX RDF	application-generated traffic, virtual supercomputing, network-aware applications, measurement, monitor, TCP, high-performance computing, network protocol, traces, computational grids, traffic characterization, MAGNeT
15	Youtao Zhang, Rajiv Gupta 0001	Path Matching in Compressed Control Flow Trace.	DCC	2002	DBLP DOI BibTeX RDF	SEQUITUR, compressed control flow traces, pattern matching
15	Jeremy Brown, J. P. Grossman, Tom Knight	A lightweight idempotent messaging protocol for faulty networks.	SPAA	2002	DBLP DOI BibTeX RDF	block-structured traces, source-reliable messaging, idempotence
15	Luis M. de la Cruz, Ian García, Victor Godoy, Eduardo Ramos	Case study: parallel lagrangian visualization applied to natural convective flows.	IEEE Symposium on Parallel and Large-Data Visualization and Graphics	2001	DBLP BibTeX RDF	pathlines, shared, Flow Visualization, distributed memory, particle traces
15	Cédric Besse, Ana R. Cavalli, Ferhat Khendek	Partial Validation of a Design Specification with Respect to Requirements.	APAQS	2001	DBLP DOI BibTeX RDF	MSC views, MSC traces, Specification, Validation, Requirement, SDL, MSC
15	Neelam Soundarajan	Documenting framework behavior.	ACM Comput. Surv.	2000	DBLP DOI BibTeX RDF	specifying OO frameworks, traces of method calls
15	Oscar Slotosch	Modelling and Validation: AUTOFOCUS and Quest.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Model checking, Interactive theorem proving, State transition diagrams, Event traces
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	Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin	Dynamically Discovering Likely Program Invariants to Support Program Evolution.	ICSE	1999	DBLP DOI BibTeX RDF	pattern recognition, formal specification, software evolution, dynamic analysis, execution traces, logical inference, program invariants
15	Peter P. Ware, Thomas W. Page Jr., Barry L. Nelson	Automatic Modeling of File System Workloads Using Two-Level Arrival Processes.	ACM Trans. Model. Comput. Simul.	1998	DBLP DOI BibTeX RDF	file access patterns, replaction, synthetic traces, clustering, file system, data replication, trace driven simulation, input modeling
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	Nicholas C. Gloy, Cliff Young, J. Bradley Chen, Michael D. Smith 0001	An Analysis of Dynamic Branch Prediction Schemes on System Workloads.	ISCA	1996	DBLP DOI BibTeX RDF	2-level adaptive prediction, system traces, correlation, branch prediction
15	W. Homer Carlisle	Type Checking Concurrent I/O.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	process communication, parallel programming, concurrency, traces, type checking, event recognition
15	G. David Kerlick	Visualization for Aerodynamic Design of Helicopter Rotor Blades.	IEEE Visualization	1995	DBLP DOI BibTeX RDF	Helicopter, Rotor Wake, Aeroelasticity, Vortical Flow, Simulation, Visualization, CFD, Particle Traces
15	Ryszard Janicki, Maciej Koutny	Optimal simulations, nets and reachability graphs.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	verification, Petri nets, traces, liveness, partial order semantics, reachability graphs, step sequences, state-space generation, deadlock-freeness
15	Glynn Winskel	An introduction to event structures.	REX Workshop	1988	DBLP DOI BibTeX RDF	higher types, Petri nets, parallel computation, semantics, concurrency, traces, lambda calculus, nondeterminism, communicating processes, Event structures
15	Mark Scott Johnson	Some Requirements for Architectural Support of Software Debugging.	ASPLOS	1982	DBLP DOI BibTeX RDF	Architectural debugging support, Debugging-oriented architecture, Interactive debugging, Symbolic debugging, Debugging, Profiles, Traces, Breakpoints
15	Graham D. Price, Manish Vachharajani	Large program trace analysis and compression with ZDDs.	CGO	2010	DBLP DOI BibTeX RDF	parallel programming, trace compression
15	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
15	Wenchao Li 0001, Alessandro Forin, Sanjit A. Seshia	Scalable specification mining for verification and diagnosis.	DAC	2010	DBLP DOI BibTeX RDF	error localization, verification, formal specification, debugging, diagnosis, assertions, post-silicon validation
15	György Terdik, Tibor Gyires	Lévy flights and fractal modeling of internet traffic.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	Lévy flights, fractal modelling, long-range dependence, network traffic, burstiness
15	Andrea Bianco, Gianluca Mardente, Marco Mellia, Maurizio M. Munafò, Luca Muscariello	Web user-session inference by means of clustering techniques.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	web traffic characterization, World Wide Web (WWW), traffic measurement, clustering methods
15	Gary Grider, James Nunez, John Bent, Steve Poole 0001, Robert B. Ross, Evan Felix	Coordinating government funding of file system and I/O research through the high end computing university research activity.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
15	Keiko Nakata 0001, Tarmo Uustalu	Trace-Based Coinductive Operational Semantics for While.	TPHOLs	2009	DBLP DOI BibTeX RDF
15	Marco Canini, Wei Li 0009, Andrew W. Moore 0002, Raffaele Bolla	GTVS: Boosting the Collection of Application Traffic Ground Truth.	TMA	2009	DBLP DOI BibTeX RDF
15	Christophe Courtin, Stephane Talbot	Automatic Analysis Assistant for Studies of Computer-Supported Human Interactions.	EC-TEL	2009	DBLP DOI BibTeX RDF	observation, trace, learning activity, automatic analysis
15	Olivier Thonnard, Wim Mees, Marc Dacier	Addressing the attack attribution problem using knowledge discovery and multi-criteria fuzzy decision-making.	KDD Workshop on CyberSecurity and Intelligence Informatics	2009	DBLP DOI BibTeX RDF	attack attribution, intelligence monitoring and analysis
15	R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst	Abstractions in Process Mining: A Taxonomy of Patterns.	BPM	2009	DBLP DOI BibTeX RDF
15	Ransi Nilaksha De Silva, Wei Cheng, Dan Liu, Wei Tsang Ooi, Shengdong Zhao	Towards characterizing user interaction with progressively transmitted 3D meshes.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	interaction, user behavior, progressive meshes
15	Chuanfu Xu, Yonggang Che, Zhenghua Wang	MPTD: A Scalable and Flexible Performance Prediction Framework for Parallel Systems.	APPT	2009	DBLP DOI BibTeX RDF
15	Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan	Semantics-aware trace analysis.	PLDI	2009	DBLP DOI BibTeX RDF	semantic tracing, trace views, tracing, testing tools, automated debugging, debugging aids
15	Indratmo, Julita Vassileva	Social Interaction History: A Framework for Supporting Exploration of Social Information Spaces.	CSE (4)	2009	DBLP DOI BibTeX RDF
15	Graham D. Price, John Giacomoni, Manish Vachharajani	Visualizing potential parallelism in sequential programs.	PACT	2008	DBLP DOI BibTeX RDF	thread extraction, visualization, parallel programming
15	Martin Burkhart, Daniela Brauckhoff, Martin May, Elisa Boschi	The risk-utility tradeoff for IP address truncation.	NDA	2008	DBLP DOI BibTeX RDF	privacy, anonymization, anomaly detection
15	Frédéric Giroire, Jaideep Chandrashekar, Gianluca Iannaccone, Konstantina Papagiannaki, Eve M. Schooler, Nina Taft	The Cubicle vs. The Coffee Shop: Behavioral Modes in Enterprise End-Users.	PAM	2008	DBLP DOI BibTeX RDF
15	Muhammad Usman Ilyas, Hayder Radha	A Channel Model for the Bit Error Rate Process in 802.15.4 LR-WPAN Wireless Channels.	ICC	2008	DBLP DOI BibTeX RDF
15	Hankui Zhuo, Qiang Yang 0001, Derek Hao Hu, Lei Li 0022	Transferring Knowledge from Another Domain for Learning Action Models.	PRICAI	2008	DBLP DOI BibTeX RDF
15	Joxan Jaffar	Constraint Logic Programming for program analysis.	ACSC	2008	DBLP BibTeX RDF
15	Gijs van den Broek, Jürgen Schönwälder, Aiko Pras, Matús Harvan	SNMP Trace Analysis Definitions. (PDF / PS)	AIMS	2008	DBLP DOI BibTeX RDF	simple network management protocol, traffic modeling
15	Leo Juan, Christian Kreibich, Chih-Hung Lin, Vern Paxson	A Tool for Offline and Live Testing of Evasion Resilience in Network Intrusion Detection Systems.	DIMVA	2008	DBLP DOI BibTeX RDF
15	Bai Yu, Hong Fei	Performance Impact of Wireless Mesh Networks with Mining Traffic Patterns.	FSKD (2)	2008	DBLP DOI BibTeX RDF
15	Peggy Cellier	Formal concept analysis applied to fault localization.	ICSE Companion	2008	DBLP DOI BibTeX RDF	data mining, association rules, debugging, formal concept analysis, fault localization
15	Javier Rubio-Loyola, Dolors Sala, Ali Ismail Awad	Accurate real-time monitoring of bottlenecks and performance of packet trace collection.	LCN	2008	DBLP DOI BibTeX RDF
15	Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel	Deriving Non-zeno Behavior Models from Goal Models Using ILP.	FASE	2008	DBLP DOI BibTeX RDF
15	Mirco Musolesi, Cecilia Mascolo	Designing mobility models based on social network theory.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2007	DBLP DOI BibTeX RDF
15	Minkyong Kim, David Kotz	Periodic properties of user mobility and access-point popularity.	Pers. Ubiquitous Comput.	2007	DBLP DOI BibTeX RDF	Popularity of access points, Wireless network, Periodicity, User mobility
15	John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef	Validation Support for Distributed Real-Time Embedded Systems in VDM++.	HASE	2007	DBLP DOI BibTeX RDF
15	HyungJune Lee, Alberto Cerpa, Philip Alexander Levis	Improving wireless simulation through noise modeling.	IPSN	2007	DBLP DOI BibTeX RDF	wireless simulation, sensor networks
15	Richard H. R. Harper, Dave W. Randall 0001, N. Smythe, C. Evans, L. Heledd, R. Moore	Thanks for the memory.	BCS HCI (2)	2007	DBLP DOI BibTeX RDF	memory prosthesis, wearable data capture, memory, psychology, sociology, SenseCam, digital narratives
15	Alessio Botta, Alberto Dainotti, Antonio Pescapè, Giorgio Ventre	Reducing Network Traffic Data Sets.	ICC	2007	DBLP DOI BibTeX RDF
15	Sean Safarpour, Andreas G. Veneris, Hratch Mangassarian	Trace Compaction using SAT-based Reachability Analysis.	ASP-DAC	2007	DBLP DOI BibTeX RDF
15	Yi Zhang 0051, S. Purushothaman Iyer	Error Report Driven Post-Mortem Analysis.	ICPC	2007	DBLP DOI BibTeX RDF
15	Eiko Yoneki, Pan Hui 0001, Jon Crowcroft	Visualizing community detection in opportunistic networks.	Challenged Networks	2007	DBLP DOI BibTeX RDF	distributed community detection, social networks, delay tolerant networks, network measurement
15	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
15	Dorian C. Arnold, Dong H. Ahn, Bronis R. de Supinski, Gregory L. Lee, Barton P. Miller, Martin Schulz 0001	Stack Trace Analysis for Large Scale Debugging.	IPDPS	2007	DBLP DOI BibTeX RDF
15	Marek Hajduczenia, Henrique J. A. da Silva, Paulo P. Monteiro	Source Line Load Equalization Methods for the Source Aggregation Algorithm (SAA).	ISCC	2007	DBLP DOI BibTeX RDF
15	Sriram Sankaranarayanan 0001, Richard M. Chang, Guofei Jiang, Franjo Ivancic	State space exploration using feedback constraint generation and Monte-Carlo sampling.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	model-checking, verification, monte-carlo, statistical sampling
15	Elisabeth Oswald, Stefan Mangard	Template Attacks on Masking - Resistance Is Futile.	CT-RSA	2007	DBLP DOI BibTeX RDF
15	David Andrzejewski, Anne Mulhern, Ben Liblit, Xiaojin Zhu 0001	Statistical Debugging Using Latent Topic Models.	ECML	2007	DBLP DOI BibTeX RDF
15	Rahman Hassan, Antony Harris, Nigel P. Topham, Aristides Efthymiou	Synthetic Trace-Driven Simulation of Cache Memory.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
15	Félix Hernández-Campos, Kevin Jeffay, F. Donelson Smith	Modeling and generating TCP application workloads.	BROADNETS	2007	DBLP DOI BibTeX RDF
15	Sushant Rewaskar, Jasleen Kaur 0001, F. Donelson Smith	A passive state-machine approach for accurate analysis of TCP out-of-sequence segments.	Comput. Commun. Rev.	2006	DBLP DOI BibTeX RDF	TCP analysis, state machine, passive, loss
15	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
15	Zhuoqun Sun, Emmanuel C. Ifeachor	Voice Quality Prediction Models and Their Application in VoIP Networks.	IEEE Trans. Multim.	2006	DBLP DOI BibTeX RDF
15	Luca Tummolini, Cristiano Castelfranchi	Trace Signals: The Meanings of Stigmergy.	E4MAS	2006	DBLP DOI BibTeX RDF	communication, environment, stigmergy, multi-agent coordination
15	Wei Xu, Xiaoyun Zhu, Sharad Singhal, Zhikui Wang	Predictive Control for Dynamic Resource Allocation in Enterprise Data Centers.	NOMS	2006	DBLP DOI BibTeX RDF
15	Chin-Yang Lin, Ting-Wei Hou	A Lightweight Cyclic Reference Counting Algorithm.	GPC	2006	DBLP DOI BibTeX RDF
15	Juan C. Moure, Domingo Benitez, Dolores Rexachs, Emilio Luque	Wide and efficient trace prediction using the local trace predictor.	ICS	2006	DBLP DOI BibTeX RDF	high bandwidth fetch mechanism, branch prediction
15	Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng	Runtime Verification of Java Programs for Scenario-Based Specifications.	Ada-Europe	2006	DBLP DOI BibTeX RDF
15	Itnuit Janovitz-Freireich, Lajos Rónyai, Ágnes Szántó	Approximate radical of ideals with clusters of roots.	ISSAC	2006	DBLP DOI BibTeX RDF
15	Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen	STAIRS towards formal design with sequence diagrams.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	UML interactions, Explicit non-determinism, Refinement, Formal semantics, Sequence diagrams
15	Jörg Wallerich, Holger Dreger, Anja Feldmann, Balachander Krishnamurthy, Walter Willinger	A methodology for studying persistency aspects of internet flows.	Comput. Commun. Rev.	2005	DBLP DOI BibTeX RDF	elephants vs. mice, flow-abstraction, large flows, protocol use, reservations, Netflow, Zipf's law, time-scales
15	Sriraman Tallam, Rajiv Gupta 0001, Xiangyu Zhang 0001	Extended Whole Program Paths.	IEEE PACT	2005	DBLP DOI BibTeX RDF
15	Swee Ann Tan, William Lau, Allan W. K. Loh	Networked game mobility model for first-person-shooter games.	NETGAMES	2005	DBLP DOI BibTeX RDF	first-person-shooter games, quake 2, modelling, mobility, workload
15	Rajiv A. Ravindran, Pracheeti D. Nagarkar, Ganesh S. Dasika, Eric D. Marsman, Robert M. Senger, Scott A. Mahlke, Richard B. Brown	Compiler Managed Dynamic Instruction Placement in a Low-Power Code Cache.	CGO	2005	DBLP DOI BibTeX RDF
15	Pin Ren, Yan Gao 0003, Zhichun Li, Yan Chen 0004, Benjamin Watson 0001	IDGraphs: Intrusion Detection and Analysis Using Histographs.	VizSEC	2005	DBLP DOI BibTeX RDF	Brushing and Linking, Visualization, Intrusion Detection, Interactive System, Dynamic Query, Correlation Matrix
15	Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge, Lianjiang Fu	SEAT: A Usable Trace Analysis Tool.	IWPC	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	Evelyne Contejean, Pierre Corbineau	Reflecting Proofs in First-Order Logic with Equality.	CADE	2005	DBLP DOI BibTeX RDF
15	Ira Cohen, Steve Zhang, Moisés Goldszmidt, Julie Symons, Terence Kelly, Armando Fox	Capturing, indexing, clustering, and retrieving system history.	SOSP	2005	DBLP DOI BibTeX RDF	performance objectives, clustering, information retrieval, bayesian networks, signatures
15	Danièle Beauquier, Marie Duflot, Marius Minea	A Probabilistic Property-Specific Approach to Information Flow.	MMM-ACNS	2005	DBLP DOI BibTeX RDF
15	Yue Luo, Lizy Kurian John	Locality-Based Online Trace Compression.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
15	Hao Jiang, Constantinos Dovrolis	The Effect of Flow Capacities on the Burstiness of Aggregated Traffic.	PAM	2004	DBLP DOI BibTeX RDF
15	Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova	Using Fairness to Make Abstractions Work.	SPIN	2004	DBLP DOI BibTeX RDF
15	Stephen D. Brookes	Retracing the Semantics of CSP.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
15	Martin Burtscher	VPC3: a fast and effective trace-compression algorithm.	SIGMETRICS	2004	DBLP DOI BibTeX RDF	predictor-based compression, trace files, trace compression
15	Ying Chen, Dennis Abts, David J. Lilja	State Pruning for Test Vector Generation for a Multiprocessor Cache Coherence Protocol.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
15	Timur Friedman, Donald F. Towsley, James F. Kurose	Scalable End-to-End Multicast Tree Fault Isolation.	ICT	2004	DBLP DOI BibTeX RDF
15	Andy Rupp, Holger Dreger, Anja Feldmann, Robin Sommer	Packet trace manipulation rramework for test labs.	Internet Measurement Conference	2004	DBLP DOI BibTeX RDF	evaluation, network, measurement, network intrusion detection, trace generation
15	Mor Armony, Nicholas Bambos	Queueing Dynamics and Maximal Throughput Scheduling in Switched Processing Systems.	Queueing Syst. Theory Appl.	2003	DBLP DOI BibTeX RDF	switched processing systems, cone policies, adaptive batching policies, trace-based modeling, dynamic scheduling, throughput maximization
15	Paulo Salvador 0001, Rui T. Valadas, António Pacheco 0001	Multiscale Fitting Procedure Using Markov Modulated Poisson Processes.	Telecommun. Syst.	2003	DBLP DOI BibTeX RDF	self-similar, traffic modeling, long-range dependence, autocorrelation, MMPP
15	Øystein Haugen, Ketil Stølen	STAIRS - Steps to Analyze Interactions with Refinement Semantics.	UML	2003	DBLP DOI BibTeX RDF
15	Jorjeta G. Jetcheva, Yih-Chun Hu, Santashil PalChaudhuri, Amit Kumar Saha, David B. Johnson 0001	Design and Evaluation of a Metropolitan Area Multitier Wireless Ad Hoc Network Architecture.	WMCSA	2003	DBLP DOI BibTeX RDF
15	Maurício L. Pilla, Amarildo T. da Costa, Felipe M. G. França, Bruce R. Childers, Mary Lou Soffa	The Limits of Speculative Trace Reuse on Deeply Pipelined Processors.	SBAC-PAD	2003	DBLP DOI BibTeX RDF
15	Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, Mihalis Yannakakis	Compression of Partially Ordered Strings.	CONCUR	2003	DBLP DOI BibTeX RDF