|
|
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 |
21 | Yabo Wang, David Lorge Parnas |
Simulating the Behaviour of Software Modules by Trace Rewriting. |
ICSE |
1993 |
DBLP BibTeX RDF |
formal specification method, module interface specification, module simulation, trace assertion method, software tool, finite state machine, term rewriting |
21 | Dominique Thiébaut, Joel L. Wolf, Harold S. Stone |
Synthetic Traces for Trace-Driven Simulation of Cache Memories. |
IEEE Trans. Computers |
1992 |
DBLP DOI BibTeX RDF |
synthetic address traces, infinite address-space, synthetic traces, random walk, digital simulation, cache memories, memory architecture, trace-driven simulation, buffer storage, content-addressable storage |
20 | Hoang Chi Thanh |
Semi-traces and Their Application in Concurrency Control Problem. |
ICCCI |
2009 |
DBLP DOI BibTeX RDF |
local independence, distributed system, concurrency control, trace |
20 | Leila Yahiaoui, Yannick Prié, Zizette Boufaïda 0001 |
The redocumentation process of computer mediated activity traces: a general framework. |
Hypertext |
2009 |
DBLP DOI BibTeX RDF |
activity trace, computer mediated activity, personalized document generation, redocumentation process, hypermedia, RST |
20 | Iain S. MacLeod |
Scenario-based requirements capture for human factors integration. |
Cogn. Technol. Work. |
2008 |
DBLP DOI BibTeX RDF |
HFI, Requirements, Scenarios, Cognitive, System, Trace, Functions |
20 | Praveen Kalla, Xiaobo Sharon Hu, Jörg Henkel |
A Flexible Framework for Communication Evaluation in SoC Design. |
Int. J. Parallel Program. |
2008 |
DBLP DOI BibTeX RDF |
Interconnect simulator, Network on chip, Trace based simulation, Multiprocessor simulator |
20 | Thomas Claveirole, Marcelo Dias de Amorim |
WiPal and WScout, two hands-on tools for wireless packet traces manipulation and visualization. |
WINTECH |
2008 |
DBLP DOI BibTeX RDF |
synchronization, wireless, ieee 802.11, trace, merging |
20 | Timothy Bourke, Arcot Sowmya |
Automatically transforming and relating Uppaal models of embedded systems. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
timed trace inclusion, model transformation, Uppaal |
20 | Avik Paul, Rajeev Kumar |
Precise dynamic slicing using execution-summary. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
program slicing, execution trace, dynamic slicing |
20 | Jin-Heung Lee, Tea-Hun Lim, Keon-Woo Kim, Sang-Uk Shin |
A New Fingerprinting Codes for Multimedia Contents. |
MMM (2) |
2007 |
DBLP DOI BibTeX RDF |
Watermarking for Fingerprinting Code, Trace, Copyrights Protection, Digital Fingerprinting |
20 | Fangzhe Chang, Jennifer Ren |
Validating system properties exhibited in execution traces. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
system testing automation, trace analysis |
20 | Andreas Ulrich, Alexandre Petrenko |
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study. |
ECMDA-FA |
2007 |
DBLP DOI BibTeX RDF |
reverse engineering, Model-driven development, experience report, trace analysis, system validation, telecommunication industry, model verification |
20 | Moshe Kress |
Policies for biodefense revisited: The prioritized vaccination process for smallpox. |
Ann. Oper. Res. |
2006 |
DBLP DOI BibTeX RDF |
Mass vaccination, Trace vaccination, Prioritized vaccination, Potentially traceable |
20 | Thomas Ludwig 0002, Stephan Krempel, Julian M. Kunkel, Frank Panse, Dulip Withanage |
Tracing the MPI-IO Calls' Disk Accesses. |
PVM/MPI |
2006 |
DBLP DOI BibTeX RDF |
Performance Analyzer, Trace-based Tools, PVFS2, Visualization, Parallel I/O |
20 | Bowei Du, Michael J. Demmer, Eric A. Brewer |
Analysis of WWW traffic in Cambodia and Ghana. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
Cambodia, Ghana, redundant transfers, classification, WWW, world wide web, performance analysis, caching, measurement, delay tolerant networking, HTTP, trace, proxy, dynamic content, developing regions, hypertext transfer protocol |
20 | Árpád Beszédes, Tamás Gergely, Tibor Gyimóthy |
Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms. |
SCAM |
2006 |
DBLP DOI BibTeX RDF |
dynamic slicing algorithms, Program slicing, execution trace, program dependences |
20 | Andreas Gal, Christian W. Probst, Michael Franz |
HotpathVM: an effective JIT compiler for resource-constrained devices. |
VEE |
2006 |
DBLP DOI BibTeX RDF |
embedded and resource-constrained systems, mixed-mode interpretive compiled systems, software trace scheduling, virtual machines, dynamic compilation, static single assignment form |
20 | Thorsten Staake, Frédéric Thiesse, Elgar Fleisch |
Extending the EPC network: the potential of RFID in anti-counterfeiting. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
track & trace, authentication, RFID, counterfeiting |
20 | Wenyu Qu, Di Wu, Keqiu Li, Hong Shen 0001 |
Dynamically Selecting Distribution Strategies for Web Documents According to Access Pattern. |
EUC |
2005 |
DBLP DOI BibTeX RDF |
Web caching and replication, cache replacement algorithm, trace data, autonomous system (AS), simulation, distribution strategy |
20 | Michael Nölle |
Distribution Distance Measures Applied to 3-D Object Recognition ? A Case Study. |
DAGM-Symposium |
2003 |
DBLP DOI BibTeX RDF |
2, Jenson-Shannon divergence, Fidelity type distance measures, view-based object recognition, invariant transformations, Coil-100 benchmark, Trace, Dissimilarity measures |
20 | Curtis E. Hrischuk, C. Murray Woodside |
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
software tracing, event labeling, web services, reverse engineering, debugging, distributed programming, graph grammar, trace analysis, causal order, logical clock |
20 | Jürgen Dingel |
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Assumption-commitment reasoning, Formal program development, Parallel programming, Program transformation, Refinement, Refinement calculus, Trace semantics, Systematic programming |
20 | Juergen Rilling, Hon Fung Li, Dhrubajyoti Goswami |
Predicate-Based Dynamic Slicing of Message Passing Programs. |
SCAM |
2002 |
DBLP DOI BibTeX RDF |
predicate slice, predicate trace, message passing, program comprehension, Program slicing |
20 | Seongan Lim, Seungjoo Kim, Ikkwon Yie, Jaemoon Kim |
Comments on a Signature Scheme Based on the Third Order LFSR Proposed at ACISP2001. |
INDOCRYPT |
2001 |
DBLP DOI BibTeX RDF |
Trace Projection, LFSR, digital signature scheme, XTR |
20 | Alberto Bertoni, Massimiliano Goldwurm, Massimo Santini 0001 |
Random Generation and Approximate Counting of Ambiguously Described Combinatorial Structures. |
STACS |
2000 |
DBLP DOI BibTeX RDF |
uniform random generation, auxiliary pushdown automata, rational trace languages, inherent ambiguity, context-free languages, approximate counting |
20 | Norbert Vicari, Stefan Köhler 0002, Joachim Charzinski |
The Dependence of Internet User Traffic Characteristics on Access Speed. |
LCN |
2000 |
DBLP DOI BibTeX RDF |
Internet user traffic characteristics, access speed, IP packet trace, ADSL field trial, generalized parametric Internet traffic model, Internet, telecommunication traffic, digital subscriber lines |
20 | Yiannakis Sazeides, Stamatis Vassiliadis, James E. Smith 0001 |
The Performance Potential of Data Dependence Speculation & Collapsing. |
MICRO |
1996 |
DBLP DOI BibTeX RDF |
address generation-load dependences, address prediction rate, base instruction level parallel machine, dependence collapsing, performance potential, true data dependences, parallel programming, trace-driven simulation, data dependence speculation, address prediction |
20 | Yew-Huey Liu, Paul Dantzig, Ching-Farn Eric Wu, Lionel M. Ni |
A distributed connection manager interface for web services on IBM SP systems. |
ICPADS |
1996 |
DBLP DOI BibTeX RDF |
distributed connection manager interface, IBM SP systems, computer databases, information retrieval architecture, Hypertext Markup Language, Common Gateway Interface, cliette processes, High-Performance Switch, Unified Trace Environment, web services, Internet, information retrieval, World Wide Web, digital libraries, distributed databases, hypermedia, HTML, data visualization, data visualisation, network interfaces, performance bottleneck |
20 | Srikanth Venkataraman, Ismed Hartanto, W. Kent Fuchs |
Dynamic diagnosis of sequential circuits based on stuck-at faults. |
VTS |
1996 |
DBLP DOI BibTeX RDF |
dynamic diagnosis, stuck-at fault simulation, cause-effect analysis, effect-cause analysis, error propagation back-trace, fault diagnosis, logic testing, sequential circuits, synchronous sequential circuit, matching algorithm |
20 | Stephen J. Walsh, John A. Board |
Pollution control caching. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
pollution control caching, high speed processors, bandwidth mismatch, standard DRAMS, on-chip caches, miss ratio statistics, expected clock cycles per instruction, main memory latencies, PCC+VB, discrete event simulation, memory architecture, trace driven simulation, cache storage, memory performance, ANOVA, DRAM chips |
20 | Thomas M. Conte, Kishore N. Menezes, Sumedh W. Sathaye |
A technique to determine power-efficient, high-performance superscalar processors. |
HICSS (1) |
1995 |
DBLP DOI BibTeX RDF |
high-performance superscalar processors, processor performance advances, thermal power dissipation, architectural power estimates, systematic techniques, user benchmarks, architectural component, real estate usage, superscalar execution units, architectural power measurement, near-optimal search, power-efficient superscalar processors, performance evaluation, parallel architectures, simulated annealing, simulated annealing, parallel machines, power consumption, trace-driven simulation |
20 | Andrew R. Pleszkun |
Techniques for compressing program address traces. |
MICRO |
1994 |
DBLP DOI BibTeX RDF |
compression, trace generation |
20 | David Alex Lamb |
Specification of Iterators. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
trace specifications, common form, iterator module, Alphard-style iterators, sequence iterator, iterator construct, procedural parameters, formal specification, data structures, algebraic specification, high level languages, partial specifications |
20 | Jing Duan, Gulan Zhang, Xiangwen Li, Yintao Zhang, Lei Li, Wei Liu, Shiyun Ran, Caijun Cao, Wenjie Tang, Fengchi Yang, Yiliang Luo |
Seismic Facies-Guided Trace-by-Trace High-Precision Strong and Weak Reflection Separation. |
IEEE Trans. Geosci. Remote. Sens. |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Xi Chen 0001, Anindya De, Chin Ho Lee, Rocco A. Servedio, Sandip Sinha |
Approximate Trace Reconstruction from a Single Trace. |
SODA |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Leilei Lin, Ying Di, Wenlong Chen, Yunuo Cao, Rui Zhu, Yuan Zhang |
TCTV: Trace Clustering Considering Intra- and Inter-cluster Similarity Based on Trace Variants. |
ICSOC (2) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Alessandro Gianola, Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Sarah Winkler |
Approximating Multi-perspective Trace Alignment Using Trace Encodings. |
BPM |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Victor Malyshkin, Vladislav Perepelkin, Artem Lyamin |
Trace Balancing Technique for Trace Playback in LuNA System. |
PaCT |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Long Sun, Bo Liu, Jin Liu, Minzheng Tian, Kunyang Wu |
Analysis about High-Speed Trace in PCB of Glass-Weave: The effect of the PCB of Glass-Weave on insertion loss, impedance and phase of high-speed trace. |
EITCE |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Yagmur Çakiroglu, Oguz Yayla, Emrah Sercan Yilmaz |
The number of irreducible polynomials over finite fields with vanishing trace and reciprocal trace. |
Des. Codes Cryptogr. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Xi Chen 0001, Anindya De, Chin Ho Lee, Rocco A. Servedio, Sandip Sinha |
Approximate Trace Reconstruction from a Single Trace. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
20 | S. P. Arseev, Leonid M. Mestetskiy |
Character Skeleton as a Pen Trace Model for Recognition from Reconstructed Trace. |
Autom. Remote. Control. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Christophe Genevey-Metat, Annelie Heuser, Benoît Gérard |
Trace-to-Trace Translation for SCA. |
CARDIS |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Nazim Uddin Sheikh, Zhigang Lu 0001, Hassan Asghar 0001, Mohamed Ali Kâafar |
Trace Recovery: Inferring Fine-grained Trace of Energy Data from Aggregates. |
SECRYPT |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Hongbae Jeong, Giorgio Bonmassar |
Numerical estimation of the B1 transmit field distortion in a copper EEG trace comparison with the thin-film based resistive trace "NeoNet". |
EMBC |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Niclas Finne, Joakim Eriksson, Thiemo Voigt, George Suciu, Mari-Anais Sachian, JeongGil Ko, Hossein Keipour |
Multi-Trace: Multi-level Data Trace Generation with the Cooja Simulator. |
DCOSS |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Deeksha Dangwal, Weilong Cui, Joseph McMahan, Timothy Sherwood |
Trace Wringing for Program Trace Privacy. |
IEEE Micro |
2020 |
DBLP DOI BibTeX RDF |
|
20 | John Saint, Alexander Whitelock-Wainwright, Dragan Gasevic, Abelardo Pardo |
Trace-SRL: A Framework for Analysis of Microlevel Processes of Self-Regulated Learning From Trace Data. |
IEEE Trans. Learn. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Yagmur Çakiroglu, Oguz Yayla, Emrah Sercan Yilmaz |
The number of irreducible polynomials over finite fields with vanishing trace and reciprocal trace. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Assen Bojilov, Lyubomir Borissov, Yuri L. Borissov |
Computing the number of finite field elements with prescribed absolute trace and co-trace. |
Cryptogr. Commun. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Kazutaka Ogihara |
Generating Block IO Trace Data from a Cloud Site Using Packet Capture and Analyzing the IO Trace Data. |
CANDAR Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Norbert Lang, Uwe Macherius, Henrik Zimmermann, Sven Glitsch, Mathias Wiese, Jürgen Röpcke, Jean-Pierre H. van Helden |
RES-Q-Trace: A Mobile CEAS-Based Demonstrator for Multi-Component Trace Gas Detection in the MIR. |
Sensors |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Wenjie Zheng 0001 |
A distributed Frank-Wolfe framework for trace norm minimization via the bulk synchronous parallel model. (Une structure Frank-Wolfe distribuée pour la minimisation des normes de trace via le modèle parallèle synchrone en bloc). |
|
2018 |
RDF |
|
20 | Zhihui Li 0001, Feiping Nie 0001, Xiaojun Chang, Yi Yang 0001 |
Beyond Trace Ratio: Weighted Harmonic Mean of Trace Ratios for Multiclass Discriminant Analysis. |
IEEE Trans. Knowl. Data Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Kazuma Kusu, Izuru Kume, Kenji Hatano |
A Trace Partitioning Approach for Memory Efficiency on a Trace Analysis Environment. |
ACIT/CSII/BCD |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Ruediger Gad |
Improving Packet Capture Trace Import in Trace Compass with a Data Transformation DSL. |
COMPSAC (2) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Pan Wang, WenAn Tan, Anqiong Tang, Kai Hu 0004 |
A Novel Trace Clustering Technique Based on Constrained Trace Alignment. |
HCC |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Zhouyuan Huo, Feiping Nie 0001, Heng Huang |
Robust and Effective Metric Learning Using Capped Trace Norm: Metric Learning via Capped Trace Norm. |
KDD |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Tzu-Chieh Tsai, Ho-Hsiang Chan |
NCCU Trace: social-network-aware mobility trace. |
IEEE Commun. Mag. |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Álvaro Jiménez, Juan M. Vara, Verónica Andrea Bollati, Esperanza Marcos |
MeTAGeM-Trace: Improving trace generation in model transformation by leveraging the role of transformation models. |
Sci. Comput. Program. |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Christian Häubl, Christian Wimmer, Hanspeter Mössenböck |
Trace transitioning and exception handling in a trace-based JIT compiler for java. |
ACM Trans. Archit. Code Optim. |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Jingwen Zhou, Zhenbang Chen, Ji Wang 0001, Zibin Zheng, Michael R. Lyu |
Trace Bench: An Open Data Set for Trace-Oriented Monitoring. |
CloudCom |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Raafat Zarka, Pierre-Antoine Champin, Amélie Cordier, Elöd Egyed-Zsigmond, Luc Lamontagne, Alain Mille |
TStore: A Trace-Base Management System - Using Finite-state Transducer Approach for Trace Transformation. |
MODELSWARD |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Mateusz Wieloch, Sorawit Amornborvornwong, Jane Cleland-Huang |
Trace-by-classification: A machine learning approach to generate trace links for frequently occurring software artifacts. |
TEFSE@ICSE |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Maike Massierer |
Trace Zero Varieties in Cryptography: Optimal Representation and Index Calculus. (Variétés de trace zero en cryptographie : représentation efficace et calcul d'indices). |
|
2013 |
RDF |
|
20 | Pablo Martinez Lerin, Daisuke Yamamoto, Naohisa Takahashi |
Making a Pictorial and Verbal Travel Trace from a GPS Trace. |
W2GIS |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Kai-Uwe Irrgang, Rainer G. Spallek |
Comparison of Trace-Port-Designs for On-Chip-Instruction-Trace. |
IEEE GSC |
2012 |
DBLP BibTeX RDF |
|
20 | Chun-Hung Lai, Fu-Ching Yang, Ing-Jer Huang |
A Trace-Capable Instruction Cache for Cost-Efficient Real-Time Program Trace Compression in SoC. |
IEEE Trans. Computers |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Edouard Grave, Guillaume Obozinski, Francis R. Bach |
Trace Lasso: a trace norm regularization for correlated designs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
20 | Dominic Eschweiler, Michael Wagner 0003, Markus Geimer, Andreas Knüpfer, Wolfgang E. Nagel, Felix Wolf 0001 |
Open Trace Format 2: The Next Generation of Scalable Trace Formats and Support Libraries. |
PARCO |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Edouard Grave, Guillaume Obozinski, Francis R. Bach |
Trace Lasso: a trace norm regularization for correlated designs. |
NIPS |
2011 |
DBLP BibTeX RDF |
|
20 | Wei-Keat Kong, Jane Huffman Hayes, Alex Dekhtyar, Jeff Holden |
How do we trace requirements: an initial study of analyst behavior in trace validation tasks. |
CHASE |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Boxun Zhang, Alexandru Iosup, Johan Pouwelse, Dick H. J. Epema |
The peer-to-peer trace archive: design and comparative trace analysis. |
StudentWorkshop@CoNEXT |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Yongyuth Permpoontanalarp |
On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Guy Cochrane, Ruth Akhtar, Philippe Aldebert, Nicola Althorpe, Alastair Baldwin, Kirsty Bates, Sumit Bhattacharyya, James K. Bonfield, Lawrence Bower, Paul Browne, Matias Castro, Tony Cox 0001, Fehmi Demiralp, Ruth Y. Eberhardt, Nadeem Faruque, Gemma Hoad, Mikyung Jang, Tamara Kulikova, Alberto Labarga, Rasko Leinonen, Steven Leonard, Quan Lin, Rodrigo Lopez, Dariusz Lorenc, Hamish McWilliam, Gaurab Mukherjee, Francesco Nardone, Sheila Plaister, Stephen Robinson, Siamak Sobhany, Robert Vaughan 0001, Dan Wu, Weimin Zhu, Rolf Apweiler, Tim J. P. Hubbard, Ewan Birney |
Priorities for nucleotide trace, sequence and annotation data capture at the Ensembl Trace Archive and the EMBL Nucleotide Sequence Database. |
Nucleic Acids Res. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Michael P. Mesnier, Matthew Wachs, Raja R. Sambasivan, Julio César López-Hernández, James Hendricks, Gregory R. Ganger, David R. O'Hallaron |
//TRACE: Parallel Trace Replay with Approximate Causal Events. |
FAST |
2007 |
DBLP BibTeX RDF |
|
20 | Kai-Feng Wang, Zhenzhou Ji, Ming-Zeng Hu |
Simultaneous multithreading trace processors: Improving trace processors performance. |
Microprocess. Microsystems |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Kai-Feng Wang, Zhenzhou Ji, Mingzeng Hu |
Path-based next N trace prefetch in trace processors. |
Microprocess. Microsystems |
2005 |
DBLP DOI BibTeX RDF |
|
20 | R. Asbury, M. Wrinn |
MPI tuning with Intel© Trace Analyzer and Intel Trace Collector. |
CLUSTER |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Xiao Jun Chen, Rocco De Nicola |
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Vincent Schmitt |
Stable Trace Automata vs. Full Trace Automata. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Roberto Giorgi, Cosimo Antonio Prete, Gianpaolo Prina, Luigi M. Ricciardi |
Trace Factory: generating workloads for trace-driven simulation of shared-bus multiprocessors. |
IEEE Concurrency |
1997 |
DBLP DOI BibTeX RDF |
|
20 | J. Kelly Flanagan, Brent E. Nelson, James K. Archibald, Gregory D. Thompson |
The Inaccuracy of Trace-Driven Simulation Using Incomplete Mulitprogramming Trace Data. |
MASCOTS |
1996 |
DBLP DOI BibTeX RDF |
|
20 | J. Kelly Flanagan, Brent E. Nelson, James K. Archibald, Knuth Stener Grimsrud |
Incomplete Trace Data and Trace Driven Simulation. |
MASCOTS |
1993 |
DBLP BibTeX RDF |
|
20 | Robert H. B. Netzer |
Trace Size vs. Parallelism in Trace-and-Replay Debugging of Shared-Memory Programs. |
LCPC |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Allen D. Malony, David H. Hammerslag, David Jablonowski |
Trace View: A Trace Visualization Tool. |
ACPC |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Alberto Bertoni, Massimiliano Goldwurm |
On the Prefixes of a Random Trace and the Membership Problem for Context-Free Trace Languages. |
AAECC |
1987 |
DBLP DOI BibTeX RDF |
|
20 | Richard P. Stanley |
The Conjugate Trace and Trace of a Plane Partition. |
J. Comb. Theory, Ser. A |
1973 |
DBLP DOI BibTeX RDF |
|
19 | Andrew B. Kahng, Bill Lin 0001, Kambiz Samadi, Rohit Sunkam Ramanujam |
Trace-driven optimization of networks-on-chip configurations. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
networks-on-chip, virtual channel, greedy heuristics |
19 | Fredrik Seehusen, Bjørnar Solhaug, Ketil Stølen |
Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies. |
Softw. Syst. Model. |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Borys J. Bradel, Tarek S. Abdelrahman |
The use of hardware transactional memory for the trace-based parallelization of recursive Java programs. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
Java, parallelism, transactional memory, traces |
19 | Sumit Nain, Moshe Y. Vardi |
Trace Semantics is Fully Abstract. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Gabriel Matni, Michel R. Dagenais |
Automata-based approach for kernel trace analysis. |
CCECE |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Kathryn M. Mohror, Karen L. Karavanic |
Evaluating similarity-based trace reduction techniques for scalable performance analysis. |
SC |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Laurent Mazaré, Bogdan Warinschi |
Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Antonio Fasano 0001, Sergio Barbarossa |
Trace-Orthogonal Space-Time Coding. |
IEEE Trans. Signal Process. |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Ho Fai Ko, Nicola Nicolici |
Automated Trace Signals Identification and State Restoration for Improving Observability in Post-Silicon Validation. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Dimitrios Vardoulakis, Mitchell Wand |
A Compositional Trace Semantics for Orc. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
19 | 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 |
|
19 | Sean Safarpour, Andreas G. Veneris, Hratch Mangassarian |
Trace Compaction using SAT-based Reachability Analysis. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 8220 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|