|
|
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 |
16 | Tristan Oliver Richard Allwood, Simon L. Peyton Jones, Susan Eisenbach |
Finding the needle: stack traces for GHC. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
stack trace, debugging |
16 | Sungwon Kim, Chul-Ho Lee, Do Young Eun |
Super-diffusive behavior of mobile nodes from GPS traces. |
ACM SIGMOBILE Mob. Comput. Commun. Rev. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Alex Groce, Rajeev Joshi |
Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s. |
Int. J. Softw. Tools Technol. Transf. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Ewerton Monteiro Salvador, Lisandro Zambenedetti Granville |
An investigation of visualization techniques forSNMP traffic traces. |
NOMS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | William Yurcik, Clay Woolam, Greg Hellings, Latifur Khan, Bhavani Thuraisingham |
Privacy/Analysis Tradeoffs in Sharing Anonymized Packet Traces: Single-Field Case. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
privacy-enhanced security data sharing |
16 | Johannes Bohnet, Stefan Voigt, Jürgen Döllner |
Locating and Understanding Features of Complex Software Systems by Synchronizing Time-, Collaboration- and Code-Focused Views on Execution Traces. |
ICPC |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Eiko Yoneki |
Visualizing communities and centralities from encounter traces. |
Challenged Networks |
2008 |
DBLP DOI BibTeX RDF |
clustering, social networks, delay tolerant networks, network measurement, centrality |
16 | Ying Chen, Yuping Wang |
Exposing Digital Forgeries by Detecting Traces of Smoothing. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Paul Bell, Igor Potapov |
Periodic and Infinite Traces in Matrix Semigroups. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
16 | David Lo 0001 |
Mining specifications in diversified formats from execution traces. |
ICSM |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Yi-Ting Lin, Wen-Chi Shiue, Ing-Jer Huang |
A multi-resolution AHB bus tracer for real-time compression of forward/backward traces in a circular buffer. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
AMBA AHB, backward trace, bus tracer, circular buffer, forward trace, compression |
16 | Vivien Robinet, Gilles Bisson, Mirta B. Gordon, Benoît Lemaire |
Inducing High-Level Behaviors from Problem-Solving Traces Using Machine-Learning Tools. |
IEEE Intell. Syst. |
2007 |
DBLP DOI BibTeX RDF |
data mining, machine learning, education, computer-assisted instruction |
16 | Shubhankar Chatterjee, Mike H. MacGregor, Stephen Bates |
Generating LRD Traffic Traces Using Bootstrapping. |
ITC |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Edi Shmueli, Dror G. Feitelson |
Uncovering the Effect of System Performance on User Behavior from Traces of Parallel Systems. |
MASCOTS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Abbas Heydarnoori, Krzysztof Czarnecki 0001 |
Mining implementation recipes of framework-provided concepts in dynamic framework API interaction traces. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
FUDA demonstration, framework comprehension, object-oriented software frameworks, data mining, clustering, dynamic slicing |
16 | David Lo 0001, Shahar Maoz, Siau-Cheng Khoo |
Mining modal scenarios from execution traces. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
live sequence charts, specification mining, UML sequence diagrams |
16 | Jean-Marc François, Guy Leduc |
AP and MN-Centric Mobility Prediction: A Comparative Study Based on Wireless Traces. |
Networking |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Felipe Cantal de Sousa, Nabor C. Mendonça, Sebastián Uchitel, Jeff Kramer |
Detecting Implied Scenarios from Execution Traces. |
WCRE |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Libo Song, David Kotz |
Evaluating opportunistic routing protocols with large realistic contact traces. |
Challenged Networks |
2007 |
DBLP DOI BibTeX RDF |
oppotunistic networks, simulation, routing |
16 | Antoine Meyer |
Traces of Term-Automatic Graphs. |
MFCS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari |
Inducing Declarative Logic-Based Models from Labeled Traces. |
BPM |
2007 |
DBLP DOI BibTeX RDF |
Topics Process mining, DecSerFlow, Careflow, Logic Programming, Process verification and validation |
16 | Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis |
JThreadSpy: teaching multithreading programming by analyzing execution traces. |
PADTAD |
2007 |
DBLP DOI BibTeX RDF |
execution trace analysis, runtime code instrumentation, education, object-oriented, concurrent programming, software visualization |
16 | David Lo 0001, Shahar Maoz, Siau-Cheng Khoo |
Mining modal scenario-based specifications from execution traces of reactive systems. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
dynamic analysis, live sequence charts, specification mining, UML sequence diagrams |
16 | 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 |
16 | Timothy Sohn, Alex Varshavsky, Anthony LaMarca, Mike Y. Chen, Tanzeem Choudhury, Ian E. Smith, Sunny Consolvo, Jeffrey Hightower, William G. Griswold, Eyal de Lara |
Mobility Detection Using Everyday GSM Traces. |
UbiComp |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Valery Naumov, Rainer Baumann, Thomas R. Gross |
An evaluation of inter-vehicle ad hoc networks based on realistic vehicular traces. |
MobiHoc |
2006 |
DBLP DOI BibTeX RDF |
greedy forwarding, realistic mobility model, simulation, routing, ad hoc network, broadcasting, VANET, vehicular network, inter-vehicle communication |
16 | Nancy D. Griffeth, Yuri Cantor, Constantinos Djouvas |
Testing a Network by Inferring Representative State Machines from Network Traces. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel Istrate, Anders Hansson, Sunil Thulasidasan, Madhav V. Marathe, Christopher L. Barrett |
Semantic Compression of TCP Traces. |
Networking |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Peter Kemper, Carsten Tepper |
Traviando - Debugging Simulation Traces with Message Sequence Charts. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Peter Niebert, Hongyang Qu 0001 |
The Implementation of Mazurkiewicz Traces in POEM. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Hector D. Flores, Stephan J. Eidenbenz, Rudolf H. Riedi, Nicolas W. Hengartner |
Describing MANETS: principal component analysis of sparse mobility traces. |
PE-WASUN |
2006 |
DBLP DOI BibTeX RDF |
iterative regression, principal component analysis, mobility models |
16 | Martin J. Fischer, Denise M. Bevilacqua Masi |
Analyzing internet packet traces using Lindley's Recursion. |
WSC |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Maria Estrella Sousa Vieira, Andrés Suárez-González, Manuel Fernández-Veiga, Cándido López-García, Raúl Fernando Rodríguez Rubio |
A highly efficient M/G/infinity generator of self-similar traces. |
WSC |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet |
Uniform random sampling of traces in very large models. |
Random Testing |
2006 |
DBLP DOI BibTeX RDF |
randomised approximation scheme, uniform generation, model checking, random walk, model-based testing, modular models |
16 | Alex Groce, Rajeev Joshi |
Exploiting Traces in Program Analysis. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Jinlin Yang, David Evans 0001, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das |
Perracotta: mining temporal API rules from imperfect traces. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
dynamic analysis, temporal properties, specification inference |
16 | Derrick Kondo, Gilles Fedak, Franck Cappello, Andrew A. Chien, Henri Casanova |
Availability Traces of Enterprise Desktop Grids. |
GRID |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Chun Yuan, Ni Lao, Ji-Rong Wen, Jiwei Li, Zheng Zhang 0001, Yi-Min Wang, Wei-Ying Ma |
Automated known problem diagnosis with event traces. |
EuroSys |
2006 |
DBLP DOI BibTeX RDF |
system call sequences, support vector machine, root cause analysis |
16 | Kuntal Nanshi, Fabio Somenzi |
Guiding simulation with increasingly refined abstract traces. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
simulation, model checking, abstraction refinement |
16 | Mayur Palankar, Jonathan E. Cook |
Merging traces of hardware-assisted data breakpoints. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Jacob Chakareski, Bernd Girod |
Rate-distortion optimized video streaming over Internet packet traces. |
ICIP (2) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Simon Goldsmith, Robert O'Callahan, Alexander Aiken |
Relational queries over program traces. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
PTQL, partiqle, program trace query language, relational |
16 | Andy Zaidman, Toon Calders, Serge Demeyer, Jan Paredaens |
Applying Webmining Techniques to Execution Traces to Support the Program Comprehension Process. |
CSMR |
2005 |
DBLP DOI BibTeX RDF |
Reverse engineering, web-mining, program comprehension, dynamic analysis |
16 | Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl |
Component Composition Preserving Behavioural Contracts Based on Communication Traces. |
CIAA |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Przemyslaw Glomb |
Analysis of fGn and http Requests Traces Using Localized Multiscale H Parameter Estimation. |
SAINT Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Christophe Cérin, Michel Koskas |
Mining Traces of Large Scale Systems. |
ICA3PP |
2005 |
DBLP DOI BibTeX RDF |
global computing platforms, high performance and distributed databases, Parallel algorithms, resource management, data management, meta-data, trace analysis, data mining application |
16 | Paul Gastin, Dietrich Kuske |
Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Toni Robertson, Melanie Kan, Kirsten Sadler, Penny Hagen |
Uncovering traces of mobile practices: 'the bag study'. |
OZCHI |
2005 |
DBLP DOI BibTeX RDF |
ethnography, mobile technology, research methods, practice |
16 | Frédéric Gervais, Marc Frappier, Régine Laleau |
Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
16 | HoonSang Jin, Kavita Ravi, Fabio Somenzi |
Fate and free will in error traces. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Reachability game, Model checking, Counterexample |
16 | Raffaella Settimi, Jane Cleland-Huang, Oussama Ben Khadra, Jigar Mody, Wiktor Lukasik, Chris DePalma |
Supporting Software Evolution through Dynamically Retrieving Traces to UML Artifacts. |
IWPSE |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Felix Wolf 0001, Bernd Mohr, Jack J. Dongarra, Shirley Moore |
Efficient Pattern Search in Large Traces Through Successive Refinement. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Stephen Wilson |
Traces of culture: searchbots scour the web looking for visual information. |
ACM Multimedia |
2004 |
DBLP DOI BibTeX RDF |
searchbots, visualization, interactive multimedia, net art |
16 | Xianfeng Li, Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury |
Design space exploration of caches using compressed traces. |
ICS |
2004 |
DBLP DOI BibTeX RDF |
compressed trace, single pass simulation, cache, design space exploration |
16 | Shankara Narayanan Krishna |
P Systems with Symport/Antiport: The Traces of RBCs. |
Workshop on Membrane Computing |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Zaid Al-Ars, Ad J. van de Goor |
Analyzing the Impact of Process Variations on DRAM Testing Using Border Resistance Traces. |
Asian Test Symposium |
2003 |
DBLP DOI BibTeX RDF |
border resistance trace, process variations, memory testing, DRAMs, defect simulation |
16 | Roni Rosner, Yoav Almog, Micha Moffie, Naftali Schwartz, Avi Mendelson |
PARROT: Power Awareness Through Selective Dynamically Optimized Traces. |
PACS |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Sung-Ming Yen |
Amplified Differential Power Cryptanalysis on Rijndael Implementations with Exponentially Fewer Power Traces. |
ACISP |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Carsten Ernemann, Baiyi Song, Ramin Yahyapour |
Scaling of Workload Traces. |
JSSPP |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad El-Ramly, Eleni Stroulia, Paul G. Sorenson |
Recovering software requirements from system-user interaction traces. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Maria Estrella Sousa Vieira, Andrés Suárez-González, Cándido López-García, Manuel Fernández-Veiga, José C. López-Ardao |
General applications 1: a highly efficient M/G/Infinity model for generating self-similar traces. |
WSC |
2002 |
DBLP DOI BibTeX RDF |
|
16 | HoonSang Jin, Kavita Ravi, Fabio Somenzi |
Fate and Free Will in Error Traces. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Stephen D. Brookes |
Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Alan J. Dix |
Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces. |
DSV-IS |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Bharat Adsul, Milind A. Sohoni |
Local Normal Forms for Logics over Traces. |
FSTTCS |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Odd-Wiking Rahlff, Rolf Kenneth Rolfsen, Jo Herstad |
Using Personal Traces in Context Space: Towards Context Trace Technology. |
Pers. Ubiquitous Comput. |
2001 |
DBLP DOI BibTeX RDF |
Context matching, Context space, Context trace technology, Contextual awareness, Wearable computer |
16 | Falko Kuester, Ralph Bruckschen, Bernd Hamann, Kenneth I. Joy |
Visualization of particle traces in virtual environments. |
VRST |
2001 |
DBLP DOI BibTeX RDF |
virtual wind tunnel, simulation, virtual reality, scientific visualization, computational fluid dynamics, particle tracing, out-of-core visualization, stereoscopic rendering |
16 | Ralph Bruckschen, Falko Kuester, Bernd Hamann, Kenneth I. Joy |
Real-time out-of-core visualization of particle traces. |
IEEE Symposium on Parallel and Large-Data Visualization and Graphics |
2001 |
DBLP BibTeX RDF |
Virtual Reality, Scientific Visualization, Computational Fluid Dynamics, Particle Tracing, Out-of-Core Visualization |
16 | Felix Wolf 0001, Bernd Mohr |
Automatic Performance Analysis of MPI Applications Based on Event Traces. |
Euro-Par |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin Bishop, Thomas P. Kelliher, Robert Michael Owens, Mary Jane Irwin |
Aggressive Dynamic Execution of Decoded Traces. |
J. VLSI Signal Process. |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Volker Diekert, Paul Gastin |
Approximating Traces. |
Acta Informatica |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Paolo Baldan, Andrea Corradini 0001, Ugo Montanari |
Concatenable Graph Processes: Relating Processes and Derivation Traces. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Nathalie Prevost, Ray E. Jennings, Loki Jörgenson, F. David Fracchia |
Propositional n-traces: Visualizing a Problem in Philosophic Logic. |
IEEE Visualization |
1995 |
DBLP DOI BibTeX RDF |
incoherence, visualization, trace, propositional logic |
16 | Volker Diekert, Anca Muscholl, Klaus Reinhardt |
On Codings of Traces. |
STACS |
1995 |
DBLP DOI BibTeX RDF |
Topics Formal languages, concurrency |
16 | Andrew R. Pleszkun |
Techniques for compressing program address traces. |
MICRO |
1994 |
DBLP DOI BibTeX RDF |
compression, trace generation |
16 | Andrea Casotto, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli |
Design Management Based on Design Traces. |
DAC |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Craig B. Stunkel, W. Kent Fuchs |
TRAPEDS: Producing Traces for Multicomputers Via Execution Driven Simulation. |
SIGMETRICS |
1989 |
DBLP DOI BibTeX RDF |
Intel 80386 |
16 | Volker Diekert |
Word Problems over TRaces Which are Solvable in Linear Time. |
STACS |
1989 |
DBLP DOI BibTeX RDF |
|
15 | David Daly, Parijat Dube, Kaoutar El Maghraoui, Dan E. Poff, Li Zhang 0002 |
A Hybrid Approach for Large Cache Performance Studies. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
large caches, traces, counters, analytical performance modeling |
15 | Reza Shokri, George Theodorakopoulos 0001, Jean-Yves Le Boudec, Jean-Pierre Hubaux |
Quantifying Location Privacy. |
IEEE Symposium on Security and Privacy |
2011 |
DBLP DOI BibTeX RDF |
Location Traces, Quantifying Metric, Location-Privacy Meter, Location Privacy, Evaluation Framework |
15 | Abhishek Verma, Ludmila Cherkasova, Roy H. Campbell |
Play It Again, SimMR! |
CLUSTER |
2011 |
DBLP DOI BibTeX RDF |
Simulator, Schedulers, Traces, MapReduce |
15 | Federico Maggi |
A Recognizer of Rational Trace Languages. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
rational languages, traces |
15 | Rastislav Bodík, Satish Chandra 0001, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor |
Programming with angelic nondeterminism. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
angelic non-determinism, constraints, refinement, traces, bounded model-checking |
15 | Donnie H. Kim, Jeffrey Hightower, Ramesh Govindan, Deborah Estrin |
Discovering semantically meaningful places from pervasive RF-beacons. |
UbiComp |
2009 |
DBLP DOI BibTeX RDF |
beacon traces, place learning, location |
15 | Salman Mirghasemi |
Query-point debugging. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
dynamic breakpoint assignment, locating defects, query, program traces, execution monitoring |
15 | Manfred Droste, Paul Gastin |
On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables. |
Theory Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Aperiodic languages, Star-free languages, Traces, Semiring, Formal power series, Weighted automata |
15 | Yamini Kannan, Koushik Sen |
Universal symbolic execution and its application to likely data structure invariant generation. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
dynamic analysis, symbolic execution, execution traces, logical inference, program invariants |
15 | Seung Woo Son 0001, Guangyu Chen, Ozcan Ozturk 0001, Mahmut T. Kandemir, Alok N. Choudhary |
Compiler-Directed Energy Optimization for Parallel Disk Based Systems. |
IEEE Trans. Parallel Distributed Syst. |
2007 |
DBLP DOI BibTeX RDF |
Disk subsystem, I/O traces, parallel I/O, optimizing compilers, power-aware computing |
15 | Marco Höbbel, Thomas Rauber, Carsten Scholtes |
Trace-based Automatic Padding for Locality Improvement with Correlative Data Visualization Interface. |
PACT |
2007 |
DBLP DOI BibTeX RDF |
dynamic padding, visualization, cache, traces |
15 | Craig Anslow, James Noble 0001, Stuart Marshall, Robert Biddle |
X3D web software visualization in action! |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
software visualization, X3D, execution traces |
15 | Edward Ochmanski, Krystyna Stawikowska |
A Star Operation for Star-Free Trace Languages. |
Developments in Language Theory |
2007 |
DBLP DOI BibTeX RDF |
star operation, star-free languages, traces |
15 | Jérôme Lebrun, Pierre Comon |
Blind algebraic identification of communication channels: symbolic solution algorithms. |
Appl. Algebra Eng. Commun. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Blind identification, Digital modulations, Parametric normal forms, Matrix of traces |
15 | Nils Kammenhuber, Julia Luxenburger, Anja Feldmann, Gerhard Weikum |
Web search clickstreams. |
Internet Measurement Conference |
2006 |
DBLP DOI BibTeX RDF |
HTTP traces, web search, markov model, clickstream |
15 | Naveen Kumar 0002, Bruce R. Childers, Daniel W. Williams, Jack W. Davidson, Mary Lou Soffa |
Compile-Time Planning for Overhead Reduction in Software Dynamic Translators. |
Int. J. Parallel Program. |
2005 |
DBLP DOI BibTeX RDF |
instruction traces, dynamic optimization, Dynamic translation |
15 | Michael C. Martin, V. Benjamin Livshits, Monica S. Lam |
Finding application errors and security flaws using PQL: a program query language. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
resource leaks, web applications, pattern matching, SQL injection, bug finding, program traces |
15 | Xiangyu Zhang 0001, Rajiv Gupta 0001 |
Matching execution histories of program versions. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
piracy detection, debugging, dynamic analysis, execution traces |
15 | Robert L. Baber, David Lorge Parnas, Sergiy A. Vilkomir, Paul Harrison, Tony O'Connor |
Disciplined Methods of Software Specification: A Case Study. |
ITCC (2) |
2005 |
DBLP DOI BibTeX RDF |
tabular specifications, trace specifications, software, finite state machine, traces |
15 | Sujatha Kashyap, Vijay K. Garg |
Exploiting predicate structure for efficient reachability detection. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
model checking, reachability, Mazurkiewicz traces |
15 | Ioannis Ch. Paschalidis, Spyridon Vassilaras |
Importance sampling for the estimation of buffer overflow probabilities via trace-driven simulations. |
IEEE/ACM Trans. Netw. |
2004 |
DBLP DOI BibTeX RDF |
MPEG traces, simulation, importance sampling, large deviations, variance reduction, statistical multiplexing |
15 | John Soldatos 0001, Evangelos Vayias, Panagiotis Stathopoulos, Nikolas Mitrou |
Enforcing Effective Rates for Packet-Level QoS Control in IP Networks: Theory and Validation Based on Real Traffic Data. |
Telecommun. Syst. |
2004 |
DBLP DOI BibTeX RDF |
shaping delay, traffic traces, QoS, traffic control |
Displaying result #401 - #500 of 6129 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|