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: 427
Release: 2012-12-06
Genre: Science
ISBN: 1461303931

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 thought 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 dissemination. 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 39 (thesis year 1994) a total of 13,953 thesis titles from 21 Canadian and 159 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 39 reports theses submitted in 1994, on occasion, certain uni versities do report theses submitted in previous years but not reported at the time.

Intelligent Communication, Control and Devices

Intelligent Communication, Control and Devices
Author: Rajesh Singh
Publisher: Springer
Total Pages: 1729
Release: 2018-04-10
Genre: Technology & Engineering
ISBN: 9811059039

The book focuses on the integration of intelligent communication systems, control systems, and devices related to all aspects of engineering and sciences. It contains high-quality research papers presented at the 2nd international conference, ICICCD 2017, organized by the Department of Electronics, Instrumentation and Control Engineering of University of Petroleum and Energy Studies, Dehradun on 15 and 16 April, 2017. The volume broadly covers recent advances of intelligent communication, intelligent control and intelligent devices. The work presented in this book is original research work, findings and practical development experiences of researchers, academicians, scientists and industrial practitioners.

Modern Software Engineering Concepts and Practices: Advanced Approaches

Modern Software Engineering Concepts and Practices: Advanced Approaches
Author: Dogru, Ali H.
Publisher: IGI Global
Total Pages: 505
Release: 2010-12-31
Genre: Computers
ISBN: 160960217X

Software engineering has advanced rapidly in recent years in parallel with the complexity and scale of software systems. New requirements in software systems yield innovative approaches that are developed either through introducing new paradigms or extending the capabilities of well-established approaches. Modern Software Engineering Concepts and Practices: Advanced Approaches provides emerging theoretical approaches and their practices. This book includes case studies and real-world practices and presents a range of advanced approaches to reflect various perspectives in the discipline.

Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering
Author: Johann M. Schumann
Publisher: Springer Science & Business Media
Total Pages: 252
Release: 2013-06-29
Genre: Computers
ISBN: 3662226464

Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on protocol verification, verification of security protocols, and logic-based software reuse, this book provides techniques for assessing the prover's capabilities and for selecting and developing an appropriate interface architecture.

Quality Software Through Reuse and Integration

Quality Software Through Reuse and Integration
Author: Stuart H. Rubin
Publisher: Springer
Total Pages: 323
Release: 2017-08-15
Genre: Technology & Engineering
ISBN: 331956157X

This book presents 13 high-quality research articles that provide long sought-after answers to questions concerning various aspects of reuse and integration. Its contents lead to the inescapable conclusion that software, hardware, and design productivity – including quality attributes – is not bounded. It combines the best of theory and practice and contains recipes for increasing the output of our productivity sectors. The idea of improving software quality through reuse is not new. After all, if software works and is needed, why not simply reuse it? What is new and evolving, however, is the idea of relative validation through testing and reuse, and the abstraction of code into frameworks for instantiation and reuse. Literal code can be abstracted. These abstractions can in turn yield similar codes, which serve to verify their patterns. There is a taxonomy of representations from the lowest-level literal codes to their highest-level natural language descriptions. As a result, product quality is improved in proportion to the degree of reuse at all levels of abstraction. Any software that is, in theory, complex enough to allow for self-reference, cannot be certified as being absolutely valid. The best that can be attained is a relative validity, which is based on testing. Axiomatic, denotational, and other program semantics are more difficult to verify than the codes, which they represent! But, are there any limits to testing? And how can we maximize the reliability of software or hardware products through testing? These are essential questions that need to be addressed; and, will be addressed herein.

High Performance Computing Systems and Applications

High Performance Computing Systems and Applications
Author: Robert D. Kent
Publisher: Springer Science & Business Media
Total Pages: 337
Release: 2012-12-06
Genre: Computers
ISBN: 1461502888

High Performance Computing Systems and Applications contains fully refereed papers from the 15th Annual Symposium on High Performance Computing. These papers cover both fundamental and applied topics in HPC: parallel algorithms, distributed systems and architectures, distributed memory and performance, high level applications, tools and solvers, numerical methods and simulation, advanced computing systems, and the emerging area of computational grids. High Performance Computing Systems and Applications is suitable as a secondary text for graduate level courses, and as a reference for researchers and practitioners in industry.

Signal

Signal
Author:
Publisher:
Total Pages: 1108
Release: 1987
Genre: Armed Forces
ISBN:

The Transputer in Australasia

The Transputer in Australasia
Author: John Hulskamp
Publisher: IOS Press
Total Pages: 212
Release: 1991
Genre: Computers
ISBN: 9789051990683

Covering recent developments involving transputer technology in the Australasian region, this work contains 35 papers addressing transputer applications in communications, networks, fuzzy systems, image processing and medical equipment.