|
|
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 |
67 | Andriy 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](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 537-540, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
dynamic information flow analysis, traces comparison, software testing, code coverage, execution traces |
66 | Vijay S. Iyengar, Louise Trevillyan, Pradip Bose |
Representative Traces for Processor Models with Infinite Cache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: Proceedings of the Second International Symposium on High-Performance Computer Architecture, San Jose, CA, USA, February 3-7, 1996, pp. 62-72, 1996, IEEE Computer Society, 0-8186-7237-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
dynamic traces, performance evaluation, timer, processor design |
66 | Purushotham Kamath, Kun-Chan Lan, John S. Heidemann, Joseph A. Bannister, Joseph D. Touch |
Generation of High Bandwidth Network Traffic Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 10th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2002), 11-16 October 2002, Fort Worth, Texas, USA, pp. 401-, 2002, IEEE Computer Society, 0-7695-1840-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
57 | Mark A. Holliday, Carla Schlatter Ellis |
Accuracy of Memory Reference Traces of Parallel Computations in Trace-Driven Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(1), pp. 97-109, 1992. The full citation details ...](Pics/full.jpeg) |
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 |
56 | SeungGwan Lee, SeokMi Hong |
Efficient Ant Reinforcement Learning Using Replacing Eligibility Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC ![In: Artificial Intelligence and Soft Computing - ICAISC 2006, 8th International Conference, Zakopane, Poland, June 25-29, 2006, Proceedings, pp. 823-832, 2006, Springer, 3-540-35748-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
56 | Marta Z. Kwiatkowska |
On the Domain of Traces and Sequential Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91), pp. 42-56, 1991, Springer, 3-540-53982-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
55 | Paul Gastin, Antoine Petit 0001 |
Infinite Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Book of Traces ![In: The Book of Traces, pp. 393-486, 1995, World Scientific, 978-981-02-2058-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
55 | Wojciech Penczek, Ruurd Kuiper 0001 |
Traces and Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Book of Traces ![In: The Book of Traces, pp. 307-390, 1995, World Scientific, 978-981-02-2058-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
51 | Paul Gastin, Madhavan Mukund |
An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings, pp. 938-949, 2002, Springer, 3-540-43864-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
concurrency, Temporal logics, Mazurkiewicz traces |
50 | Michael Behar, Avi Mendelson, Avinoam Kolodny |
Trace cache sampling filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 25(1), pp. 3, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
cache utilization, sampling filter, power dissipation, Trace cache |
50 | Roni Rosner, Avi Mendelson, Ronny Ronen |
Filtering Techniques to Improve Trace-Cache Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: 2001 International Conference on Parallel Architectures and Compilation Techniques (PACT 2001), 8-12 September 2001, Barcelona, Spain, pp. 37-48, 2001, IEEE Computer Society, 0-7695-1363-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
46 | Carl Gutwin, Reagan Penner |
Improving interpretation of remote gestures with telepointer traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: CSCW 2002, Proceeding on the ACM 2002 Conference on Computer Supported Cooperative Work, New Orleans, Louisiana, USA, November 16-20, 2002, pp. 49-57, 2002, ACM, 1-58113-560-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
consequential communication, groupware usability, telepointer traces, gesture, jitter, network delay |
46 | Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney |
Aligning traces for performance evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Kim M. Hazelwood, Michael D. Smith 0001 |
Generational Cache Management of Code Traces in Dynamic Optimization Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 36th Annual International Symposium on Microarchitecture, San Diego, CA, USA, December 3-5, 2003, pp. 169-179, 2003, IEEE Computer Society, 0-7695-2043-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Itnuit Janovitz-Freireich, Lajos Rónyai, Ágnes Szántó |
Approximate Radical for Clusters: A Global Approach Using Gaussian Elimination or SVD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 1(2), pp. 393-425, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Radical ideal, matrix of traces, clusters, symbolic-numeric computation |
45 | Chao Liu 0001, Jiawei Han 0001 |
Failure proximity: a fault localization-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006, pp. 46-56, 2006, ACM, 1-59593-468-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
failure proximity, debugging aids, statistical debugging |
44 | Christian Choffrut |
Combinatorics in Trace Monoids I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Book of Traces ![In: The Book of Traces, pp. 71-82, 1995, World Scientific, 978-981-02-2058-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
44 | Edward Ochmanski |
Recognizable Trace Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Book of Traces ![In: The Book of Traces, pp. 167-204, 1995, World Scientific, 978-981-02-2058-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
44 | Hendrik Jan Hoogeboom, Grzegorz Rozenberg |
Dependence Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Book of Traces ![In: The Book of Traces, pp. 43-67, 1995, World Scientific, 978-981-02-2058-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
44 | Gérard Duchamp, Daniel Krob |
Combinatorics in Trace Monoids II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Book of Traces ![In: The Book of Traces, pp. 83-129, 1995, World Scientific, 978-981-02-2058-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
44 | Mireille Clerbout, Michel Latteux, Yves Roos |
Semi-Commutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Book of Traces ![In: The Book of Traces, pp. 487-552, 1995, World Scientific, 978-981-02-2058-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
44 | Volker Diekert, Anca Muscholl |
Construction of Asynchronous Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Book of Traces ![In: The Book of Traces, pp. 249-267, 1995, World Scientific, 978-981-02-2058-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
44 | Wieslaw Zielonka |
Asynchronous Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Book of Traces ![In: The Book of Traces, pp. 205-247, 1995, World Scientific, 978-981-02-2058-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
44 | Mogens Nielsen, Glynn Winskel |
Trace Structures and other Models for Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Book of Traces ![In: The Book of Traces, pp. 271-305, 1995, World Scientific, 978-981-02-2058-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
44 | Alberto Bertoni, Massimiliano Goldwurm, Giancarlo Mauri, Nicoletta Sabadini |
Counting Techniques for Inclusion, Equivalence and Membership Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Book of Traces ![In: The Book of Traces, pp. 131-163, 1995, World Scientific, 978-981-02-2058-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
44 | Antoni W. Mazurkiewicz |
Introduction to Trace Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Book of Traces ![In: The Book of Traces, pp. 3-41, 1995, World Scientific, 978-981-02-2058-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
42 | Dominique Thiébaut, Joel L. Wolf, Harold S. Stone |
Synthetic Traces for Trace-Driven Simulation of Cache Memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 41(4), pp. 388-410, 1992. The full citation details ...](Pics/full.jpeg) |
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 |
41 | Alexandre 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](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 557-572, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
testing of asynchronous distributed systems, global properties, model checking of traces, monitor |
41 | Mike McGavin, Tim Wright, Stuart Marshall |
Visualisations of execution traces (VET): an interactive plugin-based visualisation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AUIC ![In: User Interfaces 2006, 7th Australasian User Interface Conference (AUIC 2006), Hobart, Tasmania, Australia, January 16-19 2005, pp. 153-160, 2006, Australian Computer Society, 1-920682-32-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
execution traces, software visualisation |
41 | Volker Diekert, Paul Gastin |
Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2004: Theoretical Informatics, 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings, pp. 232-241, 2004, Springer, 3-540-21258-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
concurrency, Temporal logics, Mazurkiewicz traces |
41 | Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings, pp. 429-438, 2003, Springer, 3-540-40671-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
concurrency, Temporal logics, Mazurkiewicz traces |
41 | Bharat Adsul, Milind A. Sohoni |
Complete and Tractable Local Linear Time Temporal Logics over Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings, pp. 926-937, 2002, Springer, 3-540-43864-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Concurrency, Temporal Logics, Limits, Mazurkiewicz Traces |
41 | David S. Wooding |
Fixation maps: quantifying eye-movement traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the Eye Tracking Research & Application Symposium, ETRA 2002, New Orleans, Louisiana, USA, March 25-27, 2002, pp. 31-36, 2002, ACM, 1-58113-467-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
fixation map, analysis, similarity, traces, Eye-movements |
41 | Andrew Sutherland, Kevin A. Schneider |
UI traces: Supporting the maintenance of interactive software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 25th IEEE International Conference on Software Maintenance (ICSM 2009), September 20-26, 2009, Edmonton, Alberta, Canada, pp. 563-566, 2009, IEEE Computer Society, 978-1-4244-4897-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Aaron Schulman, Dave Levin, Neil Spring |
On the Fidelity of 802.11 Packet Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAM ![In: Passive and Active Network Measurement, 9th International Conference, PAM 2008, Cleveland, OH, USA, April 29-30, 2008. Proceedings, pp. 132-141, 2008, Springer, 978-3-540-79231-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Jack Whitham, Neil C. Audsley |
Forming Virtual Traces for WCET Analysis and Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: The Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2008, Kaohisung, Taiwan, 25-27 August 2008, Proceedings, pp. 377-386, 2008, IEEE Computer Society, 978-0-7695-3349-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Andriy 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](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 2008 conference of the Centre for Advanced Studies on Collaborative Research, October 27-30, 2008, Richmond Hill, Ontario, Canada, pp. 21, 2008, IBM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Milena Milenkovic, Aleksandar Milenkovic, Martin Burtscher |
Algorithms and Hardware Structures for Unobtrusive Real-Time Compression of Instruction and Data Address Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC ![In: 2007 Data Compression Conference (DCC 2007), 27-29 March 2007, Snowbird, UT, USA, pp. 283-292, 2007, IEEE Computer Society, 978-0-7695-2791-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Martin Burtscher, Metha Jeeradit |
Compressing Extended Program Traces Using Value Predictors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: 12th International Conference on Parallel Architectures and Compilation Techniques (PACT 2003), 27 September - 1 October 2003, New Orleans, LA, USA, pp. 159-168, 2003, IEEE Computer Society, 0-7695-2021-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Matthew 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](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the International Conference on Measurements and Modeling of Computer Systems, SIGMETRICS 2002, June 15-19, 2002, Marina Del Rey, California, USA, pp. 140-151, 2002, ACM, 1-58113-531-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Atsuko Miyaji, Masaki Nakabayashi, Shunzo Takano |
Characterization of Elliptic Curve Traces under FR-Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2000, Third International Conference, Seoul, Korea, December 8-9, 2000, Proceedings, pp. 90-108, 2000, Springer, 3-540-41782-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
FR-reduction, trace, elliptic curve cryptosystems, number theory |
41 | Guillaume Pothier, Éric Tanter, José M. Piquer |
Scalable omniscient debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 535-552, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
interface components, omniscient debugging, partial traces, specialized distributed database, scalability, execution traces |
41 | P. Bosch, A. Carloganu, Daniel Etiemble |
Complete x86 instruction trace generation from hardware bus collect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 402-408, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
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 |
40 | Jungheum 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](Pics/bibsonomy.png) |
PerCom ![In: Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 17-21 March 2008, Hong Kong, pp. 584-589, 2008, IEEE Computer Society, 978-0-7695-3113-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
MS PowerPoint, Residual Information |
40 | Matt T. Yourst, Kanad Ghose |
Incremental Commit Groups for Non-Atomic Trace Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 38th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-38 2005), 12-16 November 2005, Barcelona, Spain, pp. 67-80, 2005, IEEE Computer Society, 0-7695-2440-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
trace prediction, VLIW, commitment, binary translation |
40 | Youtao Zhang, Rajiv Gupta 0001 |
Timestamped Whole Program Path Representation and its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22, 2001, pp. 180-190, 2001, ACM, 1-58113-414-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Wolter Pieters |
Combatting Electoral Traces: The Dutch Tempest Discussion and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VoteID ![In: E-Voting and Identity, Second International Conference, VoteID 2009, Luxembourg, September 7-8, 2009. Proceedings, pp. 172-190, 2009, Springer, 978-3-642-04134-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
electoral traces, risk classification, electronic voting, actor-network theory, tempest |
36 | Xenia Mountrouidou |
On the traffic modeling of burst aggregation algorithms using video and data traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 39(3-4), pp. 223-234, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Burst aggregation algorithms, IPP, Internet traces, Statistical convolution |
36 | Jonathan Weinberg, Allan Snavely |
Accurate memory signatures and synthetic address traces for HPC applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 22nd Annual International Conference on Supercomputing, ICS 2008, Island of Kos, Greece, June 7-12, 2008, pp. 36-45, 2008, ACM, 978-1-60558-158-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
synthetic memory traces, caches, locality, hpc |
36 | Jan Drugowitsch, Alwyn Barry |
XCS with eligibility traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1851-1858, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
eligibility traces, XCS, q-learning, LCS, temporal-difference learning |
36 | Volker Diekert, Paul Gastin |
An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 188-203, 1999, Springer, 3-540-66536-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
concurrency, Temporal logics, Mazurkiewicz traces |
36 | Lili Cao, John Krumm |
From GPS traces to a routable road map. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 17th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, ACM-GIS 2009, November 4-6, 2009, Seattle, Washington, USA, Proceedings, pp. 3-12, 2009, ACM, 978-1-60558-649-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
road map, GPS |
36 | Graham D. Price, Manish Vachharajani |
A Case for Compressing Traces with BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Comput. Archit. Lett. ![In: IEEE Comput. Archit. Lett. 5(2), 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic |
Generating object lifetime traces with Merlin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 28(3), pp. 476-516, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
object lifetime analysis, trace design, Garbage collection, trace generation |
36 | Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah |
Test Case Minimization for Real-Time Systems Using Timed Bound Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings, pp. 289-305, 2006, Springer, 3-540-34184-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Anjo Anjewierden, Lilia Efimova |
Understanding Weblog Communities Through Digital Traces: A Framework, a Tool and an Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (1) ![In: On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I, pp. 279-289, 2006, Springer, 3-540-48269-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Peter Vamplew 0001, Robert Ollington, Mark Hepburn |
Enhanced Temporal Difference Learning Using Compiled Eligibility Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings, pp. 141-150, 2006, Springer, 3-540-49787-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Jeanna Neefe Matthews |
Hands-on approach to teaching computer networking using packet traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 6th Conference on Information Technology Education, SIGITE 2005, Newark, NJ, USA, October 20-22, 2005, pp. 361-367, 2005, ACM, 1-59593-252-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
network protocol analysis |
36 | Borys J. Bradel, Tarek S. Abdelrahman |
The Use of Traces for Inlining in Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for High Performance Computing, 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers, pp. 179-193, 2004, Springer, 3-540-28009-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Maurí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](Pics/bibsonomy.png) |
SBAC-PAD ![In: 16th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2004), 27-29 October 2004, Foz do Iguacu, Brazil, pp. 48-55, 2004, IEEE Computer Society, 0-7695-2240-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Anders Brun, Hae-Jeong Park, Hans Knutsson, Carl-Fredrik Westin |
Coloring of DT-MRI Fiber Traces Using Laplacian Eigenmaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers, pp. 518-529, 2003, Springer, 3-540-20221-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Madeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer |
Reducing irrelevant trace variations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 477-480, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
trace simplification, trace analysis, execution traces |
35 | Scott F. Kaplan, Yannis Smaragdakis, Paul R. Wilson 0001 |
Flexible reference trace reduction for VM simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 13(1), pp. 1-38, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
reference traces, locality, cache hierarchies, trace reduction, trace compression |
35 | Volker Diekert, Paul Gastin |
Local Temporal Logic is Expressively Complete for Cograph Dependence Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, pp. 55-69, 2001, Springer, 3-540-42957-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
concurrency, Temporal logics, Mazurkiewicz traces |
35 | Masami Hagiya, Tomoki Shiratori |
Programming by Example in Computing-as-Editing Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 275-283, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
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 |
35 | Antoni W. Mazurkiewicz |
Basic notions of trace theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 285-363, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Petri nets, concurrency, processes, traces, partial ordering |
35 | Ankur Kamthe, Miguel Á. Carreira-Perpiñán, Alberto Cerpa |
M&M: multi-level Markov model for wireless link simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, SenSys 2009, Berkeley, California, USA, November 4-6, 2009, pp. 57-70, 2009, ACM, 978-1-60558-519-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
802.15.4 low power wireless networks, mixture of multivariate Bernoulli, simulation, hidden Markov models, wireless channel model |
35 | Madeline Diep, Sebastian G. Elbaum, Matthew Dwyer 0001 |
Trace Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 11-14 November 2008, Seattle/Redmond, WA, USA, pp. 67-76, 2008, IEEE Computer Society, 978-0-7695-3405-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Apoorva Jindal, Konstantinos Psounis |
Modeling spatially correlated data in sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Sens. Networks ![In: ACM Trans. Sens. Networks 2(4), pp. 466-499, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | SeungGwan Lee |
A Cooperation Online Reinforcement Learning Approach in Ant-Q. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Neural Information Processing, 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part I, pp. 487-494, 2006, Springer, 3-540-46479-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus |
Debugging temporal specifications with concept analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 182-195, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
specification debuggers, hierarchical clustering, concept analysis, temporal specifications |
35 | Almudena Konrad, Ben Y. Zhao, Anthony D. Joseph, Reiner Ludwig |
A Markov-based channel model algorithm for wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 4th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2001, Rome, Italy, 2001, pp. 28-36, 2001, ACM, 1-58113-378-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Wit Forys, Piotr Oprocha |
Infinite Traces and Symbolic Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 45(1), pp. 133-149, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Shift on traces, Entropy, Trace, Transitivity, Word, Dynamical language, Shift |
31 | Andrea 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](Pics/bibsonomy.png) |
GIS ![In: 17th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, ACM-GIS 2009, November 4-6, 2009, Seattle, Washington, USA, Proceedings, pp. 52-61, 2009, ACM, 978-1-60558-649-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
digital traces, social dynamics |
31 | Stephen D. Cohen |
Finite Field Elements with Specified Order and Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 36(3), pp. 331-340, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
specified traces, finite field, primitive element, character sums |
31 | Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko |
An Automata-Based Approach to Property Testing in Event Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings, pp. 180-196, 2003, Springer, 3-540-40123-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
distributed traces, monitoring, SDL, passive testing, property checking |
31 | A. 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](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 409-, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
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 |
31 | Jaap van Oosten |
Topological Aspects of Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 480-496, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
independence relations, topology, traces, bisimulation, Partial order, event structures |
31 | Jian-Guang Lou, Qiang Fu, Shengqi Yang, Jiang Li 0008, Bin Wu 0001 |
Mining program workflow from interleaved traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, July 25-28, 2010, pp. 613-622, 2010, ACM, 978-1-4503-0055-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
graphical behavior models, temporal properties, workflow mining |
31 | Tomohiro Amemiya |
Visualizing Thermal Traces to Reveal Histories of Human-Object Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (6) ![In: Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments, 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II, pp. 477-482, 2009, Springer, 978-3-642-02709-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
thermal trace, surrogate memory, lifelog |
31 | Hoang Chi Thanh |
Semi-traces and Their Application in Concurrency Control Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCI ![In: Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems, First International Conference, ICCCI 2009, Wroclaw, Poland, October 5-7, 2009. Proceedings, pp. 174-182, 2009, Springer, 978-3-642-04440-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
local independence, distributed system, concurrency control, trace |
31 | Bart Jacobs 0001, Ana Sokolova |
Traces, Executions and Schedulers, Coalgebraically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 206-220, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Brenton D. Walker |
Using persistent homology to recover spatial information from encounter traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHoc ![In: Proceedings of the 9th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2008, Hong Kong, China, May 26-30, 2008, pp. 371-380, 2008, ACM, 978-1-60558-073-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
encounter trace, delay-tolerant network, persistent homology |
31 | Thomas Claveirole, Marcelo Dias de Amorim |
WiPal and WScout, two hands-on tools for wireless packet traces manipulation and visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINTECH ![In: Proceedings of the Third ACM Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization, WINTECH 2008, San Francisco, California, USA, September 19, 2008, pp. 103-104, 2008, ACM, 978-1-60558-187-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
synchronization, wireless, ieee 802.11, trace, merging |
31 | David Lo 0001, Siau-Cheng Khoo, Chao Liu 0001 |
Mining past-time temporal rules from execution traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA 2008, Seattle, Washington, USA, July 21, 2008, pp. 50-56, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
past-time temporal rules, data mining, dynamic analysis, specification mining |
31 | Swaroop Kavalanekar, Bruce L. Worthington, Qi Zhang 0012, Vishal Sharda |
Characterization of storage workload traces from production Windows Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IISWC ![In: 4th International Symposium on Workload Characterization (IISWC 2008), Seattle, Washington, USA, September 14-16, 2008, pp. 119-128, 2008, IEEE Computer Society, 978-1-4244-2778-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Colin D. Walter |
Recovering Secret Keys from Weak Side Channel Traces of Differing Lengths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems - CHES 2008, 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings, pp. 214-227, 2008, Springer, 978-3-540-85052-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Hidden Markov Models, simple power analysis, SPA, Viterbi Algorithm, Forward-Backward Algorithm, Side channel leakage |
31 | Volker Diekert, Manfred Kufleitner |
On First-Order Fragments for Words and Mazurkiewicz Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings, pp. 1-19, 2007, Springer, 978-3-540-73207-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Chia-Chih Yen, Jing-Yang Jou |
An Optimum Algorithm for Compacting Error Traces for Efficient Design Error Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(11), pp. 1356-1366, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
simulation, Verification, diagnosis, satisfiability, error checking |
31 | Xiaoxin Shao, Qianli Zhang, Tao He, Shijin Kong, Changqing An, Xing Li 0001 |
SANTT: Sharing Anonymized Network Traffic Traces among Researchers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: Management of Integrated End-to-End Communications and Services, 10th IEEE/IFIP Network Operations and Management Symposium, NOMS 2006, Vancouver, Canada, April 3-7, 2006. Proceedings, pp. 527-533, 2006, IEEE, 1-4244-0143-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Dimitris Koukis, Spyros Antonatos, Kostas G. Anagnostakis |
On the Privacy Risks of Publishing Anonymized IP Network Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Communications and Multimedia Security ![In: Communications and Multimedia Security, 10th IFIP TC-6 TC-11 International Conference, CMS 2006, Heraklion, Crete, Greece, October 19-21, 2006, Proceedings, pp. 22-32, 2006, Springer, 3-540-47820-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Marcia Zangrilli, Bruce Lowekamp |
Applying Principles of Active Available Bandwidth Algorithms to Passive TCP Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAM ![In: Passive and Active Network Measurement, 6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005, Proceedings, pp. 333-336, 2005, Springer, 3-540-25520-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge |
Measuring Various Properties of Execution Traces to Help Build Better Trace Analysis Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 559-568, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Thomas Ball, Mayur Naik, Sriram K. Rajamani |
From symptom to cause: localizing errors in counterexample traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 97-105, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
debugging, software model checking |
31 | Abdelwahab Hamou-Lhadj, Timothy Lethbridge |
Compression Techniques to Simplify the Analysis of Large Execution Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 10th International Workshop on Program Comprehension (IWPC 2002), 27-29 June 2002, Paris, France, pp. 159-168, 2002, IEEE Computer Society, 0-7695-1495-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy |
A General Categorical Connection between Local Event Structures and Local Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 12th International Symposium, FCT '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings, pp. 338-349, 1999, Springer, 3-540-66412-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Raphaël Meyer, Antoine Petit 0001 |
Expressive Completeness of LTrL on Finite Traces: An Algebraic Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 98, 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings, pp. 533-543, 1998, Springer, 3-540-64230-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Topics logic in computer science, automata and formal languages, theory of parallel and distributed computation |
31 | P. S. Thiagarajan, Igor Walukiewicz |
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 183-194, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
31 | John A. Zinky, Fredric M. White |
Visualizing Packet Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the Conference on Communications Architecture & Protocols, SIGCOMM 1992, Baltimore, Maryland, USA, August 17-20, 1992, pp. 293-304, 1992, ACM, 0-89791-525-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
31 | Bard Bloom, Marta Z. Kwiatkowska |
Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings, pp. 350-375, 1991, Springer, 3-540-55511-0. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|