Search results for "trace"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Stavros Tripakis	Two-Phase Distributed Observation Problems.	ACSD	2005	DBLP DOI BibTeX RDF
19	Nirman Kumar, Viraj Kumar, Mahesh Viswanathan 0001	On the Complexity of Error Explanation.	VMCAI	2005	DBLP DOI BibTeX RDF
19	HoonSang Jin, Kavita Ravi, Fabio Somenzi	Fate and free will in error traces.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Reachability game, Model checking, Counterexample
19	Hao Jiang, Constantinos Dovrolis	The Effect of Flow Capacities on the Burstiness of Aggregated Traffic.	PAM	2004	DBLP DOI BibTeX RDF
19	Luca de Alfaro, Marco Faella, Mariëlle Stoelinga	Linear and Branching Metrics for Quantitative Transition Systems.	ICALP	2004	DBLP DOI BibTeX RDF
19	Sanun Srisuk, Maria Petrou, Rerkchai Fooprateepsiri, Khamron Sunat, Werasak Kurutach, Pichet Chopaka	A Combination of Shape and Texture Classifiers for a Face Verification System.	ICBA	2004	DBLP DOI BibTeX RDF
19	Tristan Henderson, David Kotz, Ilya Abyzov	The changing usage of a mature campus-wide wireless network.	MobiCom	2004	DBLP DOI BibTeX RDF	wireless network, WLAN, VoIP, 802.11, Wi-Fi, voice, telephony
19	Hsien-Chou Liao, Yi-Wei Ting, Shih-Hsuan Yen, Chou Chen Yang	Ant Mobility Model Platform for Network Simulator.	ITCC (2)	2004	DBLP DOI BibTeX RDF	ant mobility model, Ad hoc routing
19	Tao Wang, Abhik Roychoudhury	Using Compressed Bytecode Traces for Slicing Java Programs.	ICSE	2004	DBLP DOI BibTeX RDF
19	Roni Rosner, Yoav Almog, Micha Moffie, Naftali Schwartz, Avi Mendelson	PARROT: Power Awareness Through Selective Dynamically Optimized Traces.	PACS	2003	DBLP DOI BibTeX RDF
19	Sylvain Girbal, Gilles Mouchard, Albert Cohen 0001, Olivier Temam	DiST: a simple, reliable and scalable method to significantly reduce processor architecture simulation time.	SIGMETRICS	2003	DBLP DOI BibTeX RDF	distributed simulation, processor architecture
19	Linda J. Moore, Angelica R. Moya	Non-Intrusive Debug Technique for Embedded Programming.	ISSRE	2003	DBLP DOI BibTeX RDF
19	Bernard Goossens	The Instruction Register File.	PaCT	2003	DBLP DOI BibTeX RDF
19	Alex Ramírez, Oliverio J. Santana, Josep Lluís Larriba-Pey, Mateo Valero	Fetching instruction streams.	MICRO	2002	DBLP DOI BibTeX RDF	Systems Application Architecture
19	Felix Freitag, Jordi Caubet, Jesús Labarta	On the Scalability of Tracing Mechanisms.	Euro-Par	2002	DBLP DOI BibTeX RDF
19	Volker Diekert, Anca Muscholl	Solvability of Equations in Free Partially Commutative Groups Is Decidable.	ICALP	2001	DBLP DOI BibTeX RDF
19	Francesco Ranzato	On the Completeness of Model Checking.	ESOP	2001	DBLP DOI BibTeX RDF
19	Robert Hood, Gregory Matthews	Efficient Tracing for On-the-Fly Space-Time Displays in a Debugger for Message Passing Programs.	CCGRID	2001	DBLP DOI BibTeX RDF
19	Cristóbal Pareja, Ricardo Pena, Fernando Rubio 0001, Clara Segura	Adding Traces to a Lazy Monadic Evaluator.	EUROCAST	2001	DBLP DOI BibTeX RDF
19	Elizabeth A. M. Shriver, Bruce Hillyer, Abraham Silberschatz	Performance Analysis of Storage Systems.	Performance Evaluation	2000	DBLP DOI BibTeX RDF
19	Norman Chang, Shen Lin, O. Sam Nakagawa, Weize Xie, Lei He 0001	Clocktree RLC Extraction with Efficient Inductance Modeling.	DATE	2000	DBLP DOI BibTeX RDF
19	Niki C. Thornock, J. Kelly Flanagan	Facilitating level three cache studies using set sampling.	WSC	2000	DBLP DOI BibTeX RDF
19	Raimondas Lencevicius, Alexander Ran, Rahav Yairi	Third eye - specification-based analysis of software execution traces (poster).	ICSE	2000	DBLP DOI BibTeX RDF
19	An-Chow Lai, Babak Falsafi	Selective, accurate, and timely self-invalidation using last-touch prediction.	ISCA	2000	DBLP DOI BibTeX RDF
19	Eric E. Johnson	PDATS II: improved compression of address traces.	IPCCC	1999	DBLP DOI BibTeX RDF
19	Steven D. Gribble, Gurmeet Singh Manku, Drew S. Roselli, Eric A. Brewer, Timothy J. Gibson, Ethan L. Miller	Self-Similarity in File Systems.	SIGMETRICS	1998	DBLP DOI BibTeX RDF
19	Klaus Pohl	PRO-ART: Enabling Requirements Pre-Traceability.	ICRE	1996	DBLP DOI BibTeX RDF
19	Michaela Huhn, Peter Niebert	Towards Automata for Branching Time and Partial Order.	CONCUR	1996	DBLP DOI BibTeX RDF
19	Yuguang Wu, Richard R. Muntz	Stack Evaluation of Arbitrary Set-Associative Multiprocessor Caches.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	coherence by invalidation, stack evaluation, simulation, Cache memory, set-associative
19	Serge Bauget, Paul Gastin	On Congruences and Partial Orders.	MFCS	1995	DBLP DOI BibTeX RDF
19	James C. Corbett, George S. Avrunin	Towards Scalable Compositional Analysis.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF
19	Mario A. Nascimento, Clênio F. Salviano, Murat M. Tanik	Using Logic Programming to Test Module Specifications in Early Stages of Software Development.	CAST	1994	DBLP DOI BibTeX RDF
19	Andrea Casotto, Alberto L. Sangiovanni-Vincentelli	Automated design management using traces.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
19	Rami G. Melhem, Saurabh Gupta	A software tool for the automatic generation of memory traces for shared memory multiprocessor systems.	Annual Simulation Symposium	1989	DBLP DOI BibTeX RDF	C
16	Zizhen Wang, Hanpin Wang, Naijun Zhan	Refinement of models of software components.	SAC	2010	DBLP DOI BibTeX RDF	CB-MDD, rCOS, trace refinement, data refinement
16	R. Stuart Geiger, David Ribes	The work of sustaining order in wikipedia: the banning of a vandal.	CSCW	2010	DBLP DOI BibTeX RDF	trace ethnography, collaboration, ethnography, wiki, wikipedia, social, distributed cognition, bots, qualitative
16	Nguyen Quang Uy, Nguyen Xuan Hoai, Michael O'Neill 0001, Bob McKay	Semantics based crossover for boolean problems.	GECCO	2010	DBLP DOI BibTeX RDF	boolean problems, genetic programming, crossover operators, trace semantics
16	Jidong Zhai, Wenguang Chen, Weimin Zheng	PHANTOM: predicting performance of parallel applications on large-scale parallel machines using a single node.	PPoPP	2010	DBLP DOI BibTeX RDF	performance prediction, trace-driven simulation, parallel application, deterministic replay
16	Wit Forys, Piotr Oprocha	Infinite Traces and Symbolic Dynamics.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Shift on traces, Entropy, Trace, Transitivity, Word, Dynamical language, Shift
16	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
16	Rachid El Abdouni Khayari, Adisa Musovic, Axel Lehmann 0001, Peter Fellinger	A workload based adaptive scheduling algorithm for web server.	SpringSim	2009	DBLP DOI BibTeX RDF	web workload, scheduling, web server, trace driven simulation, adaptive methods
16	Jinha Park, Sungjoo Yoo, Sunggu Lee, Chanik Park	Power Modeling of Solid State Disk for Dynamic Power Management Policy Design in Embedded Systems.	SEUS	2009	DBLP DOI BibTeX RDF	low power states, measurement, power consumption, dynamic power management, Solid state disk, trace-based simulation
16	R. Karthi, S. Arumugam, K. Rameshkumar	A novel discrete particle swarm clustering algorithm for data clustering.	Bangalore Compute Conf.	2009	DBLP DOI BibTeX RDF	TRace Within criterion, variance ratio criterion, particle swarm optimization, data clustering
16	Geoffrey Lefebvre, Brendan Cully, Michael J. Feeley, Norman C. Hutchinson, Andrew Warfield	Tralfamadore: unifying source code and execution experience.	EuroSys	2009	DBLP DOI BibTeX RDF	debugging, dynamic analysis, program understanding, trace analysis, querying execution
16	Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray	A semantics-based approach to malware detection.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	abstract interpretation, obfuscation, Malware detection, trace semantics
16	Shantanu Gattani, Thomas E. Daniels	Reference models for network data anonymization.	NDA	2008	DBLP DOI BibTeX RDF	trace sanitization, formal model
16	Cheikh Ba, Mírian Halfeld Ferrari	Dependence graphs for verifications of web service compositions with PEWS.	SAC	2008	DBLP DOI BibTeX RDF	web service composition, dependence graphs, trace theory
16	Emmanuel Beffara	An Algebraic Process Calculus.	LICS	2008	DBLP DOI BibTeX RDF	testing semantics, pi-calculus, full abstraction, trace semantics, normalisation
16	Guang Gong	Sequences, DFT and Resistance against Fast Algebraic Attacks.	SETA	2008	DBLP DOI BibTeX RDF	fast algebraic attack, bases, trace representations, stream ciphers, Discrete Fourier transform, polynomials, LFSR, m-sequences
16	Alexandru Iosup, Omer Ozan Sonmez, Shanny Anoep, Dick H. J. Epema	The performance of bags-of-tasks in large-scale distributed systems.	HPDC	2008	DBLP DOI BibTeX RDF	batches of jobs, multi-cluster systems, scheduling, performance evaluation, prediction, workload modeling, trace-based simulation, large-scale distributed systems, bags-of-tasks
16	Daoye Zhang, Dahai Cao, Lijie Wen, Jianmin Wang 0001	An Efficient Approach for Supporting Dynamic Evolutionary Change of Adaptive Workflow.	APWeb	2008	DBLP DOI BibTeX RDF	Dynamic migration, Dynamic Change Region, Reduced Trace Set, Adaptive Workflow
16	Runfang Zhou, Kai Hwang 0001	PowerTrust: A Robust and Scalable Reputation System for Trusted Peer-to-Peer Computing.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	eBay trace data set, distributed file sharing, P2P Grids, PSA benchmark, system scalability, distributed hash table, overlay network, Peer-to-Peer system, reputation system
16	Dan Tsafrir, Keren Ouaknine, Dror G. Feitelson	Reducing Performance Evaluation Sensitivity and Variability by Input Shaking.	MASCOTS	2007	DBLP DOI BibTeX RDF	Workload trace, Workload perturbations, Simulation, Performance evaluation, Variability, Sensitivity, Instability
16	Thomas Ludwig 0002, Stephan Krempel, Michael Kuhn 0003, Julian M. Kunkel, Christian Lohse	Analysis of the MPI-IO Optimization Levels with the PIOViz Jumpshot Enhancement.	PVM/MPI	2007	DBLP DOI BibTeX RDF	Trace-Based Tools, Parallel I/O, MPI-IO, Performance Visualization
16	Daniel A. Menascé, Vasudeva Akula	Improving the Performance of Online Auctions Through Server-side Activity-based Caching.	World Wide Web	2007	DBLP DOI BibTeX RDF	server-side caching, auction-specific caching, online auctions, trace-based simulations
16	Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray	A semantics-based approach to malware detection.	POPL	2007	DBLP DOI BibTeX RDF	abstract interpretation, obfuscation, malware detection, trace semantics
16	Xiaolan Zhang 0003, Jim Kurose, Brian Neil Levine, Donald F. Towsley, Honggang Zhang 0003	Study of a bus-based disruption-tolerant network: mobility modeling and impact on routing.	MobiCom	2007	DBLP DOI BibTeX RDF	mobility trace modeling, DTN, epidemic routing
16	Abdolreza Abhari, Adam Serbinski, Miso Gusic	Improving the performance of Apache web server.	SpringSim (1)	2007	DBLP BibTeX RDF	web page structure, web server, web caching, trace driven simulation, proxy cache
16	Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis	JThreadSpy: teaching multithreading programming by analyzing execution traces.	PADTAD	2007	DBLP DOI BibTeX RDF	execution trace analysis, runtime code instrumentation, education, object-oriented, concurrent programming, software visualization
16	Lei Pan 0001, Jingling Xue, Ming Kin Lai, Michael B. Dillencourt, Lubomir F. Bic	Toward Automatic Data Distribution for Migrating Computations.	ICPP	2007	DBLP DOI BibTeX RDF	navigational trace graph (NTG), navigational programming, graph partitioning, data distribution
16	Michael Lindahl	The Device Software Engineer's Best Friend.	Computer	2006	DBLP DOI BibTeX RDF	Hardware trace, Embedded systems, Debugging
16	Sidath B. Handurukande, Anne-Marie Kermarrec, Fabrice Le Fessant, Laurent Massoulié, Simon Patarin	Peer sharing behaviour in the eDonkey network, and implications for the design of server-less file sharing systems.	EuroSys	2006	DBLP DOI BibTeX RDF	simulation, peer-to-peer, trace, file sharing
16	Zehui Wang, Zhiguo Zhang	XTR + : A Provable Security Public Key Cryptosystem.	CIS	2006	DBLP DOI BibTeX RDF	Public key system, Trace function, IND-CCA2, Provable security, Blind signature, XTR
16	Roberto Maria Avanzi	The Complexity of Certain Multi-Exponentiation Techniques in Cryptography.	J. Cryptol.	2005	DBLP DOI BibTeX RDF	Integer recoding, Elliptic and hyperelliptic curves, Trace zero varieties, Groups with automorphisms, Scalar multiplication, Exponentiation, XTR
16	Erik Putrycz, C. Murray Woodside, Xiuping Wu	Performance Techniques for COTS Systems.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	performance models, COTS, trace analysis
16	Rong Xu, Zhiyuan Li 0001	A sample-based cache mapping scheme.	LCTES	2005	DBLP DOI BibTeX RDF	cache bypass, cache mapping, mini cache, trace sampling, profiling, handheld devices
16	Simon Goldsmith, Robert O'Callahan, Alexander Aiken	Relational queries over program traces.	OOPSLA	2005	DBLP DOI BibTeX RDF	PTQL, partiqle, program trace query language, relational
16	Abdesselem Kortebi, Luca Muscariello, Sara Oueslati, James W. Roberts	Evaluating the number of active flows in a scheduler realizing fair statistical bandwidth sharing.	SIGMETRICS	2005	DBLP DOI BibTeX RDF	analytical traffic model, statistical bandwidth sharing, trace simulations, fair queueing
16	Bernhard Peischl, Franz Wotawa	Error traces in model-based debugging of hardware description languages.	AADEBUG	2005	DBLP DOI BibTeX RDF	conditional dependency, error trace, potential influence, fault localization, automated debugging, software debugging, source-level debugging
16	Björn Scheuermann 0001, Holger Füßler, Matthias Transier, Marcel Busse, Martin Mauve, Wolfgang Effelsberg	Huginn: a 3D visualizer for wireless ns-2 traces.	MSWiM	2005	DBLP DOI BibTeX RDF	trace file analysis, visualization, ad hoc networks, wireless networks, network simulation, ns-2
16	Christophe Cérin, Michel Koskas	Mining Traces of Large Scale Systems.	ICA3PP	2005	DBLP DOI BibTeX RDF	global computing platforms, high performance and distributed databases, Parallel algorithms, resource management, data management, meta-data, trace analysis, data mining application
16	Robert L. Baber, David Lorge Parnas, Sergiy A. Vilkomir, Paul Harrison, Tony O'Connor	Disciplined Methods of Software Specification: A Case Study.	ITCC (2)	2005	DBLP DOI BibTeX RDF	tabular specifications, trace specifications, software, finite state machine, traces
16	Arnaud Stuber, Salima Hassas, Alain Mille	Language Games for Meaning Negotiation Between Human and Computer Agents.	ESAW	2005	DBLP DOI BibTeX RDF	Emergence of Language, Trace Based-Reasoning, Multi-Agent System
16	Naiyong Jin, Jifeng He 0001	Towards A Truly Concurrent Model for Processes Sharing Resources.	SEFM	2005	DBLP DOI BibTeX RDF	Trace Model, Resource Sharing, Semantic Model
16	Bernd Finkbeiner, Henny Sipma	Checking Finite Traces Using Alternating Automata.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	alternating automata, trace checking, temporal logic, runtime verification, online monitoring
16	Klaus Havelund, Grigore Rosu	An Overview of the Runtime Verification Tool Java PathExplorer.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
16	Olaf Lewitz	Story Management.	XP	2004	DBLP DOI BibTeX RDF	state management of stories, trace-ability, customer integration, project management, transparency, tool support, Story, project database
16	Mingwei Gong, Carey L. Williamson	Simulation Evaluation of Hybrid SRPT Scheduling Policies.	MASCOTS	2004	DBLP DOI BibTeX RDF	Scheduling, Performance Analysis, Trace-Driven Simulation, Web Server Performance
16	Stephen Somogyi, Thomas F. Wenisch, Nikolaos Hardavellas, Jangwoo Kim, Anastassia Ailamaki, Babak Falsafi	Memory coherence activity prediction in commercial workloads.	WMPI	2004	DBLP DOI BibTeX RDF	coherence misses, coherence prediction, sharing patterns, trace-based prediction, commercial workloads
16	Prasanna Thati, Carolyn L. Talcott, Gul Agha	Techniques for Executing and Reasoning about Specification Diagrams.	AMAST	2004	DBLP DOI BibTeX RDF	Graphical specification languages, may testing, trace equivalence, rewriting logic, calculus
16	Yves Caniou, Emmanuel Jeannot	Experimental Study of Multi-criteria Scheduling Heuristics for GridRPC Systems.	Euro-Par	2004	DBLP DOI BibTeX RDF	time-shared and heterogeneous resources, dynamic scheduling heuristics, historical trace manager, completion dates estimations, DAGs
16	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
16	Frank H. P. Fitzek, Leonardo Badia, Michele Zorzi, Gerrit Schulte, Patrick Seeling, Tristan Henderson	Mobility and stability evaluation in wireless multi-hop networks using multi-player games.	NETGAMES	2003	DBLP DOI BibTeX RDF	Quake II, multi-player, trace data, routing, ad hoc networks, mobility, stability, connectivity, capacity, multi-hop networks, IEEE 802.11a
16	Yves Caniou, Emmanuel Jeannot	New Dynamic Heuristics in the Client-Agent-Server Model.	IPDPS	2003	DBLP DOI BibTeX RDF	time-shared resources, dynamic scheduling heuristics, historical trace manager, MCT, perturbation
16	Marc Frappier, Régine Laleau	Proving Event Ordering Properties for Information Systems.	ZB	2003	DBLP DOI BibTeX RDF	E3, trace-based specifications, refinement, process algebra, B
16	Li Xiao 0001, Songqing Chen, Xiaodong Zhang 0001	Dynamic Cluster Resource Allocations for Jobs with Known and Unknown Memory Demands.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	memory-intensive workloads and trace-driven simulations, distributed systems, cluster computing, load sharing
16	Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde	On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	Knuth-Morris-Pratt string matching, data specialization, program specialization, trace semantics
16	Mariko Sakamoto, Larry Brisson, Akira Katsuno, Aiichiro Inoue, Yasunori Kimura	Reverse Tracer: A Software Tool for Generating Realistic Performance Test Programs.	HPCA	2002	DBLP DOI BibTeX RDF	Multi-user Interactive Workload, System Level Performance, Instruction Trace, Software Tool, Logic Simulator, Hardware Design, Performance Test
16	Josep Carmona 0001, Jordi Cortadella	Input/Output Compatibility of Reactive Systems.	FMCAD	2002	DBLP DOI BibTeX RDF	Input/Output compatibility, Synchronous product, Petri nets, Reactive systems, Conformation, Observational equivalence, Trace theory
16	Caroline Benveniste, Peter A. Franaszek, John T. Robinson	Cache-Memory Interfaces in Compressed Memory Systems.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	memory compression, performance analysis, trace-driven simulation, cache design, Memory system design
16	Donghee Lee 0001, Jongmoo Choi, Jong-Hun Kim, Sam H. Noh, Sang Lyul Min, Yookun Cho, Chong-Sang Kim	LRFU: A Spectrum of Policies that Subsumes the Least Recently Used and Least Frequently Used Policies.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	LFU, trace-driven simulation, replacement policy, LRU, Buffer cache
16	Thomas Kistler, Michael Franz	Continuous Program Optimization: Design and Evaluation.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	profiling, Dynamic compilation, memory optimization, continuous optimization, trace scheduling
16	Stéphan Jourdan, Lihu Rappoport, Yoav Almog, Mattan Erez, Adi Yoaz, Ronny Ronen	eXtended Block Cache.	HPCA	2000	DBLP DOI BibTeX RDF	fetch bandwidth, instruction cache, trace cache, Front-end
16	Li Xiao 0001, Xiaodong Zhang 0001, Yanxia Qu	Effective Load Sharing on Heterogeneous Networks of Workstations.	IPDPS	2000	DBLP DOI BibTeX RDF	load sharing networks of workstations, remote executions and trace-driven simulations, distributed computing, heterogeneous systems
16	Rajalakshmi Ramachandran, Venkat R. Bhethanabotla	Generalized Autoregressive Moving Average Modeling of the Bellcore Data.	LCN	2000	DBLP DOI BibTeX RDF	autoregressive moving average processes, generalized autoregressive moving average modeling, nonstationary time series, GARMA models, Bellcore Ethernet trace data, estimation method, ARIMA forecasts, partial autocorrelation function, ARIMA model, time series, local area networks, self-similarity, telecommunication traffic, confidence interval, correlation methods, time series forecasting, autocorrelation function, spectra
16	Kei-Chun Li, Kang Zhang 0001	Supporting Scalable Performance Monitoring and Analysis of Parallel Programs.	J. Supercomput.	1999	DBLP DOI BibTeX RDF	trace data organisation, performance monitoring, program instrumentation
16	Minoru Harada, Takahiro Mizuno	Executable C++ Program Generation from the Structured Object-Oriented Design Diagrams.	APSEC	1999	DBLP DOI BibTeX RDF	design diagram, C++ program generation, event-trace diagram, Object-oriented, decision table
16	Alex Ramírez, Josep Lluís Larriba-Pey, Carlos Navarro, Xavi Serrano, Mateo Valero, Josep Torrellas	Optimization of Instruction Fetch for Decision Support Workloads.	ICPP	1999	DBLP DOI BibTeX RDF	High performance fetch, databases, profiling, compiler optimization, trace cache
16	Alfredo Benso, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda	EXFI: a low-cost fault injection system for embedded microprocessor-based boards.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	microprocessor systems, software-implemented fault injection, trace exception mode, fault injection, fault coverage
16	Mor Harchol-Balter, Allen B. Downey	Exploiting Process Lifetime Distributions for Dynamic Load Balancing.	ACM Trans. Comput. Syst.	1997	DBLP DOI BibTeX RDF	load balancing, migration, network of workstations, trace-driven simulation, load sharing, workload modeling, Pareto distribution, remote execution, heavy-tailed