Filter
(found 508 products)
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
188.06 USD

Virtual, Distributed and Flexible Organisations: Studies in Organisational Semiotics

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
329.80 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
188.06 USD

Optimal Control from Theory to Computer Programs

by Pekka Neittaanmaki, Viorel Arnautu
Paperback / softback
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
443.20 USD

Program Verification: Fundamental Issues in Computer Science

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
141.74 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
178.60 USD

SAT 2005: Satisfiability Research in the Year 2005

Paperback / softback
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
188.99 USD

Model-Based Decision Support Methodology with Environmental Applications

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
132.29 USD

Towards a Software Factory

by Michiel Van Genuchten
Paperback / softback
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
170.09 USD

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

Paperback / softback
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
188.06 USD

Practical Foundations of Business System Specifications

Paperback / softback
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
103.94 USD

Graph Theory for Programmers: Algorithms for Processing Trees

by Vladimir A. Evstigneev, Victor N. Kasyanov
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
264.59 USD

Electrical Engineering and Applied Computing

Paperback / softback
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
263.66 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
This book includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computing Sciences, Software Engineering and Systems. The book presents selected papers from the conference proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCSS 2006). All aspects ...
Advances and Innovations in Systems, Computing Sciences and Software Engineering
This book includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computing Sciences, Software Engineering and Systems. The book presents selected papers from the conference proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCSS 2006). All aspects of the conference were managed on-line.
https://magrudy-assets.storage.googleapis.com/9789048175888.jpg
169.16 USD

Advances and Innovations in Systems, Computing Sciences and Software Engineering

Paperback / softback
Book cover image
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. Among them there are two key papers: a retrospective view of his research lines, and a proposal for future studies ...
Automatic Program Development: A Tribute to Robert Paige
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. Among them there are two key papers: a retrospective view of his research lines, and a proposal for future studies in the area of the automatic program derivation. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.
https://magrudy-assets.storage.googleapis.com/9789048176748.jpg
150.26 USD

Automatic Program Development: A Tribute to Robert Paige

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/9789048150502.jpg
283.49 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
Hardware Software Co-Design of a Multimedia SOC Platform is one of the first of its kinds to provide a comprehensive overview of the design and implementation of the hardware and software of an SoC platform for multimedia applications. Topics covered in this book range from system level design methodology, multimedia ...
Hardware Software Co-Design of a Multimedia SOC Platform
Hardware Software Co-Design of a Multimedia SOC Platform is one of the first of its kinds to provide a comprehensive overview of the design and implementation of the hardware and software of an SoC platform for multimedia applications. Topics covered in this book range from system level design methodology, multimedia algorithm implementation, a sub-word parallel, single-instruction-multiple data (SIMD) processor design, and its virtual platform implementation, to the development of an SIMD parallel compiler as well as a real-time operating system (RTOS). Hardware Software Co-Design of a Multimedia SOC Platform is written for practitioner engineers and technical managers who want to gain first hand knowledge about the hardware-software design process of an SoC platform. It offers both tutorial-like details to help readers become familiar with a diverse range of subjects, and in-depth analysis for advanced readers to pursue further.
https://magrudy-assets.storage.googleapis.com/9789048181711.jpg
122.84 USD

Hardware Software Co-Design of a Multimedia SOC Platform

by Yu Hen Hu, Pao-Ann Hsiung, Guang-Huei Lin, Sao-Jie Chen
Paperback / softback
Book cover image
This book walks the reader through all the aspects of manufacturability and yield in a nano-CMOS process. It covers all CAD/CAE aspects of a SOC design flow and addresses a new topic (DFM/DFY) critical at 90 nm and beyond. This book is a must read book the serious practicing IC ...
Design for Manufacturability and Yield for Nano-Scale CMOS
This book walks the reader through all the aspects of manufacturability and yield in a nano-CMOS process. It covers all CAD/CAE aspects of a SOC design flow and addresses a new topic (DFM/DFY) critical at 90 nm and beyond. This book is a must read book the serious practicing IC designer and an excellent primer for any graduate student intent on having a career in IC design or in EDA tool development.
https://magrudy-assets.storage.googleapis.com/9789048173037.jpg
141.74 USD

Design for Manufacturability and Yield for Nano-Scale CMOS

by Jamil Kawa, Charles Chiang
Paperback / softback
Book cover image
The rapid growth in use of programmable technology, in nearly all sectors of Engineering, is a well-known established trend and one which there is every reason to believe will continue into the foreseeable future. The drivers of this trend include cost, flexibility, rich functionality and certain reliability and safety advantages. ...
Achieving Quality Software: Including Its Application to Safety-Related Systems
The rapid growth in use of programmable technology, in nearly all sectors of Engineering, is a well-known established trend and one which there is every reason to believe will continue into the foreseeable future. The drivers of this trend include cost, flexibility, rich functionality and certain reliability and safety advantages. However, as explained in this book, these advantages have to be carefully weighed against a number of dis- advantages which, amongst other things, have fundamental implications for reliability and safety. Ideally, a programmable system would be viewed as a fusion of hardware, software and user (or 'skinware'), operating under a set of environmental conditions. To date, such a unifying model does not exist and so hardware, software and human factors are still considered largely as three separate disciplines, albeit with certain interdependencies. Established techniques are available which enable the engineer to develop systems comprising purely hardware components to a prescribed reliability and performance. Software, however, is fundamentally different in a number of ways, and does not lend itself to equivalent analysis. A major problem with software is its poor 'visibility', and consequently the great difficulty in understanding and predicting its behaviour in all cir- cumstances. This results in the ever-present software design flaws, or 'bugs', which have plagued the software industry from its beginnings.
https://magrudy-assets.storage.googleapis.com/9789401042437.jpg
75.59 USD

Achieving Quality Software: Including Its Application to Safety-Related Systems

by D J Smith
Paperback / softback
Book cover image
Non-Destructive Evaluation (NDE) is now playing an increasing role in our modern global economy; in security sensitive industries, for instance. The complexity of the inspection task and either large or limited lot runs now require more operator-assisted or fully- automated signal processing. This book deals with both fields of expertise: ...
Advances in Signal Processing for Nondestructive Evaluation of Materials
Non-Destructive Evaluation (NDE) is now playing an increasing role in our modern global economy; in security sensitive industries, for instance. The complexity of the inspection task and either large or limited lot runs now require more operator-assisted or fully- automated signal processing. This book deals with both fields of expertise: NDE and signal processing. On the signal processing side, in the particular context of NDE applications, the following topics are discussed: sensor fusion, signal knowledge representation, artificial intelligence, fuzzy logic, computer vision, integration of numeric and non-numeric informations, parallel decomposition, noise processing and calibration of sensor devices as well as reliability of detection. Some hardware considerations are introduced as well, to discuss platforms on which processing is done. On the NDE side, applications include advances in holographic interferometry, microwave resonance or shearography and also on more traditional NDE techniques such as ultrasonics, infrared techniques, X-ray, computed tomography, Eddy currents. Inverse problems are also discussed. This book is required reading for those who already have some experience in one or both fields (signal processing and/or NDE).
https://magrudy-assets.storage.googleapis.com/9789401044592.jpg
103.00 USD

Advances in Signal Processing for Nondestructive Evaluation of Materials

Paperback / softback
Book cover image
Since 1990 the German Research Society (Deutsche Forschungsgemeinschaft, DFG) has been funding PhD courses (Graduiertenkollegs) at selected universi- ties in the Federal Republic of Germany. TU Berlin has been one of the first universities joining that new funding program of DFG. The PhD courses have been funded over aperiod of ...
Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March - 1 April 2000
Since 1990 the German Research Society (Deutsche Forschungsgemeinschaft, DFG) has been funding PhD courses (Graduiertenkollegs) at selected universi- ties in the Federal Republic of Germany. TU Berlin has been one of the first universities joining that new funding program of DFG. The PhD courses have been funded over aperiod of 9 years. The grant for the nine years sums up to approximately 5 million DM. Our Grnduiertenkolleg on Communication-based Systems has been assigned to the Computer Science Department of TU Berlin although it is a joined effort of all three universities in Berlin, Technische Uni- versitat (TU), Freie Universitat (FU), and Humboldt Universitat (HU). The Graduiertenkolleg has been started its program in October 1991. The professors responsible for the program are: Hartmut Ehrig (TU), Gunter Hommel (TU), Stefan Jahnichen (TU), Peter Lohr (FU), Miroslaw Malek (RU), Peter Pep- per (TU), Radu Popescu-Zeletin (TU), Herbert Weber (TU), and Adam Wolisz (TU). The Graduiertenkolleg is a PhD program for highly qualified persons in the field of computer science. Twenty scholarships have been granted to fellows of the Graduiertenkolleg for a maximal period of three years. During this time the fellows take part in a selected educational program and work on their PhD thesis.
https://magrudy-assets.storage.googleapis.com/9789048153992.jpg
141.74 USD

Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March - 1 April 2000

Paperback / softback
Book cover image
Conventional wisdom of the software stack approach to building applications may no longer be relevant. Enterprises are pursuing new ways of organizing systems and processes to become service oriented and event-driven. Leveraging existing infrastructural investments is a critical aspect to the success of companies both large and small. Enterprises have ...
Enterprise Service Oriented Architectures: Concepts, Challenges, Recommendations
Conventional wisdom of the software stack approach to building applications may no longer be relevant. Enterprises are pursuing new ways of organizing systems and processes to become service oriented and event-driven. Leveraging existing infrastructural investments is a critical aspect to the success of companies both large and small. Enterprises have to adapt their systems to support frequent technological changes, mergers and acquisitions. Furthermore, in a growing global market, these systems are being called upon to be used by external business partners. Technology is often difficult, costly and complex and without modern approaches can prevent the enterprise from becoming agile. Enterprise Service Oriented Architectures helps readers solve this challenge in making different applications communicate in a loosely coupled manner. This classic handbook leverages the experiences of thought leaders functioning in multiple industry verticals and provides a wealth of knowledge for creating the agile enterprise. In this book, you will learn: * How to balance the delivery of immediate business value while creating long-term strategic capability * Fundamental principles of a service-oriented architecture (find, bind and execute) * The four aspects of SOA (Production, Consumption, Management and Provisioning) * How to recognize critical success factors to implementing enterprise SOAs * Architectural importance of service registries, interfaces and contracts * Why improper service decomposition can hurt you later rather than sooner * How application design and integration practices change as architects seek to implement the agile enterprise About the Authors James McGovern is an enterprise architect for The Hartford. He is an industry thought leader and co-author of the bestselling book: A Practical Guide to Enterprise Architecture. Oliver Sims is a recognized leader in the architecture, design and implementation of service-oriented and component-based enterprise systems. He was a founding member of the OMG Architecture Board. He was co-author of the groundbreaking book: Business Component Factory. Ashish Jain is a Principal Architect with Ping Identity Corporation, a leading provider of solutions for identity federation. Prior to joining Ping Identity, he worked with BEA Systems where his role was to assist BEA customers in designing and implementing their e-business strategies using solutions based on J2EE. He holds several industry certifications from SUN and BEA and is also a board member for the Denver BEA User group. Mark Little is Director of Standards and SOA Manager for JBoss Inc. Prior to this, he was Chief Architect for Arjuna Technologies Ltd and a Distinguished Engineer at Hewlett-Packard. As well as being an active member of the OMG, JCP, OASIS and W3C, he is an author on many SOA and Web Services standards. He also led the development of the world's first standards-compliant Web Services Transaction product.
https://magrudy-assets.storage.googleapis.com/9789048169351.jpg
150.26 USD

Enterprise Service Oriented Architectures: Concepts, Challenges, Recommendations

by Mark Little, Ashish Jain, Oliver Sims, James McGovern
Paperback / softback
Book cover image
As we entered the 21st century, the rapid growth of information technology has changed our lives more conveniently than we have ever speculated. Recently in all fields of the industry, heterogeneous technologies have converged with information technology resulting in a new paradigm, information technology convergence. In the process of information ...
Proceedings of the International Conference on IT Convergence and Security 2011
As we entered the 21st century, the rapid growth of information technology has changed our lives more conveniently than we have ever speculated. Recently in all fields of the industry, heterogeneous technologies have converged with information technology resulting in a new paradigm, information technology convergence. In the process of information technology convergence, the latest issues in the structure of data, system, network, and infrastructure have become the most challenging task. Proceedings of the International Conference on IT Convergence and Security 2011 approaches the subject matter with problems in technical convergence and convergences of security technology by looking at new issues that arise from techniques converging. The general scope is convergence security and the latest information technology with the following most important features and benefits: 1. Introduction of the most recent information technology and its related ideas 2. Applications and problems related to technology convergence, and its case studies 3. Introduction of converging existing security techniques through convergence security Overall, after reading Proceedings of the International Conference on IT Convergence and Security 2011, readers will understand the most state of the art information strategies and technologies of convergence security.
https://magrudy-assets.storage.googleapis.com/9789400798632.jpg
178.60 USD

Proceedings of the International Conference on IT Convergence and Security 2011

Paperback / softback
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/9789400791923.jpg
122.84 USD

Quality-Driven SystemC Design

by Rolf Drechsler, Daniel Grosse
Paperback / softback
Book cover image
This book gathers the latest experience of experts, research teams and leading organizations involved in computer-aided design of user interfaces of interactive applications. This area investigates how it is desirable and possible to support, to facilitate and to speed up the development life cycle of any interactive system. In particular, ...
Computer-Aided Design of User Interfaces V: Proceedings of the Sixth International Conference on Computer-Aided Design of User Interfaces CADUI '06 (6-8 June 2006, Bucharest, Romania)
This book gathers the latest experience of experts, research teams and leading organizations involved in computer-aided design of user interfaces of interactive applications. This area investigates how it is desirable and possible to support, to facilitate and to speed up the development life cycle of any interactive system. In particular, it stresses how the design activity could be better understood for different types of advanced interactive systems.
https://magrudy-assets.storage.googleapis.com/9789401784870.jpg
169.16 USD

Computer-Aided Design of User Interfaces V: Proceedings of the Sixth International Conference on Computer-Aided Design of User Interfaces CADUI '06 (6-8 June 2006, Bucharest, Romania)

Paperback / softback
Book cover image
Databaseprogrammingis the process ofdeveloping data-intensiveapplications which demand the access to large amounts of structured, persistent data. The primary tool required for implementing such applications is a database programming language, namely aformal language which is specialized in the definition and manipulationof relevant large-scale data. As such, a database programming language is ...
Advanced Relational Programming
Databaseprogrammingis the process ofdeveloping data-intensiveapplications which demand the access to large amounts of structured, persistent data. The primary tool required for implementing such applications is a database programming language, namely aformal language which is specialized in the definition and manipulationof relevant large-scale data. As such, a database programming language is expected to provide high-level data modeling capabilitiesas well as avarietyofconstructs which facilitatethehandlingofthespecifieddata. Inthis perspective, the aim of this book is: (i) to present the recent advances in database technologyfrom theviewpointofthe novel database paradigmsproposedfor the developmentofadvanced, non-standard, data-intensive applications, (ii) to focus specificallyon the relational approach, with considerableemphasis on the extensions proposed in the last decade, and (iii) to describe the extended relational database languageAlgres which is primarily the outcome of research work conducted by the authorsincooperationwithalargenumberofothercolleaguesandstudents. Furthermore, in orderto put the concepts presented in the book into practice, the reader is invited to experiment with the Algres system, afree copyofwhich can be requestedfromKluwerAcademicPublishers,ordirectlyfromtheauthors. Dependingonthespecific interest andbackgroundofthereader,thebookcanserve either:(1) to overview recent trends in databases, (2) to introduce in more detail the concepts and theory of the nested relational model, or (3) to present a complete advancedrelationallanguagewhichcanbefreelyusedforexperimentalpurposeswithin academicandresearchframeworks.
https://magrudy-assets.storage.googleapis.com/9789401037426.jpg
132.29 USD

Advanced Relational Programming

by Gianfranco Lamperti, Filippo Cacace
Paperback / softback
Book cover image
The basic concepts and building blocks for the design of Fine- (or FPGA) and Coarse-Grain Reconfigurable Architectures are discussed in this book. Recently-developed integrated architecture design and software-supported design flow of FPGA and coarse-grain reconfigurable architecture are also described.
Fine- and Coarse-Grain Reconfigurable Computing
The basic concepts and building blocks for the design of Fine- (or FPGA) and Coarse-Grain Reconfigurable Architectures are discussed in this book. Recently-developed integrated architecture design and software-supported design flow of FPGA and coarse-grain reconfigurable architecture are also described.
https://magrudy-assets.storage.googleapis.com/9789400798144.jpg
160.64 USD

Fine- and Coarse-Grain Reconfigurable Computing

Paperback / softback
Book cover image
New software tools and a sophisticated methodology above RTL are required to answer the challenges of designing an optimized application specific processor (ASIP). This book offers an automated and fully integrated implementation flow and compares it to common implementation practice. It provides case-studies that emphasize that neither the architectural advantages ...
Optimized ASIP Synthesis from Architecture Description Language Models
New software tools and a sophisticated methodology above RTL are required to answer the challenges of designing an optimized application specific processor (ASIP). This book offers an automated and fully integrated implementation flow and compares it to common implementation practice. It provides case-studies that emphasize that neither the architectural advantages nor the design space of ASIPs are sacrificed for an automated implementation.
https://magrudy-assets.storage.googleapis.com/9789048174287.jpg
122.84 USD

Optimized ASIP Synthesis from Architecture Description Language Models

by Rainer Leupers, Heinrich Meyr, Oliver Schliebusch
Paperback / softback
Book cover image
Despite its importance, the role of HdS is most often underestimated and the topic is not well represented in literature and education. To address this, Hardware-dependent Software brings together experts from different HdS areas. By providing a comprehensive overview of general HdS principles, tools, and applications, this book provides adequate ...
Hardware-dependent Software: Principles and Practice
Despite its importance, the role of HdS is most often underestimated and the topic is not well represented in literature and education. To address this, Hardware-dependent Software brings together experts from different HdS areas. By providing a comprehensive overview of general HdS principles, tools, and applications, this book provides adequate insight into the current technology and upcoming developments in the domain of HdS. The reader will find an interesting text book with self-contained introductions to the principles of Real-Time Operating Systems (RTOS), the emerging BIOS successor UEFI, and the Hardware Abstraction Layer (HAL). Other chapters cover industrial applications, verification, and tool environments. Tool introductions cover the application of tools in the ASIP software tool chain (i.e. Tensilica) and the generation of drivers and OS components from C-based languages. Applications focus on telecommunication and automotive systems.
https://magrudy-assets.storage.googleapis.com/9789048181285.jpg
132.29 USD

Hardware-dependent Software: Principles and Practice

Paperback / softback
Book cover image
This book grasps the opportunity to show the strength of AGMEMOD in terms of baseline analysis at detailed regional and market levels, supported by an experienced team of country-based modellers. This analysis, produced using the AGMEMOD model, will be of interest to researchers working in the field of agricultural policy ...
The Future of EU Agricultural Markets by AGMEMOD
This book grasps the opportunity to show the strength of AGMEMOD in terms of baseline analysis at detailed regional and market levels, supported by an experienced team of country-based modellers. This analysis, produced using the AGMEMOD model, will be of interest to researchers working in the field of agricultural policy analysis as well as to policy makers from both the European Commission and its member states' agriculture ministries.
https://magrudy-assets.storage.googleapis.com/9789401783811.jpg
132.29 USD

The Future of EU Agricultural Markets by AGMEMOD

Paperback / softback
Page 1 of 17