close
1.

電子ブック

EB
Ben Liblit, David Hutchison, Takeo Kanade, Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Perfect, or Close Enough / 1.1:
Automatic Failure Reporting / 1.2:
The Next Step Forward / 1.3:
Cooperative Bug Isolation / 1.4:
Instrumentation Framework / 2:
Basic Instrumentation Strategy / 2.1:
Sampling the Bernoulli Way / 2.1.1:
From Blocks to Functions / 2.1.2:
Interprocedural Issues / 2.1.3:
Instrumentation Schemes for Distributed Debugging / 2.2:
Issues in Remote Sampling / 2.2.1:
Counter-Based Instrumentation Schemes / 2.2.2:
Additional Instrumentation Schemes / 2.2.3:
Performance and Optimizations / 2.3:
Static Branch Prediction / 2.3.1:
Weightless Functions / 2.3.2:
Empty and Singleton Regions / 2.3.3:
Local Countdown Caching / 2.3.4:
Random Countdown Generation / 2.3.5:
Path Balancing / 2.3.6:
Statically Selective Sampling / 2.3.7:
Optimization Recap / 2.3.8:
Adaptive Sampling / 2.4:
Nonuniformity Via Multiple Countdowns / 2.4.1:
Nonuniformity Via Non-Unit Site Weights / 2.4.2:
Policy Notes / 2.4.3:
Realistic Sampling Rates / 2.5:
Practical Considerations / 3:
Native Compiler Integration / 3.1:
Static Site Information / 3.1.1:
Libraries and Plugins / 3.2:
Threads / 3.3:
Next-Sample Countdown / 3.3.1:
Predicate Counters / 3.3.2:
Compilation Unit Registry and Report File / 3.3.3:
Time Stamp Clock / 3.3.4:
Performance Evaluation / 3.3.5:
Privacy and Security / 3.4:
User Interaction / 3.5:
Status of the Public Deployment / 3.6:
Resource Requirements / 3.6.1:
Reporting Trends / 3.6.2:
Techniques for Statistical Debugging / 4:
Notation and Terminology / 4.1:
Predicate Elimination / 4.2:
Instrumentation Strategy / 4.2.1:
Elimination Strategies / 4.2.2:
Data Collection and Analysis / 4.2.3:
Refinement over time / 4.2.4:
Performance Impact / 4.2.5:
Limitations and Insights / 4.2.6:
Regularized Logistic Regression / 4.3:
Crash Prediction Using Logistic Regression / 4.3.1:
Moss: A Multiple-Bug Challenge / 4.3.2:
Nonuniform Sampling / 4.4.1:
Analysis Results / 4.4.2:
Iterative Bug Isolation and Elimination / 4.5:
Increase Scores / 4.5.1:
Statistical Interpretation / 4.5.2:
Balancing Specificity and Sensitivity / 4.5.3:
Redundancy Elimination / 4.5.4:
Case Studies / 4.6:
Moss / 4.6.1:
CCRYPT / 4.6.2:
BC / 4.6.3:
EXIF / 4.6.4:
Rhythmbox / 4.6.5:
Related Work / 5:
Static Analysis / 5.1:
Profiling and Tracing / 5.2:
Dynamic Analysis / 5.3:
Conclusion / 6:
References
Introduction / 1:
Perfect, or Close Enough / 1.1:
Automatic Failure Reporting / 1.2:
2.

電子ブック

EB
Carlos Cotta, Jano Hemert, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
3.

電子ブック

EB
David Hutchison, Fran?ois Fages, Mohand-Sa?d Hacid, Takeo Kanade, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, S. Spaccapietra, Juan Trujillo, Ilya Zaihrayeu, SpringerLink (Online service)
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
23rd International Conference on Conceptual Modeling (ER 2004)
Default Clustering with Conceptual Structures / Julien Velcin ; Jean-Gabriel Ganascia
Workshop on Context and Ontologies: Theory, Practice and Applications (C&O 2005)
Context Dependency Management in Ontology Engineering: A Formal Approach / Pieter De Leenheer ; Aldo de Moor ; Robert Meersman
Encoding Classifications into Lightweight Ontologies / Fausto Giunchiglia ; Maurizio Marchese ; Ilya Zaihrayeu
Second International Conference on Ontologies, DataBases and Applications of SEmantics (ODBASE 2005)
GeRoMe: A Generic Role Based Metamodel for Model Management / David Kensche ; Christoph Quiz ; Mohamed Amine Chatti ; Matthias Jarke
Metadata Management in a Multiversion Data Warehouse / Robert Wrembel ; Bartosz Bebel
International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2005)
SomeRDFS in the Semantic Web / Philippe Adjiman ; Francois Goasdoue ; Marie-Christine Rousset
A Tool for Evaluating Ontology Alignment Strategies / Patrick Lambrix ; He Tan
7th International Conference on Data Warehousing and Knowledge Discovery (DAWAK 2005)
Processing Sequential Patterns in Relational Databases / Xuequn Shang ; Kai-Uwe Sattler
Author Index
23rd International Conference on Conceptual Modeling (ER 2004)
Default Clustering with Conceptual Structures / Julien Velcin ; Jean-Gabriel Ganascia
Workshop on Context and Ontologies: Theory, Practice and Applications (C&O 2005)
4.

電子ブック

EB
Michael Hanus, David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
5.

電子ブック

EB
Radu Prodan, Thomas Fahringer, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
6.

電子ブック

EB
Koen Langendoen, David Hutchison, Takeo Kanade, K. G. Langendoen, Thiemo Voigt
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
7.

電子ブック

EB
James Aspnes, Anish Arora, David Hutchison, Takeo Kanade, Samuel Madden, Christian Scheideler, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
8.

電子ブック

EB
Michael Hanus, David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
9.

電子ブック

EB
Gary J. Minden, Kenneth L. Calvert, David Hutchison, Takeo Kanade, Marcin Solarski, Miki Yamamoto, International Federation for Information Processing.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
10.

電子ブック

EB
Bartlomiej Beliczynski, Andrzej Dzielinski, David Hutchison, Marcin Iwanowski, Takeo Kanade, Bernardete Ribeiro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼