Masters Theses in the Pure and Applied Sciences

Masters Theses in the Pure and Applied Sciences
Author: Wade H. Shafer
Publisher: Springer Science & Business Media
Total Pages: 391
Release: 2012-12-06
Genre: Science
ISBN: 1461524539

Masters Theses in the Pure and Applied Sciences was first conceived, published, and disseminated by the Center for Information and Numerical Data Analysis and Synthesis (CINDAS)* at Purdue University in 1957, starting its coverage of theses with the academic year 1955. Beginning with Volume 13, the printing and dis semination phases of the activity were transferred to University Microfilms/Xerox of Ann Arbor, Michigan, with the though that such an arrangement would be more beneficial to the academic and general scientific and technical community. After five years of this joint undertaking we had concluded that it was in the interest of all concerned if the printing and distribution of the volumes were handled by an international publishing house to assure improved service and broader dissemi nation. Hence, starting with Volume 18, Masters Theses in the Pure and Applied Sciences has been disseminated on a worldwide basis by Plenum Publishing Corporation of New York, and in the same year the coverage was broadened to include Canadian universities. All back issues can also be ordered from Plenum. We have reported in Volume 37 (thesis year 1992) a total of 12,549 thesis titles from 25 Canadian and 153 United States universities. We are sure that this broader base for these titles reported will greatly enhance the value of this impor tant annual reference work. While Volume 37 reports theses submitted in 1992, on occasion, certain uni versities do report theses submitted in previous years but not reported at the time.

Masters Theses in the Pure and Applied Sciences

Masters Theses in the Pure and Applied Sciences
Author: W. H. Shafer
Publisher: Springer Science & Business Media
Total Pages: 410
Release: 1994
Genre: Education
ISBN: 9780306447112

Volume 37 (thesis year 1992) reports a total of 12,549 thesis titles from 25 Canadian and 153 US universities (theses submitted in previous years but only now reported are indicated by the thesis year shown in parenthesis). The organization, like that of past years, consists of thesis titles arrange

Management

Management
Author:
Publisher:
Total Pages: 792
Release: 1983
Genre: Industrial engineering
ISBN:

Model Checking Software

Model Checking Software
Author: Patrick Godefroid
Publisher: Springer Science & Business Media
Total Pages: 299
Release: 2005-08-09
Genre: Computers
ISBN: 3540281959

This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.

NASA SP-7500

NASA SP-7500
Author: United States. National Aeronautics and Space Administration
Publisher:
Total Pages: 752
Release: 1986
Genre:
ISBN:

Advances in Database Technology EDBT '96

Advances in Database Technology EDBT '96
Author: Mokrane Bouzeghoub
Publisher: Springer Science & Business Media
Total Pages: 660
Release: 1996-03-18
Genre: Business & Economics
ISBN: 9783540610571

This book presents the refereed proceedings of the Fifth International Conference on Extending Database Technology, EDBT'96, held in Avignon, France in March 1996. The 31 full revised papers included were selected from a total of 178 submissions; also included are some industrial-track papers, contributed by partners of several ESPRIT projects. The volume is organized in topical sections on data mining, active databases, design tools, advanced DBMS, optimization, warehousing, system issues, temporal databases, the web and hypermedia, performance, workflow management, database design, and parallel databases.

Electronic Design Automation for IC System Design, Verification, and Testing

Electronic Design Automation for IC System Design, Verification, and Testing
Author: Luciano Lavagno
Publisher: CRC Press
Total Pages: 644
Release: 2017-12-19
Genre: Technology & Engineering
ISBN: 1482254638

The first of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Second Edition, Electronic Design Automation for IC System Design, Verification, and Testing thoroughly examines system-level design, microarchitectural design, logic verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for integrated circuit (IC) designs, design and verification languages, digital simulation, hardware acceleration and emulation, and much more. New to This Edition: Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower non-recurring engineering (NRE) costs Significant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithography New coverage of cutting-edge applications and approaches realized in the decade since publication of the previous edition—these are illustrated by new chapters on high-level synthesis, system-on-chip (SoC) block-based design, and back-annotating system-level models Offering improved depth and modernity, Electronic Design Automation for IC System Design, Verification, and Testing provides a valuable, state-of-the-art reference for electronic design automation (EDA) students, researchers, and professionals.