|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5340 occurrences of 2663 keywords
|
|
|
Results
Found 8231 publication records. Showing 8220 according to the selection in the facets
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 |
Displaying result #601 - #700 of 8220 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|