close
1.

電子ブック
ＥＢ
1. Complex Motion
Bernd J?hne, Erhardt Barth, Takeo Kanade, Rudolf Mester, Hanno Scharr
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Computational Linguistics and Intelligent Text Processing
Alexander Gelbukh, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. 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：
4.

電子ブック
ＥＢ
4. Dynamical Vision
Ren? Vidal, Anders Heyden, Takeo Kanade, Yi Ma
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Evolutionary Computation in Combinatorial Optimization
Carlos Cotta, Jano Hemert, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Evolutionary Multi-Criterion Optimization
Shigeru Obayashi, Kalyanmoy Deb, Tomoyuki Hiroyasu, Takeo Kanade, Tadahiko Murata, Carlo Poloni
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Graph Drawing
Michael Kaufmann, Takeo Kanade, Dorothea Wagner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
The Number of Triangulations on Planar Point Sets / Emo Welzl
The Algorithmic Beauty of Digital Nature / Oliver Deussen
Papers
Integrating Edge Routing into Force-Directed Layout / Tim Dwyer ; Kim Marriott ; Michael Wybrow
Multipole-Based Force Approximation Revisited - A Simple but Fast Implementation Using a Dynamized Enclosing-Circle-Enhanced k-d-Tree / Ulrich Lauther
SSDE: Fast Graph Drawing Using Sampled Spectral Distance Embedding / Ali Civril ; Malik Magdon-Ismail ; Eli Bocek-Rivele
Eigensolver Methods for Progressive Multidimensional Scaling of Large Data / Ulrik Brandes ; Christian Pich
Angle and Distance Constraints on Tree Drawings / Barbara Schlieper
Schematisation of Tree Drawings / Joachim Gudmundsson ; Marc van Kreveld ; Damian Merrick
Trees with Convex Faces and Optimal Angles / Josiah Carlson ; David Eppstein
Three-Dimensional Drawings of Bounded Degree Trees / Fabrizio Frati ; Giuseppe Di Battista
Simultaneous Graph Embedding with Bends and Circular Arcs / Justin Cappos ; Alejandro Estrella-Balderrama ; J. Joseph Fowler ; Stephen G. Kobourov
Embedding Graphs Simultaneously with Fixed Edges
Drawing Cubic Graphs with at Most Five Slopes / Balazs Keszegh ; Janos Pach ; Domotor Palvolgyi ; Geza Toth
Planarity Testing and Optimal Edge Insertion with Embedding Constraints / Carsten Gutwenger ; Karsten Klein ; Petra Mutzel
Open Rectangle-of-Influence Drawings of Inner Triangulated Plane Graphs / Kazuyuki Miura ; Tetsuya Matsuno ; Takao Nishizeki
Planar Decompositions and the Crossing Number of Graphs with an Excluded Minor / David R. Wood ; Jan Arne Telle
On the Crossing Number of Almost Planar Graphs / Petr Hlineny ; Gelasio Salazar
On the Decay of Crossing Numbers / Jacob Fox ; Csaba D. Toth
How Important Is the "Mental Map"? - An Empirical Investigation of a Dynamic Graph Layout Algorithm / Helen C. Purchase ; Eve Hoggan ; Carsten Gorg
Computing Geometric Minimum-Dilation Graphs Is NP-Hard / Rolf Klein ; Martin Kutz
Chordal Graphs as Intersection Graphs of Pseudosegments / Cornelia Dangelmayr ; Stefan Felsner
Parameterized st-Orientations of Graphs: Algorithms and Experiments / Charalampos Papamanthou ; Ioannis G. Tollis
Straight-Line Drawing of Quadrangulations / Eric Fusy
Visualizing Large and Clustered Networks / Katharina A. Lehmann ; Stephan Kottler
Partitioned Drawings / Martin Siebenhaller
Path Simplification for Metro Map Layout
Minimizing Intra-edge Crossings in Wiring Diagrams and Public Transportation Maps / Marc Benkert ; Martin Nollenburg ; Takeaki Uno ; Alexander Wolff
Upright-Quad Drawing of st-Planar Learning Spaces
Choosing Colors for Geometric Graphs Via Color Space Embeddings / Michael B. Dillencourt ; Michael T. Goodrich
Morphing Planar Graphs in Spherical Space / Matthew Landis
k-Colored Point-Set Embeddability of Outerplanar Graphs / Emilio Di Giacomo ; Walter Didimo ; Giuseppe Liotta ; Henk Meijer ; Francesco Trotta ; Stephen K. Wismath
Thickness of Bar 1-Visibility Graphs / Mareike Massow
A New Approximation Algorithm for Bend Minimization in the Kandinsky Model / Wilhelm Barth ; Canan Yildiz
Radial Drawings of Graphs: Geometric Constraints and Trade-Offs
Characterization of Unlabeled Level Planar Trees
Drawing Bipartite Graphs on Two Curves / Luca Grilli
Improved Circular Layouts / Emden R. Gansner ; Yehuda Koren
Controllable and Progressive Edge Clustering for Large Networks / Huamin Qu ; Hong Zhou ; Yingcai Wu
Biclique Edge Cover Graphs and Confluent Drawings / Michael Hirsch ; David Rappaport
Schnyder Woods and Orthogonal Surfaces / Florian Zickfeld
Partitions of Graphs into Trees / Therese Biedl ; Franz J. Brandenburg
Posters
The Website for Graph Visualization Software References (GVSR) / Bruno Pinaud ; Pascale Kuntz ; Fabien Picarougne
Smoother Transitions Between Breadth-First-Spanning-Tree-Based Drawings / Christopher Homan ; Andrew Pavlo ; Jonathan Schull
Corrections
Fast Node Overlap Removal-Correction / Peter J. Stuckey
Graph Drawing Contest
Graph-Drawing Contest Report / Christian A. Duncan ; Gunnar Klau ; Georg Sander|
Author Index
Invited Talks
The Number of Triangulations on Planar Point Sets / Emo Welzl
The Algorithmic Beauty of Digital Nature / Oliver Deussen
8.

電子ブック
ＥＢ
8. Hardware and Software, Verification and Testing
Eyal Bin, Takeo Kanade, Shmuel Ur, Avi Ziv
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Hardware Verification Track
Model Checking PSL Using HOL and SMV / Thomas Tuerk ; Klaus Schneider ; Mike Gordon
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation / Amir Nahir ; Yossi Shiloach ; Avi Ziv
Extracting a Simplified View of Design Functionality Based on Vector Simulation / Onur Guzey ; Charles Wen ; Li-C. Wang ; Tao Feng ; Hillel Miller ; Magdy S. Abadir
Automatic Fault Localization for Property Checking / Stefan Staber ; Gorschwin Fey ; Roderick Bloem ; Rolf Drechsler
Verification of Data Paths Using Unbounded Integers: Automata Strike Back / Tobias Schuele
Tools Track
Smart-Lint: Improving the Verification Flow / Itai Yarom ; Viji Patil
Model-Driven Development with the jABC / Bernhard Steffen ; Tiziana Margaria ; Ralf Nagel ; Sven Jorges ; Christian Kubczak
Detecting Design Flaws in UML State Charts for Embedded Software / Janees Elamkulam ; Ziv Glazberg ; Ishai Rabinovitz ; Gururaja Kowlali ; Satish Chandra Gupta ; Sandeep Kohli ; Sai Dattathrani ; Claudio Paniagua Macia
A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques / Shmuel Ur
An Open Source Simulation Model of Software Development and Testing / Elad Yom-Tov ; Paul Wernick
Software Testing Track
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States / Sharon Barner ; Cindy Eisner ; Daniel Kroening
Evolutionary Testing: A Case Study / Stella Levin ; Amiram Yehudai
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs / Koushik Sen ; Gul Agha
Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise / Yaniv Eytani ; Timo Latvala
Testing the Machine in the World / Michael Jackson
Choosing a Test Modeling Language: A Survey / Alan Hartman ; Mika Katara ; Sergey Olvovsky
Making Model-Based Testing More Agile: A Use Case Driven Approach / Antti Kervinen
Author Index
Hardware Verification Track
Model Checking PSL Using HOL and SMV / Thomas Tuerk ; Klaus Schneider ; Mike Gordon
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation / Amir Nahir ; Yossi Shiloach ; Avi Ziv
9.

電子ブック
ＥＢ
9. Interactive Systems. Design, Specification, and Verification
Gavin Doherty, Ann Blandford, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Job Scheduling Strategies for Parallel Processing
Eitan Frachtenberg, Takeo Kanade, Uwe Schwiegelshohn
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Provably Efficient Two-Level Adaptive Scheduling / Yuxiong He ; Wen-Jing Hsu ; Charles E. Leiserson
Scheduling Dynamically Spawned Processes in MPI-2 / Marcia C. Cera ; Guilherme P. Pezzi ; Mauricio L. Pilla ; Nicolas Maillard ; Philippe O.A. Navaux
Advance Reservation Policies for Workflows / Henan Zhao ; Rizos Sakellariou
On Advantages of Scheduling Using Genetic Fuzzy Systems / Carsten Franke ; Joachim Lepping ; Uwe Schwiegelshohn
Moldable Parallel Job Scheduling Using Job Efficiency: An Iterative Approach / Gerald Sabin ; Matthew Lang ; P. Sadayappan
Adaptive Job Scheduling Via Predictive Job Resource Allocation / Lawrence Barsanti ; Angela C. Sodan
A Data Locality Aware Online Scheduling Approach for I/O-Intensive Jobs with File Sharing / Gaurav Khanna ; Umit Catalyurek ; Tahsin Kurc ; Joel Saltz
Volunteer Computing on Clusters / Deepti Vyas ; Jaspal Subhlok
Load Balancing: Toward the Infinite Network and Beyond / Javier Bustos-Jimenez ; Denis Caromel ; Jose M. Piquer
Symbiotic Space-Sharing on SDSC's DataStar System / Jonathan Weinberg ; Allan Snavely
Modeling Job Arrivals in a Data-Intensive Grid / Hui Li ; Michael Muskulus ; Lex Wolters
On Grid Performance Evaluation Using Synthetic Workloads / Alexandru Iosup ; Dick H.J. Epema ; Alexander Papaspyrou ; Lars Schley ; Baiyi Song ; Ramin Yahyapour
Author Index
Provably Efficient Two-Level Adaptive Scheduling / Yuxiong He ; Wen-Jing Hsu ; Charles E. Leiserson
Scheduling Dynamically Spawned Processes in MPI-2 / Marcia C. Cera ; Guilherme P. Pezzi ; Mauricio L. Pilla ; Nicolas Maillard ; Philippe O.A. Navaux
Advance Reservation Policies for Workflows / Henan Zhao ; Rizos Sakellariou
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼