close
1.

電子ブック
ＥＢ
1. Cooperative Bug Isolation
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.

電子ブック
ＥＢ
2. Cooperative Bug Isolation
Ben Liblit, David Hutchison, Takeo Kanade, Association for Computing Machinery.
出版情報: SpringerLink Books - AutoHoldings , 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.

電子ブック
ＥＢ
3. Data Management in Cloud, Grid and P2P Systems
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Data Management in Cloud, Grid and P2P Systems
David Hutchison, Takeo Kanade, Farookh Khadeer Hussain, Franck Morvan, A. Min Tjoa
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Research in Cryptology
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Broadcast Attacks against Code-Based Schemes / Robert Niebuhr ; Pierre-Louis Cayrel
On the Security of Hummingbird-2 against Side Channel Cube Attacks / Xinxin Fan ; Guang Gong
Full Lattice Basis Reduction on Graphics Cards / Timo Bartkewitz ; Tim Güneysu
Breaking DVB-CSA / Erik Tews ; Julian Wälde ; Michael Weiner
On the Role of Expander Graphs in Key Predistribution Schemes for Wireless Sensor Networks / Michelle Kendall ; Keith M. Martin
Γ-MAC[H, P] - A New Universal MAC Scheme / Ewan Fleischmann ; Christian Forler ; Stefan Lucks
New Universal Hash Functions / Aysajan Abidin ; Jan-Åke Larsson
Cryptanalysis of TWIS Block Cipher / Onur Koçak ; Nese Öztop
RSA Vulnerabilities with Small Prime Difference / Marián Kühnel
Combining Multiplication Methods with Optimized Processing Sequence for Polynomial Multiplier in GF(2k) / Zoya Dyka ; Peter Langendoerfer ; Frank Vater
Author Index
Broadcast Attacks against Code-Based Schemes / Robert Niebuhr ; Pierre-Louis Cayrel
On the Security of Hummingbird-2 against Side Channel Cube Attacks / Xinxin Fan ; Guang Gong
Full Lattice Basis Reduction on Graphics Cards / Timo Bartkewitz ; Tim Güneysu
6.

電子ブック
ＥＢ
6. Research in Cryptology
David Hutchison, Takeo Kanade, Josef Kittler, Stefan Lucks
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Broadcast Attacks against Code-Based Schemes / Robert Niebuhr ; Pierre-Louis Cayrel
On the Security of Hummingbird-2 against Side Channel Cube Attacks / Xinxin Fan ; Guang Gong
Full Lattice Basis Reduction on Graphics Cards / Timo Bartkewitz ; Tim Güneysu
Breaking DVB-CSA / Erik Tews ; Julian Wälde ; Michael Weiner
On the Role of Expander Graphs in Key Predistribution Schemes for Wireless Sensor Networks / Michelle Kendall ; Keith M. Martin
Γ-MAC[H, P] - A New Universal MAC Scheme / Ewan Fleischmann ; Christian Forler ; Stefan Lucks
New Universal Hash Functions / Aysajan Abidin ; Jan-Åke Larsson
Cryptanalysis of TWIS Block Cipher / Onur Koçak ; Nese Öztop
RSA Vulnerabilities with Small Prime Difference / Marián Kühnel
Combining Multiplication Methods with Optimized Processing Sequence for Polynomial Multiplier in GF(2k) / Zoya Dyka ; Peter Langendoerfer ; Frank Vater
Author Index
Broadcast Attacks against Code-Based Schemes / Robert Niebuhr ; Pierre-Louis Cayrel
On the Security of Hummingbird-2 against Side Channel Cube Attacks / Xinxin Fan ; Guang Gong
Full Lattice Basis Reduction on Graphics Cards / Timo Bartkewitz ; Tim Güneysu
7.

電子ブック
ＥＢ
7. Rapid Integration of Software Engineering Techniques
Nicolas Guelfi, Didier Buchs, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Graphical Composition of Grid Services / Kenneth J. Turner ; Koon Leai Larry Tan
A UML 2.0 Profile for Architecting B3G Applications / Mauro Caporuscio ; Valerie Issarny
RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation / Giovanni Aiello ; Marco Alessi ; Massimo Cossentino ; Alfonso Urso ; Giuseppe Vella
Trust Strategies and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management Domain / Massimo Felici
Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture / Mario Anzures-Garcia ; Miguel J. Hornos ; Patricia Paderewski-Rodriguez
Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS / Marc-Elian Begin ; Guillermo Diez-Andino Sancho ; Alberto Di Meglio ; Enrico Ferro ; Elisabetta Ronchieri ; Matteo Selmi ; Marian Zurek
Architectural Verification of Black-Box Component-Based Systems / Antonia Bertolino ; Henry Muccini ; Andrea Polini
Systematic Generation of XML Instances to Test Complex Software Applications / Jinghua Gao ; Eda Marchetti
Transformations of UML 2 Models Using Concrete Syntax Patterns / Markus Schmidt
Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping / Matteo Risoldi ; Vasco Amaral
Invited Paper
SketchiXML: A Design Tool for Informal User Interface Rapid Prototyping / Adrien Coyette ; Jean Vanderdonckt ; Quentin Limbourg
Author Index
Graphical Composition of Grid Services / Kenneth J. Turner ; Koon Leai Larry Tan
A UML 2.0 Profile for Architecting B3G Applications / Mauro Caporuscio ; Valerie Issarny
RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation / Giovanni Aiello ; Marco Alessi ; Massimo Cossentino ; Alfonso Urso ; Giuseppe Vella
8.

電子ブック
ＥＢ
8. Rapid Integration of Software Engineering Techniques
Nicolas Guelfi, Didier Buchs, David Hutchison, Takeo Kanade
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Graphical Composition of Grid Services / Kenneth J. Turner ; Koon Leai Larry Tan
A UML 2.0 Profile for Architecting B3G Applications / Mauro Caporuscio ; Valerie Issarny
RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation / Giovanni Aiello ; Marco Alessi ; Massimo Cossentino ; Alfonso Urso ; Giuseppe Vella
Trust Strategies and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management Domain / Massimo Felici
Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture / Mario Anzures-Garcia ; Miguel J. Hornos ; Patricia Paderewski-Rodriguez
Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS / Marc-Elian Begin ; Guillermo Diez-Andino Sancho ; Alberto Di Meglio ; Enrico Ferro ; Elisabetta Ronchieri ; Matteo Selmi ; Marian Zurek
Architectural Verification of Black-Box Component-Based Systems / Antonia Bertolino ; Henry Muccini ; Andrea Polini
Systematic Generation of XML Instances to Test Complex Software Applications / Jinghua Gao ; Eda Marchetti
Transformations of UML 2 Models Using Concrete Syntax Patterns / Markus Schmidt
Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping / Matteo Risoldi ; Vasco Amaral
Invited Paper
SketchiXML: A Design Tool for Informal User Interface Rapid Prototyping / Adrien Coyette ; Jean Vanderdonckt ; Quentin Limbourg
Author Index
Graphical Composition of Grid Services / Kenneth J. Turner ; Koon Leai Larry Tan
A UML 2.0 Profile for Architecting B3G Applications / Mauro Caporuscio ; Valerie Issarny
RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation / Giovanni Aiello ; Marco Alessi ; Massimo Cossentino ; Alfonso Urso ; Giuseppe Vella
9.

電子ブック
ＥＢ
9. Formal Methods for Components and Objects
David Hutchison, Frank S. de Boer, Takeo Kanade, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Parallel and Distributed Processing and Applications - ISPA 2005 Workshops
David Hutchison, Guihai Chen, Takeo Kanade, Minyi Guo, Jian Lu, Yi Pan
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼