springer us jul 1995 (10 Ergebnisse)

Buch. Zustand: Neu. Neuware - Program understanding plays an important role in nearly all software related tasks. It is vital to the development, maintenance and reuse activities. Program understanding is indispensable for improving the quality of software development. Several development activities such as code reviews, debugging and some testing approaches require programmers to read and understand programs. Maintenance activities cannot be performed without a deep and correct understanding of the component to be maintained. Program understanding is vital to the reuse of code components because they cannot be utilized without a clear understanding of what they do. If a candidate reusable component needs to be modified, an understanding how it is designed is also required. of This monograph presents a knowledge-based approach to the automation of program understanding. This approach generates rigorous program documentation mechanically by combining and building on strengths of a practical program decomposition method, the axiomatic correctness notation, and the knowledge based analysis approaches. More specifically, this approach documents programs by generating first order predicate logic annotations of their loops. In this approach, loops are classified according to their complexity levels. Based on this taxonomy, variations on the basic analysis approach that best fit each of the different classes are described. In general, mechanical annotation of loops is performed by first decomposing them using data flow analysis. This decomposition encapsulates interdependent statements in events, which can be analyzed individually.

Buch. Zustand: Neu. Neuware - Advances in the state of the art mean the signal processing ICs of ever-increasing complexity are being introduced. While the typical portion of a large IC devoted to analog circuits has diminished, the performance of those surviving analog signal processing circuits remains vital and their design challenging. Moreover, the emerging high-definition TV technology has created a new area for IC development, one with formidable signal processing requirements. The antialiasing filters needed for one proposed HDTV decoder motivated the research documented in this book. Sharply selective filters place tight constraints on the permitted excess phase shifts of their constituent circuits. Combined with stringent requirements for low distortion at video frequencies, these constraints challenge the IC filter designer. Integrated Video-Frequency Continuous-Time Filters: High-Performance Realizations in BiCMOS deals with what is arguably the mainstay of analog signal processing circuits. Prominent applications in computer disk-drive read channels, video receivers, rf circuits, and antialiasing and reconstruction in data converters testifies to their importance. Moreover, they are excellent benchmarks for more general analog signal processors. Bipolar and MOSFET transistors, freely combined at the lowest circuit levels, provide the designer with an opportunity to develop potent variations on the standard idioms. The book considers the general principles of BiCMOS circuit design, through to a demanding design problem. This case-study approach allows a concrete discussion of the justification for and practical trade-offs of each design decision. Audience: A reference work for experienced IC designers and a text for advanced IC design students.

Buch. Zustand: Neu. Neuware - Susan M. De Vos uses comparative and life course perspectives to provide an in-depth demographic study of the household. Based on data gathered by the World Fertility Survey, this illuminating reference explores household composition in six Latin American countries and compares the situation with that in the United States and western Europe as well as with each other. The study examines the complex household; non-family household living; and the living arrangements of children, young adults, middle-aged people, and elderly people.

Buch. Zustand: Neu. Neuware - Low-Voltage Low-Power Analog Integrated Circuits brings together in one place important contributions and state-of-the-art research results in this rapidly advancing area. Low-Voltage Low-Power Analog Integrated Circuits serves as an excellent reference, providing insight into some of the most important issues in the field.

Buch. Zustand: Neu. Neuware - This book describes several methods and systems solving one of the highlighted problems within computer aided design, namely architectural and logic synthesis. The book emphasises the most recent technologies in high level synthesis, concentrating on applicative studies and practical constraints or criteria during synthesis. Logic and Architecture Synthesis concentrates on the practical problems involving automatic synthesis of designs. It is essential reading for researchers and CAD Managers working in this area.

Buch. Zustand: Neu. Neuware - This volume includes papers presented at the Third Annual Computation and Neural Systems meeting (CNS\*94) held in Monterey California, July 21 - July 26, 1994. This collection includes 71 of the more than 100 papers presented at this year's meeting. Acceptance for meeting presentation was based on the peer review of preliminary papers by at least two referees. The papers in this volume were submitted in final form after the meeting. As represented by this volume, CNS meetings continue to expand in quality, size and breadth of focus as increasing numbers of neuroscientists are taking a computational approach to understanding nervous system function. The CNS meetings are intended to showcase the best of current research in computational neuroscience. As such the meeting is fundamentally focused on understanding the relationship between the structure of neIVOUS systems and their function. What is clear from the continued expansion of the CNS meetings is that computational approaches are increasingly being applied at all levels of neurobiological analysis. in an ever growing number of experimental preparations. and neural subsystems. Thus. experimental subjects range from crickets to primates; sensory systems range from vision to electroreception; experimental approaches range from realistic models of ion channels to the analysis of the information content of spike trains. For this reason, the eNS meetings represent an opportunity for computational neurobiologists to consider their research results in a much broader context than is usually possible.

Buch. Zustand: Neu. Neuware - Towards Balanced Automation The concept. Manufacturing industries worldwide are facing tough challenges as a consequence of the globalization of economy and the openness of the markets. Progress of the economic blocks such as the European Union, NAFTA, and MERCOSUR, and the global agreements such as GATT, in addition to their obvious economic and social consequences, provoke strong paradigm shifts in the way that the manufacturing systems are conceived and operate. To increase profitability and reduce the manufacturing costs, there is a recent tendency towards establishing partnership links among the involved industries, usually between big industries and the networks of components' suppliers. To benefit from the advances in technology, similar agreements are being established between industries and universities and research institutes. Such an open tete-cooperation network may be identified as an extended enterprise or a virtual enterprise. In fact, the manufacturing process is no more carried out by a single enterprise, rather each enterprise is just a node that adds some value (a step in the manufacturing chain) to the cooperation network of enterprises. The new trends create new scenarios and technological challenges, especially to the Small and Medium size Enterprises (SMEs) that clearly comprise the overwhelming majority of manufacturing enterprises worldwide. Under the classical scenarios, these SMEs would have had big difficulties to access or benefit from the state of the art technology, due to their limited human, financial, and material resources.

Buch. Zustand: Neu. Neuware - The operation of semiconductor devices depends upon the use of electrical potential barriers (such as gate depletion) in controlling the carrier densities (electrons and holes) and their transport. Although a successful device design is quite complicated and involves many aspects, the device engineering is mostly to devise a 'best' device design by defIning optimal device structures and manipulating impurity profIles to obtain optimal control of the carrier flow through the device. This becomes increasingly diffIcult as the device scale becomes smaller and smaller. Since the introduction of integrated circuits, the number of individual transistors on a single chip has doubled approximately every three years. As the number of devices has grown, the critical dimension of the smallest feature, such as a gate length (which is related to the transport length defIning the channel), has consequently declined. The reduction of this design rule proceeds approximately by a factor of 1. 4 each generation, which means we will be using 0. 1-0. 15 ). lm rules for the 4 Gb chips a decade from now. If we continue this extrapolation, current technology will require 30 nm design rules, and a cell 3 2 size 10 nm , for a 1Tb memory chip by the year 2020. New problems keep hindering the high-performance requirement. Well-known, but older, problems include hot carrier effects, short-channel effects, etc. A potential problem, which illustrates the need for quantum transport, is caused by impurity fluctuations.

Buch. Zustand: Neu. Neuware - Open Distributed Processing contains the selected proceedings of the Third International Conference on Open Distributed Systems, organized by the International Federation for Information Processing and held in Brisbane, Australia, in February 1995. The book deals with the interconnectivity problems that advanced computer networking raises, providing those working in the area with the most recent research, including security and management issues.

Buch. Zustand: Neu. Neuware - In this book about a hundred papers are presented. These were selected from over 450 papers submitted to WCCE95. The papers are of high quality and cover many aspects of computers in education. Within the overall theme of 'Liberating the learner' the papers cover the following main conference themes: Accreditation, Artificial Intelligence, Costing, Developing Countries, Distance Learning, Equity Issues, Evaluation (Formative and Summative), Flexible Learning, Implications, Informatics as Study Topic, Information Technology, Infrastructure, Integration, Knowledge as a Resource, Learner Centred Learning, Methodologies, National Policies, Resources, Social Issues, Software, Teacher Education, Tutoring, Visions. Also included are papers from the chairpersons of the six IFIP Working Groups on education (elementary/primary education, secondary education, university education, vocational education and training, research on educational applications and distance learning). In these papers the work in the groups is explained and a basis is given for the work of Professional Groups during the world conference. In the Professional Groups experts share their experience and expertise with other expert practitioners and contribute to a postconference report which will determine future actions of IFIP with respect to education. J. David Tinsley J. van Weert Tom Editors Acknowledgement The editors wish to thank Deryn Watson of Kings College London for organizing the paper reviewing process. The editors also wish to thank the School of Informatics, Faculty of Mathematics and Informatics of the Catholic University of Nijmegen for its support in the production of this document.