close
1.

電子ブック

EB
Radhia Cousot, Takeo Kanade, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
2.

電子ブック

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:
3.

電子ブック

EB
International Conference on Software Engineering, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , IEEE, 2003
所蔵情報: loading…
4.

電子ブック

EB
Symposium on Architectural Support for Programming Languages and Operating Systems, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 1982
所蔵情報: loading…
5.

電子ブック

EB
languages and applications Oopsla '88
出版情報: ACM Digital Library Proceedings , ACM, 1988
所蔵情報: loading…
6.

電子ブック

EB
ACM-SIGUCCS User Services Conference, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 1988
所蔵情報: loading…
7.

電子ブック

EB
ACM Conference on Hypertext, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 1989
所蔵情報: loading…
8.

電子ブック

EB
International Conference on Architectural Support for Programming Languages and Operating Systems, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 1991
所蔵情報: loading…
9.

電子ブック

EB
ACM-Sigmod International Conference on Management of Data, James Clifford, Roger A. King, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 1991
所蔵情報: loading…
10.

電子ブック

EB
Renato Cerqueira, Roy H. Campbell, Roy Harold Campbell, Takeo Kanade, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Component-Based Middleware
R-OSGi: Distributed Applications Through Software Modularization / Jan S. Rellermeyer ; Gustavo Alonso ; Timothy Roscoe
Argos, an Extensible Personal Application Server / Arne Munch-Ellingsen ; Dan Peder Eriksen ; Anders Andersen
Compadres: A Lightweight Component Middleware Framework for Composing Distributed Real-Time Embedded Systems with Real-Time Java / Jie Hu ; Shruti Gorappa ; Juan A. Colmenares ; Raymond Klefstad
Mobile and Ubiquitous Computing
SIPHoc: Efficient SIP Middleware for Ad Hoc Networks / Patrick Stuedi ; Marcel Bihr ; Alain Remund
Vector-Field Consistency for Ad-Hoc Gaming / Nuno Santos ; Luis Veiga ; Paulo Ferreira
Correlation-Based Content Adaptation for Mobile Web Browsing / Iqbal Mohomed ; Adin Scannell ; Nilton Bila ; Jin Zhang ; Eyal de Lara
Grid and Cluster Computing
New Worker-Centric Scheduling Strategies for Data-Intensive Grid Applications / Steven Y. Ko ; Ramses Morales ; Indranil Gupta
Interactive Resource-Intensive Applications Made Easy / H. Andres Lagar-Cavilla ; Niraj Tolia ; M. Satyanarayanan ; David O'Hallaron
Garbage Collecting the Grid: A Complete DGC for Activities / Denis Caromel ; Guillaume Chazarain ; Ludovic Henrio
Enhancing Communication
XenSocket: A High-Throughput Interdomain Transport for Virtual Machines / Xiaolan Zhang ; Suzanne McIntosh ; Pankaj Rohatgi ; John Linwood Griffin
Creating Private Network Overlays for High Performance Scientific Computing / Edward Walker
A Cost-Effective Distributed File Service with QoS Guarantees / Kien Le ; Ricardo Bianchini ; Thu D. Nguyen
Resource Management
R-Capriccio: A Capacity Planning and Anomaly Detection Tool for Enterprise Services with Live Workloads / Qi Zhang ; Ludmila Cherkasova ; Guy Mathews ; Wayne Greene ; Evgenia Smirni
AVMEM - Availability-Aware Overlays for Management Operations in Non-cooperative Distributed Systems / Brian Cho
iManage: Policy-Driven Self-management for Enterprise-Scale Systems / Vibhore Kumar ; Brian F. Cooper ; Greg Eisenhauer ; Karsten Schwan
Reliability and Fault Tolerance
Middleware Support for Adaptive Dependability / Lorenz Froihofer ; Karl M. Goeschka ; Johannes Osrael
Consistent and Scalable Cache Replication for Multi-tier J2EE Applications / Francisco Perez-Sorrosal ; Marta Patino-Martinez ; Ricardo Jimenez-Peris ; Bettina Kemme
CLASP: Collaborating, Autonomous Stream Processing Systems / Michael Branson ; Fred Douglis ; Brad Fawcett ; Zhen Liu ; Anton Riabov ; Fan Ye
Asynchronous Communication
A Policy Management Framework for Content-Based Publish/Subscribe Middleware / Alex Wun ; Hans-Arno Jacobsen
Hybrid Dissemination: Adding Determinism to Probabilistic Multicasting in Large-Scale P2P Systems / Spyros Voulgaris ; Maarten van Steen
A Utility-Aware Middleware Architecture for Decentralized Group Communication Applications / Jianjun Zhang ; Ling Liu ; Lakshmish Ramaswamy ; Gong Zhang ; Calton Pu
Programming Wireless Sensor Networks with the TeenyLime Middleware / Paolo Costa ; Luca Mottola ; Amy L. Murphy ; Gian Pietro Picco
Author Index
Component-Based Middleware
R-OSGi: Distributed Applications Through Software Modularization / Jan S. Rellermeyer ; Gustavo Alonso ; Timothy Roscoe
Argos, an Extensible Personal Application Server / Arne Munch-Ellingsen ; Dan Peder Eriksen ; Anders Andersen
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼