Results 1 - 10 of 1,970

R-trees: A Dynamic Index Structure for Spatial Searching

by Antonin Guttman - INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA , 1984
"... In order to handle spatial data efficiently, as required in computer aided design and geo-data applications, a database system needs an index mechanism that will help it retrieve data items quickly according to their spatial locations However, traditional indexing methods are not well suited to data ..."
Abstract - Cited by 2750 (0 self) - Add to MetaCart
In order to handle spatial data efficiently, as required in computer aided design and geo-data applications, a database system needs an index mechanism that will help it retrieve data items quickly according to their spatial locations However, traditional indexing methods are not well suited

Model Checking Programs

by Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA , 2003
"... The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers, proof checkers and model checkers. In this pape ..."
Abstract - Cited by 592 (63 self) - Add to MetaCart
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers, proof checkers and model checkers

Computer-aided verification

by Robert P. Kurshan - IEEE Spectrum , 1996
"... How can a computer program developer ensure that a program actually implements its intended purpose? This article describes a method for checking the correctness of certain types of computer programs. The method is used commercially in the development of programs implemented as integrated circuits a ..."
Abstract - Cited by 108 (4 self) - Add to MetaCart
How can a computer program developer ensure that a program actually implements its intended purpose? This article describes a method for checking the correctness of certain types of computer programs. The method is used commercially in the development of programs implemented as integrated circuits

Computer-Aided Computing

by Natarajan Shankar - Mathematics of Program Construction '95 , 1995
"... Formal program design methods are most useful when supported with suitable mechanization. This need for mechanization has long been apparent, but there have been doubts whether verification technology could cope with the problems of scale and complexity. Though there is very little compelling eviden ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
Formal program design methods are most useful when supported with suitable mechanization. This need for mechanization has long been apparent, but there have been doubts whether verification technology could cope with the problems of scale and complexity. Though there is very little compelling

Descriptive Complexity

by Neil Immerman , 1999
"... book is dedicated to Daniel and Ellie. Preface This book should be of interest to anyone who would like to understand computa-tion from the point of view of logic. The book is designed for graduate students or advanced undergraduates in computer science or mathematics and is suitable as a textbook o ..."
Abstract - Cited by 329 (17 self) - Add to MetaCart
or for self study in the area of descriptive complexity. It is of particular interest to students of computational complexity, database theory, and computer aided verification. Numerous examples and exercises are included in the text, as well as a section at the end of each chapter with references

Engineering – Computer-aided design.

by Malay K Ganai, Lintao Zhang, Pranav Ashar, Aarti Gupta, Sharad Malik
"... We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem domains in VLSI CAD. We observe that in circuit oriented applications like ATPG and verification, different software engi ..."
Abstract - Add to MetaCart
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem domains in VLSI CAD. We observe that in circuit oriented applications like ATPG and verification, different software

Computer-Aided Micro-Mechanism Design

by Elisha Sacks
"... This paper describes computer-aided design tools for micro-mechanisms that help designers validate correct function, detect design flaws, and assess the effects of part clearances. The domain characteristics of curved geometry, joint play, and higher pairs render traditional software inappropriate. ..."
Abstract - Add to MetaCart
This paper describes computer-aided design tools for micro-mechanisms that help designers validate correct function, detect design flaws, and assess the effects of part clearances. The domain characteristics of curved geometry, joint play, and higher pairs render traditional software inappropriate

Computer-Aided Creative Mechanism Design

by Boi Faltings, Kun Sun - Proceedings of IJCAI-93 , 1993
"... A popular saying claims that "innovation is 1% inspiration and 99% perspiration." In this paper, we present techniques for automating most of the perspiration involved in creative design. ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
A popular saying claims that "innovation is 1% inspiration and 99% perspiration." In this paper, we present techniques for automating most of the perspiration involved in creative design.

APPROVED: COMPUTER-AIDED FIXTURE DESIGN VERIFICATION

by Yuezhuang Kang , 2001
"... This study presents Computer-Aided Fixture Design Verification (CAFDV) – the methods and implementations to define, measure and optimize the quality of fixture designs. CAFDV verifies a fixture for its locating performance, machining surface accuracy, stability, and surface accessibility. CAFDV als ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
This study presents Computer-Aided Fixture Design Verification (CAFDV) – the methods and implementations to define, measure and optimize the quality of fixture designs. CAFDV verifies a fixture for its locating performance, machining surface accuracy, stability, and surface accessibility. CAFDV

Computer-Aided Compositional Design and Verification for Modular Robots

by Tarik Tosun, Gangyuan Jing, Hadas Kress-gazit, Mark Yim, Tarik Tosun, Gangyuan Jing
"... Abstract To take full advantage of the flexibility of a modular robot system, users must be able to create and verify new configurations and behaviors quickly. We present a design framework that facilitates rapid creation of new configurations and behaviors through composition of existing ones, and ..."
Abstract - Add to MetaCart
configurations and behaviors during the design process, allowing the user to iden-tify problems early and iterate quickly. In addition to verification, users can evaluate their configurations and behaviors in a physics-based simulator. 1
Results 1 - 10 of 1,970