Author: 国立国会図書館 (Japan)
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 672
Book Description
国立国会図書館所蔵科学技術関係欧文会議錄目錄
Author: 国立国会図書館 (Japan)
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 672
Book Description
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 672
Book Description
Timing Analysis and Optimization of Sequential Circuits
Author: Naresh Maheshwari
Publisher: Springer Science & Business Media
ISBN: 1461556376
Category : Technology & Engineering
Languages : en
Pages : 202
Book Description
Recent years have seen rapid strides in the level of sophistication of VLSI circuits. On the performance front, there is a vital need for techniques to design fast, low-power chips with minimum area for increasingly complex systems, while on the economic side there is the vastly increased pressure of time-to-market. These pressures have made the use of CAD tools mandatory in designing complex systems. Timing Analysis and Optimization of Sequential Circuits describes CAD algorithms for analyzing and optimizing the timing behavior of sequential circuits with special reference to performance parameters such as power and area. A unified approach to performance analysis and optimization of sequential circuits is presented. The state of the art in timing analysis and optimization techniques is described for circuits using edge-triggered or level-sensitive memory elements. Specific emphasis is placed on two methods that are true sequential timing optimizations techniques: retiming and clock skew optimization. Timing Analysis and Optimization of Sequential Circuits covers the following topics: Algorithms for sequential timing analysis Fast algorithms for clock skew optimization and their applications Efficient techniques for retiming large sequential circuits Coupling sequential and combinational optimizations. Timing Analysis and Optimization of Sequential Circuits is written for graduate students, researchers and professionals in the area of CAD for VLSI and VLSI circuit design.
Publisher: Springer Science & Business Media
ISBN: 1461556376
Category : Technology & Engineering
Languages : en
Pages : 202
Book Description
Recent years have seen rapid strides in the level of sophistication of VLSI circuits. On the performance front, there is a vital need for techniques to design fast, low-power chips with minimum area for increasingly complex systems, while on the economic side there is the vastly increased pressure of time-to-market. These pressures have made the use of CAD tools mandatory in designing complex systems. Timing Analysis and Optimization of Sequential Circuits describes CAD algorithms for analyzing and optimizing the timing behavior of sequential circuits with special reference to performance parameters such as power and area. A unified approach to performance analysis and optimization of sequential circuits is presented. The state of the art in timing analysis and optimization techniques is described for circuits using edge-triggered or level-sensitive memory elements. Specific emphasis is placed on two methods that are true sequential timing optimizations techniques: retiming and clock skew optimization. Timing Analysis and Optimization of Sequential Circuits covers the following topics: Algorithms for sequential timing analysis Fast algorithms for clock skew optimization and their applications Efficient techniques for retiming large sequential circuits Coupling sequential and combinational optimizations. Timing Analysis and Optimization of Sequential Circuits is written for graduate students, researchers and professionals in the area of CAD for VLSI and VLSI circuit design.
Data Analysis and Applications 4
Author: Andreas Makrides
Publisher: John Wiley & Sons
ISBN: 1119721504
Category : Mathematics
Languages : en
Pages : 316
Book Description
Data analysis as an area of importance has grown exponentially, especially during the past couple of decades. This can be attributed to a rapidly growing computer industry and the wide applicability of computational techniques, in conjunction with new advances of analytic tools. This being the case, the need for literature that addresses this is self-evident. New publications are appearing, covering the need for information from all fields of science and engineering, thanks to the universal relevance of data analysis and statistics packages. This book is a collective work by a number of leading scientists, analysts, engineers, mathematicians and statisticians who have been working at the forefront of data analysis. The chapters included in this volume represent a cross-section of current concerns and research interests in these scientific areas. The material is divided into three parts: Financial Data Analysis and Methods, Statistics and Stochastic Data Analysis and Methods, and Demographic Methods and Data Analysis- providing the reader with both theoretical and applied information on data analysis methods, models and techniques and appropriate applications.
Publisher: John Wiley & Sons
ISBN: 1119721504
Category : Mathematics
Languages : en
Pages : 316
Book Description
Data analysis as an area of importance has grown exponentially, especially during the past couple of decades. This can be attributed to a rapidly growing computer industry and the wide applicability of computational techniques, in conjunction with new advances of analytic tools. This being the case, the need for literature that addresses this is self-evident. New publications are appearing, covering the need for information from all fields of science and engineering, thanks to the universal relevance of data analysis and statistics packages. This book is a collective work by a number of leading scientists, analysts, engineers, mathematicians and statisticians who have been working at the forefront of data analysis. The chapters included in this volume represent a cross-section of current concerns and research interests in these scientific areas. The material is divided into three parts: Financial Data Analysis and Methods, Statistics and Stochastic Data Analysis and Methods, and Demographic Methods and Data Analysis- providing the reader with both theoretical and applied information on data analysis methods, models and techniques and appropriate applications.
System Modelling and Optimization
Author: J. Dolezal
Publisher: Springer
ISBN: 0387348972
Category : Computers
Languages : en
Pages : 635
Book Description
Proceedings volume contains carefully selected papers presented during the 17th IFIP Conference on System Modelling and Optimization. Optimization theory and practice, optimal control, system modelling, stochastic optimization, and technical and non-technical applications of the existing theory are among areas mostly addressed in the included papers. Main directions are treated in addition to several survey papers based on invited presentations of leading specialists in the respective fields. Publication provides state-of-the-art in the area of system theory and optimization and points out several new areas (e.g fuzzy set, neural nets), where classical optimization topics intersects with computer science methodology.
Publisher: Springer
ISBN: 0387348972
Category : Computers
Languages : en
Pages : 635
Book Description
Proceedings volume contains carefully selected papers presented during the 17th IFIP Conference on System Modelling and Optimization. Optimization theory and practice, optimal control, system modelling, stochastic optimization, and technical and non-technical applications of the existing theory are among areas mostly addressed in the included papers. Main directions are treated in addition to several survey papers based on invited presentations of leading specialists in the respective fields. Publication provides state-of-the-art in the area of system theory and optimization and points out several new areas (e.g fuzzy set, neural nets), where classical optimization topics intersects with computer science methodology.
The Cumulative Book Index
Author:
Publisher:
ISBN:
Category : American literature
Languages : en
Pages : 2362
Book Description
A world list of books in the English language.
Publisher:
ISBN:
Category : American literature
Languages : en
Pages : 2362
Book Description
A world list of books in the English language.
Applied Mechanics Reviews
Author:
Publisher:
ISBN:
Category : Mechanics, Applied
Languages : en
Pages : 864
Book Description
Publisher:
ISBN:
Category : Mechanics, Applied
Languages : en
Pages : 864
Book Description
ECAI 2020
Author: G. De Giacomo
Publisher: IOS Press
ISBN: 164368101X
Category : Computers
Languages : en
Pages : 3122
Book Description
This book presents the proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), held in Santiago de Compostela, Spain, from 29 August to 8 September 2020. The conference was postponed from June, and much of it conducted online due to the COVID-19 restrictions. The conference is one of the principal occasions for researchers and practitioners of AI to meet and discuss the latest trends and challenges in all fields of AI and to demonstrate innovative applications and uses of advanced AI technology. The book also includes the proceedings of the 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) held at the same time. A record number of more than 1,700 submissions was received for ECAI 2020, of which 1,443 were reviewed. Of these, 361 full-papers and 36 highlight papers were accepted (an acceptance rate of 25% for full-papers and 45% for highlight papers). The book is divided into three sections: ECAI full papers; ECAI highlight papers; and PAIS papers. The topics of these papers cover all aspects of AI, including Agent-based and Multi-agent Systems; Computational Intelligence; Constraints and Satisfiability; Games and Virtual Environments; Heuristic Search; Human Aspects in AI; Information Retrieval and Filtering; Knowledge Representation and Reasoning; Machine Learning; Multidisciplinary Topics and Applications; Natural Language Processing; Planning and Scheduling; Robotics; Safe, Explainable, and Trustworthy AI; Semantic Technologies; Uncertainty in AI; and Vision. The book will be of interest to all those whose work involves the use of AI technology.
Publisher: IOS Press
ISBN: 164368101X
Category : Computers
Languages : en
Pages : 3122
Book Description
This book presents the proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), held in Santiago de Compostela, Spain, from 29 August to 8 September 2020. The conference was postponed from June, and much of it conducted online due to the COVID-19 restrictions. The conference is one of the principal occasions for researchers and practitioners of AI to meet and discuss the latest trends and challenges in all fields of AI and to demonstrate innovative applications and uses of advanced AI technology. The book also includes the proceedings of the 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) held at the same time. A record number of more than 1,700 submissions was received for ECAI 2020, of which 1,443 were reviewed. Of these, 361 full-papers and 36 highlight papers were accepted (an acceptance rate of 25% for full-papers and 45% for highlight papers). The book is divided into three sections: ECAI full papers; ECAI highlight papers; and PAIS papers. The topics of these papers cover all aspects of AI, including Agent-based and Multi-agent Systems; Computational Intelligence; Constraints and Satisfiability; Games and Virtual Environments; Heuristic Search; Human Aspects in AI; Information Retrieval and Filtering; Knowledge Representation and Reasoning; Machine Learning; Multidisciplinary Topics and Applications; Natural Language Processing; Planning and Scheduling; Robotics; Safe, Explainable, and Trustworthy AI; Semantic Technologies; Uncertainty in AI; and Vision. The book will be of interest to all those whose work involves the use of AI technology.
Nonlinear Control Systems
Author: Alberto Isidori
Publisher:
ISBN:
Category : Feedback control systems
Languages : en
Pages : 310
Book Description
Publisher:
ISBN:
Category : Feedback control systems
Languages : en
Pages : 310
Book Description
Quantitative Methods in Parallel Systems
Author: Francois Baccelli
Publisher: Springer Science & Business Media
ISBN: 3642799175
Category : Computers
Languages : en
Pages : 313
Book Description
It is widely recognized that the complexity of parallel and distributed systems is such that proper tools must be employed during their design stage in order to achieve the quantitative goals for which they are intended. This volume collects recent research results obtained within the Basic Research Action Qmips, which bears on the quantitative analysis of parallel and distributed architectures. Part 1 is devoted to research on the usage of general formalisms stemming from theoretical computer science in quantitative performance modeling of parallel systems. It contains research papers on process algebras, on Petri nets, and on queueing networks. The contributions in Part 2 are concerned with solution techniques. This part is expected to allow the reader to identify among the general formalisms of Part I, those that are amenable to an efficient mathematical treatment in the perspective of quantitative information. The common theme of Part 3 is the application of the analytical results of Part 2 to the performance evaluation and optimization of parallel and distributed systems. Part 1. Stochastic Process Algebras are used by N. Gotz, H. Hermanns, U. Herzog, V. Mertsiotakis and M. Rettelbach as a novel approach for the struc tured design and analysis of both the functional behaviour and performability (i.e performance and dependability) characteristics of parallel and distributed systems. This is achieved by integrating stochastic modeling and analysis into the powerful and well investigated formal description techniques of process algebras.
Publisher: Springer Science & Business Media
ISBN: 3642799175
Category : Computers
Languages : en
Pages : 313
Book Description
It is widely recognized that the complexity of parallel and distributed systems is such that proper tools must be employed during their design stage in order to achieve the quantitative goals for which they are intended. This volume collects recent research results obtained within the Basic Research Action Qmips, which bears on the quantitative analysis of parallel and distributed architectures. Part 1 is devoted to research on the usage of general formalisms stemming from theoretical computer science in quantitative performance modeling of parallel systems. It contains research papers on process algebras, on Petri nets, and on queueing networks. The contributions in Part 2 are concerned with solution techniques. This part is expected to allow the reader to identify among the general formalisms of Part I, those that are amenable to an efficient mathematical treatment in the perspective of quantitative information. The common theme of Part 3 is the application of the analytical results of Part 2 to the performance evaluation and optimization of parallel and distributed systems. Part 1. Stochastic Process Algebras are used by N. Gotz, H. Hermanns, U. Herzog, V. Mertsiotakis and M. Rettelbach as a novel approach for the struc tured design and analysis of both the functional behaviour and performability (i.e performance and dependability) characteristics of parallel and distributed systems. This is achieved by integrating stochastic modeling and analysis into the powerful and well investigated formal description techniques of process algebras.
Proceedings of the 11th IFToMM International Conference on Rotordynamics
Author: Fulei Chu
Publisher: Springer Nature
ISBN: 3031404599
Category : Technology & Engineering
Languages : en
Pages : 494
Book Description
This book presents the proceedings of the 11th IFToMM International Conference on Rotordynamics, held in Beijing, China on 18-21 September 2023. This conference is a premier global event that brings together specialists from the university and industry sectors worldwide in order to promote the exchange of knowledge, ideas, and information on the latest developments and applied technologies in the dynamics of rotating machinery. The coverage is wide ranging, including, for example, new ideas and trends in various aspects of bearing technologies, issues in the analysis of blade dynamic behavior, condition monitoring of different rotating machines, vibration control, electromechanical and fluid-structure interactions in rotating machinery, rotor dynamics of micro, nano and cryogenic machines, and applications of rotor dynamics in transportation engineering. Since its inception 32 years ago, this conference has become an irreplaceable point of reference for those working in the field and this book reflects the high quality and diversity of content that the conference continues to guarantee.
Publisher: Springer Nature
ISBN: 3031404599
Category : Technology & Engineering
Languages : en
Pages : 494
Book Description
This book presents the proceedings of the 11th IFToMM International Conference on Rotordynamics, held in Beijing, China on 18-21 September 2023. This conference is a premier global event that brings together specialists from the university and industry sectors worldwide in order to promote the exchange of knowledge, ideas, and information on the latest developments and applied technologies in the dynamics of rotating machinery. The coverage is wide ranging, including, for example, new ideas and trends in various aspects of bearing technologies, issues in the analysis of blade dynamic behavior, condition monitoring of different rotating machines, vibration control, electromechanical and fluid-structure interactions in rotating machinery, rotor dynamics of micro, nano and cryogenic machines, and applications of rotor dynamics in transportation engineering. Since its inception 32 years ago, this conference has become an irreplaceable point of reference for those working in the field and this book reflects the high quality and diversity of content that the conference continues to guarantee.