Filter
(found 373 products)
Book cover image
Computer and Computing Technologies in Agriculture IX: 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part I
https://magrudy-assets.storage.googleapis.com/9783319839202.jpg
198.450000 USD

Computer and Computing Technologies in Agriculture IX: 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part I

Paperback
Book cover image
This handbook presents fundamental knowledge on the hardware/software (HW/SW) codesign methodology. Contributing expert authors look at key techniques in the design flow as well as selected codesign tools and design environments, building on basic knowledge to consider the latest techniques. The book enables readers to gain real benefits from the ...
Handbook of Hardware/Software Codesign
This handbook presents fundamental knowledge on the hardware/software (HW/SW) codesign methodology. Contributing expert authors look at key techniques in the design flow as well as selected codesign tools and design environments, building on basic knowledge to consider the latest techniques. The book enables readers to gain real benefits from the HW/SW codesign methodology through explanations and case studies which demonstrate its usefulness. Readers are invited to follow the progress of design techniques through this work, which assists readers in following current research directions and learning about state-of-the-art techniques. Students and researchers will appreciate the wide spectrum of subjects that belong to the design methodology from this handbook.
https://magrudy-assets.storage.googleapis.com/9789401772662.jpg
787.490000 USD

Handbook of Hardware/Software Codesign

Hardback
Book cover image
In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual. For if the wit be too dull, they sharpen it; ...
Practical Foundations of Business System Specifications
In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual. For if the wit be too dull, they sharpen it; if too wandering, they fix it; if too inherent in the sense, they abstract it. Roger Bacon (1214?-1294?) Mathematics-the art and science of effective reasoning. E. W. Dijkstra, 1976 A person who had studied at a good mathematical school can do anything. Ye. Bunimovich, 2000 This is the third book published by Kluwer based on the very successful OOPSLA workshops on behavioral semantics (the first two books were published in 1996 [KH 1996] and 1999 [KRS 1999]). These workshops fostered precise and explicit specifications of business and system semantics, independently of any (possible) realization. Some progress has been made in these areas, both in academia and in industry. At the same time, in too many cases only lip service to elegant specifica- tions of semantics has been provided, and as a result the systems we build or buy are all too often not what they are supposed to be. We used to live with that, and quite often users relied on human intermediaries to sort the things out. This approach worked perfectly well for a long time.
https://magrudy-assets.storage.googleapis.com/9789048163670.jpg
208.950000 USD

Practical Foundations of Business System Specifications

Paperback / softback
Book cover image
The subject of this book is the control of software engineering. The rapidly increasing demand for software is accompanied by a growth in the number of products on the market, as well as their size and complexity. Our ability to control software engineering is hardly keeping pace with this growth. ...
Towards a Software Factory
The subject of this book is the control of software engineering. The rapidly increasing demand for software is accompanied by a growth in the number of products on the market, as well as their size and complexity. Our ability to control software engineering is hardly keeping pace with this growth. As a result, software projects are often late, software products sometimes lack the required quality and the productivity improvements achieved by software engineering are insufficient to keep up with the demand This book describes ways to improve software engineering control. It argues that this should be expanded to include control of the development, maintenance and reuse of software, thus making it possible to apply many of the ideas and concepts that originate in production control and quality control. The book is based on research and experience accumulated over a number of years. During this period I had two employers: Eindhoven University of Technology and Philips Electronics. Research is not a one-man activity and I would like to thank the following persons for their contributions to the successful completion of this project. First and foremost my Ph. D. advisers Theo Bemelmans, Hans van Vliet and Fred Heemstra whose insights and experience proved invaluable at every stage. Many thanks are also due to Rob Kusters and Fred Heemstra for their patience in listening to my sometimes wild ideas and for being such excellent colleagues.
https://magrudy-assets.storage.googleapis.com/9789401050968.jpg
146.990000 USD

Towards a Software Factory

by Michiel Van Genuchten
Paperback / softback
Book cover image
In the continued quest for increased economic benefits from our water resources, numerous structures and operating policies for controlling the river flow have been built and implemented. These structures and associated operating policies can facilitate navigation; they can provide greater quantities of reliable water supplies to meet agricultural, industrial and ...
Restoration of Degraded Rivers: Challenges, Issues and Experiences
In the continued quest for increased economic benefits from our water resources, numerous structures and operating policies for controlling the river flow have been built and implemented. These structures and associated operating policies can facilitate navigation; they can provide greater quantities of reliable water supplies to meet agricultural, industrial and municipal water demands; they can generate hydroelectric power and energy; and they can provide increased flood protection, recreation, and other benefits. Over the past half-century we have converted many of our rivers into engineered waterways. These straightened, often periodically dredged, engineered rivers are complete with dikes, reservoirs, weirs, and diversion canals. All this engineering has enhanced economic development. However, as rivers and their floodplains become stressed from the excessive use and misuse of their resources, their contribution to economic development can be threatened. Evidence of economic and ecological degradation, especially in relatively large river systems such as the Danube, the Mississippi, the Rhine, and the Volga, has increased our appreciation of beneficial roles natural aquatic and terrestrial ecosystems play in water quantity and quality management. We have recognized the need to pay more attention to letting nature help us regulate water quantity and quality rather than working against nature and its variabilities and uncertainties. Today there are efforts underway in many developed river basins to 'de- engineer' or return these straightened and controlled rivers to a more natural state.
https://magrudy-assets.storage.googleapis.com/9789048149919.jpg
366.450000 USD

Restoration of Degraded Rivers: Challenges, Issues and Experiences

Paperback / softback
Book cover image
The aim of this book is to present the mathematical theory and the know-how to make computer programs for the numerical approximation of Optimal Control of PDE's. The computer programs are presented in a straightforward generic language. As a consequence they are well structured, clearly explained and can be translated ...
Optimal Control from Theory to Computer Programs
The aim of this book is to present the mathematical theory and the know-how to make computer programs for the numerical approximation of Optimal Control of PDE's. The computer programs are presented in a straightforward generic language. As a consequence they are well structured, clearly explained and can be translated easily into any high level programming language. Applications and corresponding numerical tests are also given and discussed. To our knowledge, this is the first book to put together mathematics and computer programs for Optimal Control in order to bridge the gap between mathematical abstract algorithms and concrete numerical ones. The text is addressed to students and graduates in Mathematics, Mechanics, Applied Mathematics, Numerical Software, Information Technology and Engineering. It can also be used for Master and Ph.D. programs.
https://magrudy-assets.storage.googleapis.com/9789048164981.jpg
208.950000 USD

Optimal Control from Theory to Computer Programs

by Pekka Neittaanmaki, Viorel Arnautu
Paperback / softback
Book cover image
A large international conference in Electrical Engineering and Applied Computing was just held in London, 30 June - 2 July, 2010. This volume will contain revised and extended research articles written by prominent researchers participating in the conference. Topics covered include Control Engineering, Network Management, Wireless Networks, Biotechnology, Signal Processing, ...
Electrical Engineering and Applied Computing
A large international conference in Electrical Engineering and Applied Computing was just held in London, 30 June - 2 July, 2010. This volume will contain revised and extended research articles written by prominent researchers participating in the conference. Topics covered include Control Engineering, Network Management, Wireless Networks, Biotechnology, Signal Processing, Computational Intelligence, Data Mining, Computational Statistics, Internet Computing, High Performance Computing, and industrial applications. The book will offer the states of arts of tremendous advances in electrical engineering and applied computing and also serve as an excellent reference work for researchers and graduate students working on electrical engineering and applied computing
https://magrudy-assets.storage.googleapis.com/9789400736450.jpg
293.990000 USD

Electrical Engineering and Applied Computing

Paperback / softback
Book cover image
IAENG Transactions on Engineering Technologies contains forty-nine revised and extended research articles, written by prominent researchers participating in the conference. Topics covered include circuits, engineering mathematics, control theory, communications systems, systems engineering, manufacture engineering, computational biology, chemical engineering, and industrial applications. This book offers the state of art of tremendous ...
IAENG Transactions on Engineering Technologies: Special Issue of the World Congress on Engineering and Computer Science: 2012
IAENG Transactions on Engineering Technologies contains forty-nine revised and extended research articles, written by prominent researchers participating in the conference. Topics covered include circuits, engineering mathematics, control theory, communications systems, systems engineering, manufacture engineering, computational biology, chemical engineering, and industrial applications. This book offers the state of art of tremendous advances in engineering technologies and physical science and applications, and also serves as an excellent source of reference for researchers and graduate students working with/on engineering technologies and physical science and applications.
https://magrudy-assets.storage.googleapis.com/9789400768178.jpg
262.490000 USD

IAENG Transactions on Engineering Technologies: Special Issue of the World Congress on Engineering and Computer Science: 2012

Hardback
Book cover image
The complexity of issues requiring rational decision making grows and thus such decisions are becoming more and more difficult, despite advances in methodology and tools for decision support and in other areas of research. Globalization, interlinks between environmental, industrial, social and political issues, and rapid speed of change all contribute ...
Model-Based Decision Support Methodology with Environmental Applications
The complexity of issues requiring rational decision making grows and thus such decisions are becoming more and more difficult, despite advances in methodology and tools for decision support and in other areas of research. Globalization, interlinks between environmental, industrial, social and political issues, and rapid speed of change all contribute to the increase of this complexity. Specialized knowledge about decision-making processes and their support is increasing, but a large spectrum of approaches presented in the literature is typically illustrated only by simple examples. Moreover, the integration of model-based decision support methodologies and tools with specialized model-based knowledge developed for handling real problems in environmental, engineering, industrial, economical, social and political activities is often not satisfactory. Therefore, there is a need to present the state of art of methodology and tools for development of model-based decision support systems, and illustrate this state by applications to various complex real-world decision problems. The monograph reports many years of experience of many researchers, who have not only contributed to the developments in operations research but also succeeded to integrate knowledge and craft of various disciplines into several modern decision support systems which have been applied to actual complex decision-making processes in various fields of policy making. The experience presented in this book will be of value to researchers and practitioners in various fields. The issues discussed in this book gain in importance with the development of the new era of the information society, where information, knowledge, and ways of processing them become a decisive part of human activities. The examples presented in this book illustrate how how various methods and tools of model-based decision support can actually be used for helping modern decision makers that face complex problems. Overview of the contents: The first part of this three-part book presents the methodological background and characteristics of modern decision-making environment, and the value of model-based decision support thus addressing current challenges of decision support. It also provides the methodology of building and analyzing mathematical models that represent underlying physical and economic processes, and that are useful for modern decision makers at various stages of decision making. These methods support not only the analysis of Pareto-efficient solutions that correspond best to decision maker preferences but also allow the use of other modeling concepts like soft constraints, soft simulation, or inverse simulation. The second part describes various types of tools that are used for the development of decision support systems. These include tools for modeling, simulation, optimization, tools supporting choice and user interfaces. The described tools are both standard, commercially available, and nonstandard, public domain or shareware software, which are robust enough to be used also for complex applications. All four environmental applications (regional water quality management, land use planning, cost-effective policies aimed at improving the European air quality, energy planning with environmental implications) presented in the third part of the book rely on many years of cooperation between the authors of the book with several IIASA's projects, and with many researchers from the wide IIASA network of collaborating institutions. All these applications are characterized by an intensive use of model-based decision support. Finally, the appendix contains a short description of some of the tools described in the book that are available from IIASA, free of charge, for research and educational purposes. The experiences reported in this book indicate that the development of DSSs for strategic environmental decision making should be a joint effort involving experts in the subject area, modelers, and decision support experts. For the other experiences discussed in this book, the authors stress the importance of good data bases, and good libraries of tools. One of the most important requirements is a modular structure of a DSS that enhances the reusability of system modules. In such modular structures, user interfaces play an important role. The book shows how modern achievements in mathematical programming and computer sciences may be exploited for supporting decision making, especially about strategic environmental problems. It presents the methodological background of various methods for model-based decision support and reviews methods and tools for model development and analysis. The methods and tools are amply illustrated with extensive applications. Audience: This book will be of interest to researchers and practitioners in the fields of model development and analysis, model-based decision analysis and support, (particularly in the environment, economics, agriculture, engineering, and negotiations areas) and mathematical programming. For understanding of some parts of the text a background in mathematics and operational research is required but several chapters of the book will be of value also for readers without such a background. The monograph is also suitable for use as a text book for courses on advanced (Master and Ph.D.) levels for programs on Operations Research, decision analysis, decision support and various environmental studies (depending on the program different parts of the book may be emphasized).
https://magrudy-assets.storage.googleapis.com/9789048154647.jpg
209.990000 USD

Model-Based Decision Support Methodology with Environmental Applications

Paperback / softback
Book cover image
A large international conference in Electrical Engineering and Applied Computing was just held in London, 30 June - 2 July, 2010. This volume will contain revised and extended research articles written by prominent researchers participating in the conference. Topics covered include Control Engineering, Network Management, Wireless Networks, Biotechnology, Signal Processing, ...
Electrical Engineering and Applied Computing
A large international conference in Electrical Engineering and Applied Computing was just held in London, 30 June - 2 July, 2010. This volume will contain revised and extended research articles written by prominent researchers participating in the conference. Topics covered include Control Engineering, Network Management, Wireless Networks, Biotechnology, Signal Processing, Computational Intelligence, Data Mining, Computational Statistics, Internet Computing, High Performance Computing, and industrial applications. The book will offer the states of arts of tremendous advances in electrical engineering and applied computing and also serve as an excellent reference work for researchers and graduate students working on electrical engineering and applied computing
https://magrudy-assets.storage.googleapis.com/9789400711914.jpg
314.990000 USD

Electrical Engineering and Applied Computing

Hardback
Book cover image
In delivering lectures and writing books, we were most often forced to pay absolutely no attention to a great body of interesting results and useful algorithms appearing in numerous sources and occasionally encountered. It was absolutely that most of these re- sults would finally be forgotten because it is impossible ...
Graph Theory for Programmers: Algorithms for Processing Trees
In delivering lectures and writing books, we were most often forced to pay absolutely no attention to a great body of interesting results and useful algorithms appearing in numerous sources and occasionally encountered. It was absolutely that most of these re- sults would finally be forgotten because it is impossible to run through the entire variety of sources where these materials could be published. Therefore, we decided to do what we can to correct this situation. We discussed this problem with Ershov and came to an idea to write an encyclopedia of algorithms on graphs focusing our main attention on the algorithms already used in programming and their generalizations or modifications. We thought that it is reasonable to group all graphs into certain classes and place the algo- rithms developed for each class into a separate book. The existence of trees, i. e. , a class of graphs especially important for programming, also supported this decision. This monograph is the first but, as we hope, not the last book written as part of our project. It was preceded by two books Algorithms on Trees (1984) and Algorithms of Processing of Trees (1990) small editions of which were published at the Computer Center of the Siberian Division of the Russian Academy of Sciences. The books were distributed immediately and this made out our decision to prepare a combined mono- graph on the basis of these books even stronger.
https://magrudy-assets.storage.googleapis.com/9789401058049.jpg
115.490000 USD

Graph Theory for Programmers: Algorithms for Processing Trees

by Vladimir A. Evstigneev, Victor N. Kasyanov
Paperback / softback
Book cover image
Software architecture is a primary factor in the creation and evolution of virtually all products involving software. It is a topic of major interest in the research community where pronusmg formalisms, processes, and technologies are under development. Architecture is also of major interest in industry because it is recognized as ...
Software Architecture: TC2 First Working IFIP Conference on Software Architecture (WICSA1) 22-24 February 1999, San Antonio, Texas, USA
Software architecture is a primary factor in the creation and evolution of virtually all products involving software. It is a topic of major interest in the research community where pronusmg formalisms, processes, and technologies are under development. Architecture is also of major interest in industry because it is recognized as a significant leverage point for manipulating such basic development factors as cost, quality, and interval. Its importance is attested to by the fact that there are several international workshop series as well as major conference sessions devoted to it. The First Working IFIP Conference on Software Architecture (WICSAl) provided a focused and dedicated forum for the international software architecture community to unify and coordinate its effort to advance the state of practice and research. WICSA 1 was organized to facilitate information exchange between practising software architects and software architecture researchers. The conference was held in San Antonio, Texas, USA, from February 22nd to February 24th, 1999; it was the initiating event for the new IFIP TC-2 Working Group on Software Architecture. This proceedings document contains the papers accepted for the conference. The papers in this volume comprise both experience reports and technical papers. The proceedings reflect the structure of the conference and are divided into six sections corresponding to the working groups established for the conference.
https://magrudy-assets.storage.googleapis.com/9780792384533.jpg
293.990000 USD

Software Architecture: TC2 First Working IFIP Conference on Software Architecture (WICSA1) 22-24 February 1999, San Antonio, Texas, USA

Hardback
Book cover image
Computer Systems and Software Engineering is a compilation of sixteen state-of-the-art lectures and keynote speeches given at the COMPEURO '92 conference. The contributions are from leading researchers, each of whom gives a new insight into subjects ranging from hardware design through parallelism to computer applications. The pragmatic flavour of the ...
Computer Systems and Software Engineering: State-of-the-art
Computer Systems and Software Engineering is a compilation of sixteen state-of-the-art lectures and keynote speeches given at the COMPEURO '92 conference. The contributions are from leading researchers, each of whom gives a new insight into subjects ranging from hardware design through parallelism to computer applications. The pragmatic flavour of the contributions makes the book a valuable asset for both researchers and designers alike. The book covers the following subjects: Hardware Design: memory technology, logic design, algorithms and architecture; Parallel Processing: programming, cellular neural networks and load balancing; Software Engineering: machine learning, logic programming and program correctness; Visualization: the graphical computer interface.
https://magrudy-assets.storage.googleapis.com/9780792317180.jpg
241.490000 USD

Computer Systems and Software Engineering: State-of-the-art

Hardback
Book cover image
A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements characterize the new flow: First, dedicated verification techniques are integrated which target the different levels of abstraction. Second, each verification technique is complemented by an approach to measure the achieved ...
Quality-Driven SystemC Design
A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements characterize the new flow: First, dedicated verification techniques are integrated which target the different levels of abstraction. Second, each verification technique is complemented by an approach to measure the achieved verification quality. The new flow distinguishes three levels of abstraction (namely system level, top level and block level) and can be incorporated in existing approaches. After reviewing the preliminary concepts, in the following chapters the three levels for modeling and verification are considered in detail. At each level the verification quality is measured. In summary, following the new design and verification flow a high overall quality results.
https://magrudy-assets.storage.googleapis.com/9789048136308.jpg
167.990000 USD

Quality-Driven SystemC Design

by Rolf Drechsler, Daniel Grosse
Hardback
Book cover image
The deployment of communications networks and distributed computing systems requires the use of open, standards-based, integrated management systems. During the last five years, the overall industry effort to develop, enhance, and integrate man- agement systems has crystallized in the concept of management platforms. Manage- ment platforms are software systems which ...
Networks and Systems Management: Platforms Analysis and Evaluation
The deployment of communications networks and distributed computing systems requires the use of open, standards-based, integrated management systems. During the last five years, the overall industry effort to develop, enhance, and integrate man- agement systems has crystallized in the concept of management platforms. Manage- ment platforms are software systems which provide open, multi vendor, multiprotocol distributed management services. They allow multiple management applications to run over core platform services which constitute the essential part of the management platform framework. This book provides a comprehensive analysis of the features and technical character- istics of distributed management platforms by examining both qualitative and quanti- tative management capabilities required by each management platform service. The analysis covers the management platform run-time environment, the operational aspects of using management platforms, the development environment, which con- sists of software toolkits that are used to build management applications, the imple- mentation environment, which deals with testing interoperability aspects of using management platforms, and of course the distributed applications services which plat- forms make available to management applications. Finally, the analysis covers the capabilities of several management applications, either generic or specific to devices or resources which run on top of management platforms.
https://magrudy-assets.storage.googleapis.com/9780792398790.jpg
278.250000 USD

Networks and Systems Management: Platforms Analysis and Evaluation

by Iosif G. Ghetie
Hardback
Book cover image
Decision Science and Technology is a compilation of chapters written in honor of a remarkable man, Ward Edwards. Among Ward's many contributions are two significant accomplishments, either of which would have been enough for a very distinguished career. First, Ward is the founder of behavioral decision theory. This interdisciplinary discipline ...
Decision Science and Technology: Reflections on the Contributions of Ward Edwards
Decision Science and Technology is a compilation of chapters written in honor of a remarkable man, Ward Edwards. Among Ward's many contributions are two significant accomplishments, either of which would have been enough for a very distinguished career. First, Ward is the founder of behavioral decision theory. This interdisciplinary discipline addresses the question of how people actually confront decisions, as opposed to the question of how they should make decisions. Second, Ward laid the groundwork for sound normative systems by noticing which tasks humans can do well and which tasks computers should perform. This volume, organized into five parts, reflects those accomplishments and more. The book is divided into four sections: `Behavioral Decision Theory' examines theoretical descriptions and empirical findings about human decision making. `Decision Analysis' examines topics in decision analysis.`Decision in Society' explores issues in societal decision making. The final section, `Historical Notes', provides some historical perspectives on the development of the decision theory. Within these sections, major, multi-disciplinary scholars in decision theory have written chapters exploring some very bold themes in the field, as an examination of the book's contents will show. The main reason for the health of the Decision Analysis field is its close links between theory and applications that have characterized it over the years. In this volume, the chapters by Barron and Barrett; Fishburn; Fryback; Keeney; Moreno, Pericchi, and Kadane; Howard; Phillips; Slovic and Gregory; Winkler; and, above all, von Winterfeldt focus on those links. Decision science originally developed out of concern with real decision problems; and applied work, such as is represented in this volume, will help the field to remain strong.
https://magrudy-assets.storage.googleapis.com/9780792383994.jpg
282.450000 USD

Decision Science and Technology: Reflections on the Contributions of Ward Edwards

Hardback
Book cover image
We are invited to deal with mathematical activity in a sys- tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy- chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been ...
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
We are invited to deal with mathematical activity in a sys- tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy- chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the- orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction methods have made their way into many areas of research and product development in computer science. For instance, deduction systems are increasingly used in software and hardware verification to ensure the correctness of computer hardware and computer programs with respect to a given specification. Logic programming, while still falling somewhat short of its expectations, is now widely used, deduc- tive databases are well-developed and logic-based description and analysis of hard-and software is commonplace today.
https://magrudy-assets.storage.googleapis.com/9789048150526.jpg
292.950000 USD

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Paperback / softback
Book cover image
Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. The methods and techniques derived from Organisational Semiotics enable us to study the organisation by examining how information is created and used for communication, coordination and performance of actions towards organisational objectives. The latest development of the ...
Virtual, Distributed and Flexible Organisations: Studies in Organisational Semiotics
Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. The methods and techniques derived from Organisational Semiotics enable us to study the organisation by examining how information is created and used for communication, coordination and performance of actions towards organisational objectives. The latest development of the young discipline and its applications have been reported in this book, which provides a useful guide and a valuable reference to anyone working in the areas of organisational study and information systems development.
https://magrudy-assets.storage.googleapis.com/9789048166039.jpg
208.950000 USD

Virtual, Distributed and Flexible Organisations: Studies in Organisational Semiotics

Paperback / softback
Book cover image
High-Speed Serial Interface (HSSI) devices have become widespread in communications, from the embedded to high-performance computing systems, and from on-chip to a wide haul. Testing of HSSIs has been a challenging topic because of signal integrity issues, long test time and the need of expensive instruments. Accelerating Test, Validation and ...
Accelerating Test, Validation and Debug of High Speed Serial Interfaces
High-Speed Serial Interface (HSSI) devices have become widespread in communications, from the embedded to high-performance computing systems, and from on-chip to a wide haul. Testing of HSSIs has been a challenging topic because of signal integrity issues, long test time and the need of expensive instruments. Accelerating Test, Validation and Debug of High Speed Serial Interfaces provides innovative test and debug approaches and detailed instructions on how to arrive to practical test of modern high-speed interfaces. Accelerating Test, Validation and Debug of High Speed Serial Interfaces first proposes a new algorithm that enables us to perform receiver test more than 1000 times faster. Then an under-sampling based transmitter test scheme is presented. The scheme can accurately extract the transmitter jitter and finish the whole transmitter test within 100ms, while the test usually takes seconds. The book also presents and external loopback-based testing scheme, where and FPGA-based BER tester and a novel jitter injection technique are proposed. These schemes can be applied to validate, test and debug HSSIs with data rate up to 12.5Gbps at a lower test cost than pure ATE solutions. In addition, the book introduces an efficieng scheme to implement high performance Gaussian noise generators, suitable for evaluating BER performance under noise conditions.
https://magrudy-assets.storage.googleapis.com/9789400789739.jpg
157.490000 USD

Accelerating Test, Validation and Debug of High Speed Serial Interfaces

by Zeljko Zilic, Yongquan Fan
Paperback / softback
Book cover image
This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This ...
SAT 2005: Satisfiability Research in the Year 2005
This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.
https://magrudy-assets.storage.googleapis.com/9789400787155.jpg
198.450000 USD

SAT 2005: Satisfiability Research in the Year 2005

Paperback / softback
Book cover image
The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation and exchange of ideas led to considerable progress both in the theoretical foundations and in the ...
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation and exchange of ideas led to considerable progress both in the theoretical foundations and in the application of deductive knowledge. This three-volume book covers these original contributions moulded into the state of the art of automated deduction. The three volumes are intended to document and advance a development in the field of automated deduction that can now be observed all over the world. Rather than restricting the interest to purely academic research, the focus now is on the investigation of problems derived from realistic applications. In fact industrial applications are already pursued on a trial basis. In consequence the emphasis of the volumes is not on the presentation of the theoretical foundations of logical deduction as such, as in a handbook; rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction. This reflects the strong conviction that automated deduction is on the verge of being fully included in the evolution of technology. Volume I focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. Volume II presents techniques of implementation and details about system building. Volume III deals with applications of deductive techniques mainly, but not exclusively, to mathematics and the verification of software. Each chapter was read by two referees, one an international expert from abroad and the other a knowledgeable participant in the national project. It has been accepted for inclusion on the basis of these review reports. Audience: Researchers and developers in software engineering, formal methods, certification, verification, validation, specification of complex systems and software, expert systems, natural language processing.
https://magrudy-assets.storage.googleapis.com/9780792351290.jpg
314.990000 USD

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Hardback
Book cover image
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. Included here are technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial ...
Computer-Aided Reasoning: ACL2 Case Studies
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. Included here are technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects. The papers deal with a wide variety of ideas, including floating-point arithmetic, microprocessor simulation, model checking, symbolic trajectory evaluation, compilation, proof checking, real analysis, and several others. Computer-Aided Reasoning: ACL2 Case Studies is meant for two audiences: those looking for innovative ways to design, build, and maintain hardware and software systems faster and more reliably, and those wishing to learn how to do this. The former audience includes project managers and students in survey-oriented courses. The latter audience includes students and professionals pursuing rigorous approaches to hardware and software engineering or formal methods. Computer-Aided Reasoning: ACL2 Case Studies can be used in graduate and upper-division undergraduate courses on Software Engineering, Formal Methods, Hardware Design, Theory of Computation, Artificial Intelligence, and Automated Reasoning. The book is divided into two parts. Part I begins with a discussion of the effort involved in using ACL2. It also contains a brief introduction to the ACL2 logic and its mechanization, which is intended to give the reader sufficient background to read the case studies. A more thorough, textbook introduction to ACL2 may be found in the companion book, Computer-Aided Reasoning: An Approach. The heart of the book is Part II, where the case studies are presented. The case studies contain exercises whose solutions are on the Web. In addition, the complete ACL2 scripts necessary to formalize the models and prove all the properties discussed are on the Web. For example, when we say that one of the case studies formalizes a floating-point multiplier and proves it correct, we mean that not only can you read an English description of the model and how it was proved correct, but you can obtain the entire formal content of the project and replay the proofs, if you wish, with your copy of ACL2. ACL2 may be obtained from its home page. The results reported in each case study, as ACL2 input scripts, as well as exercise solutions for both books, are available from this page.
https://magrudy-assets.storage.googleapis.com/9780792378495.jpg
367.490000 USD

Computer-Aided Reasoning: ACL2 Case Studies

Hardback
Book cover image
Computational Issues in High Performance Software for Nonlinear Research brings together in one place important contributions and up-to-date research results in this important area. Computational Issues in High Performance Software for Nonlinear Research serves as an excellent reference, providing insight into some of the most important research issues in the ...
Computational Issues in High Performance Software for Nonlinear Optimization
Computational Issues in High Performance Software for Nonlinear Research brings together in one place important contributions and up-to-date research results in this important area. Computational Issues in High Performance Software for Nonlinear Research serves as an excellent reference, providing insight into some of the most important research issues in the field.
https://magrudy-assets.storage.googleapis.com/9780792398622.jpg
209.990000 USD

Computational Issues in High Performance Software for Nonlinear Optimization

Hardback
Book cover image
Engineering Intelligent Hybrid Multi-Agent Systems is about building intelligent hybrid systems. Included is coverage of applications and design concepts related to fusion systems, transformation systems and combination systems. These applications are in areas involving hybrid configurations of knowledge-based systems, case-based reasoning, fuzzy systems, artificial neural networks, genetic algorithms, and in ...
Engineering Intelligent Hybrid Multi-Agent Systems
Engineering Intelligent Hybrid Multi-Agent Systems is about building intelligent hybrid systems. Included is coverage of applications and design concepts related to fusion systems, transformation systems and combination systems. These applications are in areas involving hybrid configurations of knowledge-based systems, case-based reasoning, fuzzy systems, artificial neural networks, genetic algorithms, and in knowledge discovery and data mining. Through examples and applications a synergy of these subjects is demonstrated. The authors introduce a multi-agent architectural theory for engineering intelligent associative hybrid systems. The architectural theory is described at both the task structure level and the computational level. This problem-solving architecture is relevant for developing knowledge agents and information agents. An enterprise-wide system modeling framework is outlined to facilitate forward and backward integration of systems developed in the knowledge, information, and data engineering layers of an organization. In the modeling process, software engineering aspects like agent oriented analysis, design and reuse are developed and described. Engineering Intelligent Hybrid Multi-Agent Systems is the first book in the field to provide details of a multi-agent architecture for building intelligent hybrid systems.
https://magrudy-assets.storage.googleapis.com/9780792399827.jpg
222.600000 USD

Engineering Intelligent Hybrid Multi-Agent Systems

by Rajiv Khosla
Hardback
Book cover image
Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain. Formal Specification Techniques for Engineering ...
Formal Specification Techniques for Engineering Modular C Programs
Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain. Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying programming language may not have such support. This language is structured to allow useful information to be extracted from a specification, which is then used to perform consistency checks between the specification and its implementation. Formal Specification Techniques for Engineering Modular C Programs also describes a specification-driven, software re-engineering process model for improving existing programs. The aim of this process is to make existing programs easier to maintain and reuse while keeping their essential functionalities unchanged. Audience: Suitable as a secondary text for graduate level courses in software engineering, and as a reference for researchers and practitioners in industry.
https://magrudy-assets.storage.googleapis.com/9780792396536.jpg
230.990000 USD

Formal Specification Techniques for Engineering Modular C Programs

by Tan Yang Meng
Hardback
Book cover image
Introduction or Why I wrote this book N the fallof 1997 a dedicated troff user e-rnalled me the macros he used to typeset his books. 1took one look inside his fileand thought, I can do I this;It'sjustcode. Asan experiment1spent aweekand wrote a Cprogram and troff macros which formatted and typeset ...
TeX Reference Manual
Introduction or Why I wrote this book N the fallof 1997 a dedicated troff user e-rnalled me the macros he used to typeset his books. 1took one look inside his fileand thought, I can do I this;It'sjustcode. Asan experiment1spent aweekand wrote a Cprogram and troff macros which formatted and typeset a membership directory for a scholarly society with approximately 2,000 members. When 1 was done, I could enter two commands, and my program and troff would convert raw membershipdata into 200 pages ofPostScriptin 35 seconds. Previously, it had taken me several days to prepare camera-readycopy for the directory using a word processor. For completeness 1sat down and tried to write 1EXmacros for the typesetting. 1failed. Although ninety-five percent of my macros worked, I was unable to prepare the columns the project required. As my frustration grew, 1began this book-mentally, in myhead-as an answer to the question, Why is 'lEX so hard to learn? Why use Tgx? Lest you accuse me of the old horse and cart problem, 1should address the question, Why use 1EX at all? before 1explain why 'lEX is hard. Iuse 'lEXfor the followingreasons. Itisstable, fast, free, and it uses ASCII. Ofcourse, the most important reason is: 'lEX does a fantastic job. Bystable, I mean it is not likely to change in the next 10 years (much less the next one or two), and it is free of bugs. Both ofthese are important.
https://magrudy-assets.storage.googleapis.com/9780792376736.jpg
209.990000 USD

TeX Reference Manual

by David Bausum
Hardback
Book cover image
This volume contains thirty revised and extended research articles written by prominent researchers participating in an international conference in engineering technologies and physical science and applications. The conference serves as good platforms for the engineering community to meet with each other and to exchange ideas. The conference has also struck ...
IAENG Transactions on Engineering Technologies: Special Edition of the World Congress on Engineering and Computer Science 2011
This volume contains thirty revised and extended research articles written by prominent researchers participating in an international conference in engineering technologies and physical science and applications. The conference serves as good platforms for the engineering community to meet with each other and to exchange ideas. The conference has also struck a balance between theoretical and application development. The conference is truly international meeting with a high level of participation from many countries. Topics covered include chemical engineering, circuits, communications systems, control theory, engineering mathematics, systems engineering, manufacture engineering, and industrial applications. The book offers the state of art of tremendous advances in engineering technologies and physical science and applications, and also serves as an excellent reference work for researchers and graduate students working with/on engineering technologies and physical science and applications.
https://magrudy-assets.storage.googleapis.com/9789400799257.jpg
188.990000 USD

IAENG Transactions on Engineering Technologies: Special Edition of the World Congress on Engineering and Computer Science 2011

Paperback / softback
Book cover image
This volume is intended to be used as a textbook for a special topic course in computer science. It addresses contemporary research topics of interest such as intelligent control, genetic algorithms, neural networks, optimization techniques, expert systems, fractals, and computer vision. The work incorporates many new research ideas, and focuses ...
Applications of Continuous Mathematics to Computer Science
This volume is intended to be used as a textbook for a special topic course in computer science. It addresses contemporary research topics of interest such as intelligent control, genetic algorithms, neural networks, optimization techniques, expert systems, fractals, and computer vision. The work incorporates many new research ideas, and focuses on the role of continuous mathematics. Audience: This book will be valuable to graduate students interested in theoretical computer topics, algorithms, expert systems, neural networks, and software engineering.
https://magrudy-assets.storage.googleapis.com/9780792347224.jpg
314.990000 USD

Applications of Continuous Mathematics to Computer Science

by Vladik Kreinovich, Hung T. Nguyen
Hardback
Book cover image
This work grew out of several years of research, graduate seminars and talks on the subject. It was motivated by a desire to make the technology accessible to those who most needed it or could most use it. It is meant to be a self-contained introduction, a reference for the ...
Rigorous Global Search: Continuous Problems
This work grew out of several years of research, graduate seminars and talks on the subject. It was motivated by a desire to make the technology accessible to those who most needed it or could most use it. It is meant to be a self-contained introduction, a reference for the techniques, and a guide to the literature for the underlying theory. It contains pointers to fertile areas for future research. It also serves as introductory documentation for a Fortran 90 software package for nonlinear systems and global optimization. The subject of the monograph is deterministic, automatically verified or r- orous methods. In such methods, directed rounding and computational fix- point theory are combined with exhaustive search (branch and bound) te- niques. Completion of such an algorithm with a list of solutions constitutes a rigorous mathematical proof that all of the solutions within the original search region are within the output list. The monograph is appropriate as an introduction to research and technology in the area, as a desk reference, or as a graduate-level course reference. Kno- edge of calculus, linear algebra, and elementary numerical analysis is assumed.
https://magrudy-assets.storage.googleapis.com/9780792342380.jpg
230.990000 USD

Rigorous Global Search: Continuous Problems

by R. Baker Kearfott
Hardback
Book cover image
Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods - such as John McCarthy, C.A.R. Hoare, and Edgar Dijkstra - have advanced the position that computing is a mathematical activity and that computer science should model itself ...
Program Verification: Fundamental Issues in Computer Science
Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods - such as John McCarthy, C.A.R. Hoare, and Edgar Dijkstra - have advanced the position that computing is a mathematical activity and that computer science should model itself after mathematics. Opponents of formal methods - by contrast, suggest that programming is the activity which is fundamental to computer science and that there are important differences that distinguish it from mathematics, which therefore cannot provide a suitable paradigm. Disagreement over the place of formal methods in computer science has recently arisen in the form of renewed interest in the nature and capacity of program verification as a method for establishing the reliability of software systems. A paper that appeared in Communications of the ACM entitled, `Program Verification: The Very Idea', by James H. Fetzer triggered an extended debate that has been discussed in several journals and that has endured for several years, engaging the interest of computer scientists (both theoretical and applied) and of other thinkers from a wide range of backgrounds who want to understand computer science as a domain of inquiry. The editors of this collection have brought together many of the most interesting and important studies that contribute to answering questions about the nature and the limits of computer science. These include early papers advocating the mathematical paradigm by McCarthy, Naur, R. Floyd, and Hoare (in Part I), others that elaborate the paradigm by Hoare, Meyer, Naur, and Scherlis and Scott (in Part II), challenges, limits and alternatives explored by C. Floyd, Smith, Blum, and Naur (in Part III), and recent work focusing on formal verification by DeMillo, Lipton, and Perlis, Fetzer, Cohn, and Colburn (in Part IV). It provides essential resources for further study. This volume will appeal to scientists, philosophers, and laypersons who want to understand the theoretical foundations of computer science and be appropriately positioned to evaluate the scope and limits of the discipline.
https://magrudy-assets.storage.googleapis.com/9789401047890.jpg
492.450000 USD

Program Verification: Fundamental Issues in Computer Science

Paperback / softback
Page 1 of 13