The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Traces with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1960-1979 (18) 1980-1984 (18) 1985-1986 (15) 1987 (15) 1988 (19) 1989 (28) 1990 (42) 1991 (22) 1992 (28) 1993 (29) 1994 (41) 1995 (53) 1996 (56) 1997 (64) 1998 (54) 1999 (93) 2000 (107) 2001 (138) 2002 (186) 2003 (201) 2004 (282) 2005 (361) 2006 (441) 2007 (499) 2008 (567) 2009 (414) 2010 (179) 2011 (128) 2012 (142) 2013 (153) 2014 (162) 2015 (185) 2016 (181) 2017 (171) 2018 (166) 2019 (160) 2020 (188) 2021 (153) 2022 (166) 2023 (160) 2024 (44)
Publication types (Num. hits)
article(1566) book(5) data(10) incollection(42) inproceedings(4425) phdthesis(81)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4581 occurrences of 2340 keywords

Results
Found 6129 publication records. Showing 6129 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
67Andriy V. Miranskyy, Nazim H. Madhavji, Mechelle Gittens, Matthew Davison 0001, Mark Wilding, David Godwin An iterative, multi-level, and scalable approach to comparing execution traces. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF dynamic information flow analysis, traces comparison, software testing, code coverage, execution traces
66Vijay S. Iyengar, Louise Trevillyan, Pradip Bose Representative Traces for Processor Models with Infinite Cache. Search on Bibsonomy HPCA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF dynamic traces, performance evaluation, timer, processor design
66Purushotham Kamath, Kun-Chan Lan, John S. Heidemann, Joseph A. Bannister, Joseph D. Touch Generation of High Bandwidth Network Traffic Traces. Search on Bibsonomy MASCOTS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
57Mark A. Holliday, Carla Schlatter Ellis Accuracy of Memory Reference Traces of Parallel Computations in Trace-Driven Simulation. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF load sequences, memory reference traces, trace-drive simulation, global trace, shared memory multiprocessingenvironment, address change points, address affecting points, process traces, intrinsic trace, address flow graph, store sequences, partial program reexecution, graph-traceable, parallel program, parallel programming, parallel computations, memory management, storage management, memory architecture, path expressions
56SeungGwan Lee, SeokMi Hong Efficient Ant Reinforcement Learning Using Replacing Eligibility Traces. Search on Bibsonomy ICAISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
56Marta Z. Kwiatkowska On the Domain of Traces and Sequential Composition. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
55Paul Gastin, Antoine Petit 0001 Infinite Traces. Search on Bibsonomy The Book of Traces The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
55Wojciech Penczek, Ruurd Kuiper 0001 Traces and Logic. Search on Bibsonomy The Book of Traces The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Paul Gastin, Madhavan Mukund An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces. Search on Bibsonomy ICALP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF concurrency, Temporal logics, Mazurkiewicz traces
50Michael Behar, Avi Mendelson, Avinoam Kolodny Trace cache sampling filter. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF cache utilization, sampling filter, power dissipation, Trace cache
50Roni Rosner, Avi Mendelson, Ronny Ronen Filtering Techniques to Improve Trace-Cache Efficiency. Search on Bibsonomy IEEE PACT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
46Carl Gutwin, Reagan Penner Improving interpretation of remote gestures with telepointer traces. Search on Bibsonomy CSCW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF consequential communication, groupware usability, telepointer traces, gesture, jitter, network delay
46Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney Aligning traces for performance evaluation. Search on Bibsonomy IPDPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
46Kim M. Hazelwood, Michael D. Smith 0001 Generational Cache Management of Code Traces in Dynamic Optimization Systems. Search on Bibsonomy MICRO The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
45Itnuit Janovitz-Freireich, Lajos Rónyai, Ágnes Szántó Approximate Radical for Clusters: A Global Approach Using Gaussian Elimination or SVD. Search on Bibsonomy Math. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Radical ideal, matrix of traces, clusters, symbolic-numeric computation
45Chao Liu 0001, Jiawei Han 0001 Failure proximity: a fault localization-based approach. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF failure proximity, debugging aids, statistical debugging
44Christian Choffrut Combinatorics in Trace Monoids I. Search on Bibsonomy The Book of Traces The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
44Edward Ochmanski Recognizable Trace Languages. Search on Bibsonomy The Book of Traces The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
44Hendrik Jan Hoogeboom, Grzegorz Rozenberg Dependence Graphs. Search on Bibsonomy The Book of Traces The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
44Gérard Duchamp, Daniel Krob Combinatorics in Trace Monoids II. Search on Bibsonomy The Book of Traces The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
44Mireille Clerbout, Michel Latteux, Yves Roos Semi-Commutations. Search on Bibsonomy The Book of Traces The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
44Volker Diekert, Anca Muscholl Construction of Asynchronous Automata. Search on Bibsonomy The Book of Traces The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
44Wieslaw Zielonka Asynchronous Automata. Search on Bibsonomy The Book of Traces The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
44Mogens Nielsen, Glynn Winskel Trace Structures and other Models for Concurrency. Search on Bibsonomy The Book of Traces The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
44Alberto Bertoni, Massimiliano Goldwurm, Giancarlo Mauri, Nicoletta Sabadini Counting Techniques for Inclusion, Equivalence and Membership Problems. Search on Bibsonomy The Book of Traces The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
44Antoni W. Mazurkiewicz Introduction to Trace Theory. Search on Bibsonomy The Book of Traces The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
42Dominique Thiébaut, Joel L. Wolf, Harold S. Stone Synthetic Traces for Trace-Driven Simulation of Cache Memories. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
41Alexandre Genon, Thierry Massart, Cédric Meuter Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF testing of asynchronous distributed systems, global properties, model checking of traces, monitor
41Mike McGavin, Tim Wright, Stuart Marshall Visualisations of execution traces (VET): an interactive plugin-based visualisation tool. Search on Bibsonomy AUIC The full citation details ... 2006 DBLP  BibTeX  RDF execution traces, software visualisation
41Volker Diekert, Paul Gastin Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces. Search on Bibsonomy LATIN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF concurrency, Temporal logics, Mazurkiewicz traces
41Paul Gastin, Madhavan Mukund, K. Narayan Kumar Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces. Search on Bibsonomy MFCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF concurrency, Temporal logics, Mazurkiewicz traces
41Bharat Adsul, Milind A. Sohoni Complete and Tractable Local Linear Time Temporal Logics over Traces. Search on Bibsonomy ICALP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Concurrency, Temporal Logics, Limits, Mazurkiewicz Traces
41David S. Wooding Fixation maps: quantifying eye-movement traces. Search on Bibsonomy ETRA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF fixation map, analysis, similarity, traces, Eye-movements
41Andrew Sutherland, Kevin A. Schneider UI traces: Supporting the maintenance of interactive software. Search on Bibsonomy ICSM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
41Aaron Schulman, Dave Levin, Neil Spring On the Fidelity of 802.11 Packet Traces. Search on Bibsonomy PAM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Jack Whitham, Neil C. Audsley Forming Virtual Traces for WCET Analysis and Reduction. Search on Bibsonomy RTCSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Andriy V. Miranskyy, Nazim H. Madhavji, Mechelle Gittens, Matthew Davison 0001, Mark Wilding, David Godwin, Colin A. Taylor SIFT: a scalable iterative-unfolding technique for filtering execution traces. Search on Bibsonomy CASCON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Milena Milenkovic, Aleksandar Milenkovic, Martin Burtscher Algorithms and Hardware Structures for Unobtrusive Real-Time Compression of Instruction and Data Address Traces. Search on Bibsonomy DCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Martin Burtscher, Metha Jeeradit Compressing Extended Program Traces Using Value Predictors. Search on Bibsonomy IEEE PACT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic Error-free garbage collection traces: how to cheat and not get caught. Search on Bibsonomy SIGMETRICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
41Atsuko Miyaji, Masaki Nakabayashi, Shunzo Takano Characterization of Elliptic Curve Traces under FR-Reduction. Search on Bibsonomy ICISC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF FR-reduction, trace, elliptic curve cryptosystems, number theory
41Guillaume Pothier, Éric Tanter, José M. Piquer Scalable omniscient debugging. Search on Bibsonomy OOPSLA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF interface components, omniscient debugging, partial traces, specialized distributed database, scalability, execution traces
41P. Bosch, A. Carloganu, Daniel Etiemble Complete x86 instruction trace generation from hardware bus collect. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF complete x86 instruction trace generation, hardware bus collect, architectural improvements, benchmark traces, hardware/software approach, x86 execution traces, commercial analyzer, computer architecture, microprocessors, memory hierarchies, trace driven simulation, performance data
40Jungheum Park, Bora Park, Sangjin Lee 0002, Seokhie Hong, Jong Hyuk Park Extraction of Residual Information in the Microsoft PowerPoint file from the Viewpoint of Digital Forensics considering PerCom Environment. Search on Bibsonomy PerCom The full citation details ... 2008 DBLP  DOI  BibTeX  RDF MS PowerPoint, Residual Information
40Matt T. Yourst, Kanad Ghose Incremental Commit Groups for Non-Atomic Trace Processing. Search on Bibsonomy MICRO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF trace prediction, VLIW, commitment, binary translation
40Youtao Zhang, Rajiv Gupta 0001 Timestamped Whole Program Path Representation and its Applications. Search on Bibsonomy PLDI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
36Wolter Pieters Combatting Electoral Traces: The Dutch Tempest Discussion and Beyond. Search on Bibsonomy VoteID The full citation details ... 2009 DBLP  DOI  BibTeX  RDF electoral traces, risk classification, electronic voting, actor-network theory, tempest
36Xenia Mountrouidou On the traffic modeling of burst aggregation algorithms using video and data traces. Search on Bibsonomy Telecommun. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Burst aggregation algorithms, IPP, Internet traces, Statistical convolution
36Jonathan Weinberg, Allan Snavely Accurate memory signatures and synthetic address traces for HPC applications. Search on Bibsonomy ICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF synthetic memory traces, caches, locality, hpc
36Jan Drugowitsch, Alwyn Barry XCS with eligibility traces. Search on Bibsonomy GECCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF eligibility traces, XCS, q-learning, LCS, temporal-difference learning
36Volker Diekert, Paul Gastin An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces. Search on Bibsonomy CSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF concurrency, Temporal logics, Mazurkiewicz traces
36Lili Cao, John Krumm From GPS traces to a routable road map. Search on Bibsonomy GIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF road map, GPS
36Graham D. Price, Manish Vachharajani A Case for Compressing Traces with BDDs. Search on Bibsonomy IEEE Comput. Archit. Lett. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic Generating object lifetime traces with Merlin. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF object lifetime analysis, trace design, Garbage collection, trace generation
36Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah Test Case Minimization for Real-Time Systems Using Timed Bound Traces. Search on Bibsonomy TestCom The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Anjo Anjewierden, Lilia Efimova Understanding Weblog Communities Through Digital Traces: A Framework, a Tool and an Example. Search on Bibsonomy OTM Workshops (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Peter Vamplew 0001, Robert Ollington, Mark Hepburn Enhanced Temporal Difference Learning Using Compiled Eligibility Traces. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Jeanna Neefe Matthews Hands-on approach to teaching computer networking using packet traces. Search on Bibsonomy SIGITE Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF network protocol analysis
36Borys J. Bradel, Tarek S. Abdelrahman The Use of Traces for Inlining in Java Programs. Search on Bibsonomy LCPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Maurício L. Pilla, Philippe Olivier Alexandre Navaux, Bruce R. Childers, Amarildo T. da Costa, Felipe Maia Galvão França Value Predictors for Reuse through Speculation on Traces. Search on Bibsonomy SBAC-PAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Anders Brun, Hae-Jeong Park, Hans Knutsson, Carl-Fredrik Westin Coloring of DT-MRI Fiber Traces Using Laplacian Eigenmaps. Search on Bibsonomy EUROCAST The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Madeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer Reducing irrelevant trace variations. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF trace simplification, trace analysis, execution traces
35Scott F. Kaplan, Yannis Smaragdakis, Paul R. Wilson 0001 Flexible reference trace reduction for VM simulations. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF reference traces, locality, cache hierarchies, trace reduction, trace compression
35Volker Diekert, Paul Gastin Local Temporal Logic is Expressively Complete for Cograph Dependence Alphabets. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF concurrency, Temporal logics, Mazurkiewicz traces
35Masami Hagiya, Tomoki Shiratori Programming by Example in Computing-as-Editing Paradigm. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF computing-as-editing paradigm, computation traces, 2D constraint language, iteration constraint, fixed increments, conditional expressions inference, iterative methods, visual programming, rules, inference mechanisms, constraint handling, programming by example, interactive environment, text editing, learning by example, interactive programming
35Antoni W. Mazurkiewicz Basic notions of trace theory. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Petri nets, concurrency, processes, traces, partial ordering
35Ankur Kamthe, Miguel Á. Carreira-Perpiñán, Alberto Cerpa M&M: multi-level Markov model for wireless link simulations. Search on Bibsonomy SenSys The full citation details ... 2009 DBLP  DOI  BibTeX  RDF 802.15.4 low power wireless networks, mixture of multivariate Bernoulli, simulation, hidden Markov models, wireless channel model
35Madeline Diep, Sebastian G. Elbaum, Matthew Dwyer 0001 Trace Normalization. Search on Bibsonomy ISSRE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Apoorva Jindal, Konstantinos Psounis Modeling spatially correlated data in sensor networks. Search on Bibsonomy ACM Trans. Sens. Networks The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35SeungGwan Lee A Cooperation Online Reinforcement Learning Approach in Ant-Q. Search on Bibsonomy ICONIP (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus Debugging temporal specifications with concept analysis. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF specification debuggers, hierarchical clustering, concept analysis, temporal specifications
35Almudena Konrad, Ben Y. Zhao, Anthony D. Joseph, Reiner Ludwig A Markov-based channel model algorithm for wireless networks. Search on Bibsonomy MSWiM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Wit Forys, Piotr Oprocha Infinite Traces and Symbolic Dynamics. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Shift on traces, Entropy, Trace, Transitivity, Word, Dynamical language, Shift
31Andrea Vaccari, Francesco Calabrese, Bing Liu 0001, Carlo Ratti Towards the SocioScope: an information system for the study of social dynamics through digital traces. Search on Bibsonomy GIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF digital traces, social dynamics
31Stephen D. Cohen Finite Field Elements with Specified Order and Traces. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF specified traces, finite field, primitive element, character sums
31Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko An Automata-Based Approach to Property Testing in Event Traces. Search on Bibsonomy TestCom The full citation details ... 2003 DBLP  DOI  BibTeX  RDF distributed traces, monitoring, SDL, passive testing, property checking
31A. Pavlov, Jean-Luc Béchennec, Daniel Etiemble Performance evaluation of the memory hierarchy of a desktop PC using commodity chips with specific traces. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF memory hierarchy simulation, desktop PC, commodity chips, PC microcomputers, synthetic bus traces, dynamically scheduled superscalar microprocessor, performance evaluation, memory architecture
31Jaap van Oosten Topological Aspects of Traces. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1996 DBLP  DOI  BibTeX  RDF independence relations, topology, traces, bisimulation, Partial order, event structures
31Jian-Guang Lou, Qiang Fu, Shengqi Yang, Jiang Li 0008, Bin Wu 0001 Mining program workflow from interleaved traces. Search on Bibsonomy KDD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF graphical behavior models, temporal properties, workflow mining
31Tomohiro Amemiya Visualizing Thermal Traces to Reveal Histories of Human-Object Interactions. Search on Bibsonomy HCI (6) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF thermal trace, surrogate memory, lifelog
31Hoang Chi Thanh Semi-traces and Their Application in Concurrency Control Problem. Search on Bibsonomy ICCCI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF local independence, distributed system, concurrency control, trace
31Bart Jacobs 0001, Ana Sokolova Traces, Executions and Schedulers, Coalgebraically. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Brenton D. Walker Using persistent homology to recover spatial information from encounter traces. Search on Bibsonomy MobiHoc The full citation details ... 2008 DBLP  DOI  BibTeX  RDF encounter trace, delay-tolerant network, persistent homology
31Thomas Claveirole, Marcelo Dias de Amorim WiPal and WScout, two hands-on tools for wireless packet traces manipulation and visualization. Search on Bibsonomy WINTECH The full citation details ... 2008 DBLP  DOI  BibTeX  RDF synchronization, wireless, ieee 802.11, trace, merging
31David Lo 0001, Siau-Cheng Khoo, Chao Liu 0001 Mining past-time temporal rules from execution traces. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF past-time temporal rules, data mining, dynamic analysis, specification mining
31Swaroop Kavalanekar, Bruce L. Worthington, Qi Zhang 0012, Vishal Sharda Characterization of storage workload traces from production Windows Servers. Search on Bibsonomy IISWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Colin D. Walter Recovering Secret Keys from Weak Side Channel Traces of Differing Lengths. Search on Bibsonomy CHES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Hidden Markov Models, simple power analysis, SPA, Viterbi Algorithm, Forward-Backward Algorithm, Side channel leakage
31Volker Diekert, Manfred Kufleitner On First-Order Fragments for Words and Mazurkiewicz Traces. Search on Bibsonomy Developments in Language Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Chia-Chih Yen, Jing-Yang Jou An Optimum Algorithm for Compacting Error Traces for Efficient Design Error Debugging. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF simulation, Verification, diagnosis, satisfiability, error checking
31Xiaoxin Shao, Qianli Zhang, Tao He, Shijin Kong, Changqing An, Xing Li 0001 SANTT: Sharing Anonymized Network Traffic Traces among Researchers. Search on Bibsonomy NOMS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Dimitris Koukis, Spyros Antonatos, Kostas G. Anagnostakis On the Privacy Risks of Publishing Anonymized IP Network Traces. Search on Bibsonomy Communications and Multimedia Security The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Marcia Zangrilli, Bruce Lowekamp Applying Principles of Active Available Bandwidth Algorithms to Passive TCP Traces. Search on Bibsonomy PAM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge Measuring Various Properties of Execution Traces to Help Build Better Trace Analysis Tools. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Thomas Ball, Mayur Naik, Sriram K. Rajamani From symptom to cause: localizing errors in counterexample traces. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF debugging, software model checking
31Abdelwahab Hamou-Lhadj, Timothy Lethbridge Compression Techniques to Simplify the Analysis of Large Execution Traces. Search on Bibsonomy IWPC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy A General Categorical Connection between Local Event Structures and Local Traces. Search on Bibsonomy FCT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31Raphaël Meyer, Antoine Petit 0001 Expressive Completeness of LTrL on Finite Traces: An Algebraic Proof. Search on Bibsonomy STACS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Topics logic in computer science, automata and formal languages, theory of parallel and distributed computation
31P. S. Thiagarajan, Igor Walukiewicz An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
31John A. Zinky, Fredric M. White Visualizing Packet Traces. Search on Bibsonomy SIGCOMM The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
31Bard Bloom, Marta Z. Kwiatkowska Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces. Search on Bibsonomy MFPS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 6129 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license