![]() |
Embedded System Design: Modeling, Synthesis and Verification
ISBN: 9781489985309 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It discusses synthesis methods for system level architectures, embedded software and hardware components. Using these methods, designers can develop applications with high level models, which are automatically translatable to low level implementations. This book, furthermore, describes simulation-based...
Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques...
|
cena:
205,02 |
![]() |
Advances in Design and Specification Languages for Socs: Selected Contributions from Fdl'04
ISBN: 9781489984692 / Angielski / Miękka / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the sixth in the ChDL (Chip Design Languages) series. Year 2004 has seen many efforts in the ?eld of electronic and mixed technology circuit design languages. The industry has recognized the need for system level design as a way to enable the design of the next generation of emb- ded systems. This is demonstrated by the ESL Now campaign that many companies are promoting. This year has also seen many interesting st- dardization efforts for system level design, such as SystemC TLM (http: //www. systemc. org/) for transactional level modeling with SystemC, AU- TOSAR (http: //www....
This book is the sixth in the ChDL (Chip Design Languages) series. Year 2004 has seen many efforts in the ?eld of electronic and mixed technology circ...
|
cena:
615,15 |
![]() |
Computer-Aided Architectural Design Futures (Caadfutures) 2007: Proceedings of the 12th International Caad Futures Conference
ISBN: 9789401780766 / Angielski / Miękka / 602 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. CAAD Futures is a biennial conference that aims to promote the advancement of computer-aided architectural design research and teaching. The conferences are organised under the auspices of the CAAD Futures Foundation. The conference series started in 1985 in Delft and has since traveled to major cities in Europe, Asia, and USA. This volume is the proceedings of the 12th International Conference of CAAD Futures, which took place in Sydney, Australia. The internationally refereed papers in this book present the state of the art in computer-aided architectural design research. The... CAAD Futures is a biennial conference that aims to promote the advancement of computer-aided architectural design research and teaching. The confer... |
cena:
615,15 |
![]() |
Verification Methodology Manual for Systemverilog
ISBN: 9781461498131 / Angielski / Miękka / 503 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Functional verification remains one of the single biggest challenges in the development of complex system-on-chip (SoC) devices. Despite the introduction of successive new technologies, the gap between design capability and verification confidence continues to widen. The biggest problem is that these diverse new technologies have led to a proliferation of verification point tools, most with their own languages and methodologies. Fortunately, a solution is at hand. SystemVerilog is a unified language that serves both design and verification engineers by including RTL design... Functional verification remains one of the single biggest challenges in the development of complex system-on-chip (SoC) devices. Despite the introd... |
cena:
451,10 |
![]() |
Abstraction Refinement for Large Scale Model Checking
ISBN: 9781489993953 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book describes recent research developments in automatic abstraction refinement techniques. The suite of algorithms presented in this book has demonstrated significant improvement over prior art; some...
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Co...
|
cena:
459,92 |
![]() |
Integrated Optical Interconnect Architectures for Embedded Systems
ISBN: 9781489992048 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a broad overview of current research in optical interconnect technologies and architectures. Introductory chapters on high-performance computing and the associated issues in conventional interconnect architectures, and on the fundamental building blocks for integrated optical interconnect, provide the foundations for the bulk of the book which brings together leading experts in the field of optical interconnect architectures for data communication. Particular emphasis is given to the ways in which the photonic components are assembled into architectures to address the... This book provides a broad overview of current research in optical interconnect technologies and architectures. Introductory chapters on high-perfo... |
cena:
492,11 |
![]() |
The Art of Artificial Evolution: A Handbook on Evolutionary Art and Music
ISBN: 9783642436666 / Angielski / Miękka / 459 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Art is the Queen of all sciences communicating knowledge to all the generations of the world. Leonardo da Vinci Artistic behavior is one of the most valued qualities of the human mind. Although artistic manifestations vary from culture to culture, dedication to artistic tasks is common to all. In other words, artistic behavior is a universal trait of the human species. The current, Western de?nition of art is relatively new. However, a d- ication to artistic endeavors -- such as the embellishment of tools, body - namentation, or gathering of unusual, arguably aesthetic, objects -- can be...
Art is the Queen of all sciences communicating knowledge to all the generations of the world. Leonardo da Vinci Artistic behavior is one of the most v...
|
cena:
410,09 |
![]() |
Mathematical Progress in Expressive Image Synthesis II: Extended and Selected Results from the Symposium Meis2014
ISBN: 9784431554820 / Angielski / Twarda / 164 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The material included in this book provides selected presentations given at the international symposium MEIS2014. The book aims to provide a unique venue where various issues in computer graphics (CG) application fields are discussed by mathematicians as well as CG researchers and practitioners. The target audience is not limited to researchers in academia but also those in industries with a strong interest in digital media creation, scientific visualization and visual engineering.
The material included in this book provides selected presentations given at the international symposium MEIS2014. The book aims to provide a unique ve...
|
cena:
615,15 |
![]() |
Electronic Textiles: Smart Fabrics and Wearable Technology
ISBN: 9780081002018 / Angielski / Twarda / 156 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The integration of electronics into textiles and clothing has opened up an array of functions beyond those of conventional textiles. These novel materials are beginning to find applications in commercial products, in fields such as communication, healthcare, protection and wearable technology. Electronic Textiles: Smart Fabrics and Wearable Technology opens with an initiation to the area from the editor, Tilak Dias. Part One introduces conductive fibres, carbon nano-tubes and polymer yarns. Part Two discusses techniques for integrating textiles and electronics, including the design... The integration of electronics into textiles and clothing has opened up an array of functions beyond those of conventional textiles. These novel ma... |
cena:
1035,32 |
![]() |
The Finite Element Method and Applications in Engineering Using Ansys(r)
ISBN: 9781489975492 / Angielski / Twarda / 657 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Finite Element Method and Applications with ANSYS(R) provides the reader with theoretical and practical knowledge of the finite element method and with the skills required to analyze engineering problems with ANSYS(R), a commercially available FEA program. This self-contained, introductory text minimizes the need for additional reference material, covering the fundamental topics in finite element methods as well as advanced topics concerning modeling and analysis with ANSYS(R). These topics are introduced through extensive examples from various engineering disciplines,... The Finite Element Method and Applications with ANSYS(R) provides the reader with theoretical and practical knowledge of the finit... |
cena:
533,13 |
![]() |
Isogeometric Methods for Numerical Simulation
ISBN: 9783709118429 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book presents the state of the art in isogeometric modeling and shows how the method has advantaged. First an introduction to geometric modeling with NURBS and T-splines is given followed by the implementation into computer software. The implementation in both the FEM and BEM is discussed.
The book presents the state of the art in isogeometric modeling and shows how the method has advantaged. First an introduction to geometric modeling w...
|
cena:
410,09 |
![]() |
Design for CNC: Furniture Projects and Fabrication Technique
ISBN: 9781457187421 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Design, DIY, and computer-controlled fabrication are a powerful combination for making high-quality customized things. Written by the founders of the architecture, design, and research firm Filson and Rohrbacher, this book takes you through the basics of CNC fabrication, the design process, production, and construction of your own furniture designs. Through their AtFAB series of projects, accompanied by an overview of digital techniques and design thinking, this book introduces the knowledge and skills that you'll find widely applicable across all kinds of CNC projects. Not only will you... Design, DIY, and computer-controlled fabrication are a powerful combination for making high-quality customized things. Written by the founders of t... |
cena:
137,77 |
![]() |
Communications for Control in Cyber Physical Systems: Theory, Design and Applications in Smart Grids
ISBN: 9780128019504 / Angielski / Miękka / 310 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Communications and Controls in Cyber Physical Systems: Theory, Design and Applications in Smart Grids provides readers with all they need to know about cyber physical systems (CPSs), such as smart grids, which have attracted intensive studies in recent years. Communications and controls are of key importance for maintaining and stabilizing the operation of the physical dynamics in these complicated systems. This book presents a systematic treatment on the communication and control aspects of CPSs, along with applications to the smart grid in four parts, including the basics... Communications and Controls in Cyber Physical Systems: Theory, Design and Applications in Smart Grids provides readers with all they need to... |
cena:
308,55 |
![]() |
Creativity in Intelligent Technologies and Data Science: First Conference, Cit&ds 2015, Volgograd, Russia, September 15-17, 2015. Proceedings
ISBN: 9783319237657 / Angielski / Miękka / 861 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First Conference on Creativity in Intelligent Technologies and Data Science, CIT&DS 2015, held in Volgograd, Russia, in September 2015. The 66 revised full papers and two short papers presented were carefully reviewed and selected from 208 submissions. The papers are organized in topical sections on computational creativity for science and design; knowledge discovery in patent and open sources for creative tasks; software computer-aided design and agent-based systems; conceptual, cognitive and qualitative modeling with application in...
This book constitutes the refereed proceedings of the First Conference on Creativity in Intelligent Technologies and Data Science, CIT&DS 2015, held i...
|
cena:
410,09 |
![]() |
Deterministic Control of Uncertain Systems
ISBN: 9780863411700 / Angielski / Twarda / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. One of the main fields of study in the control of dynamical systems has been the effective control of time-varying systems with uncertain parameters and external disturbances. In contrast to stochastic adaptive controllers with identification algorithms, the deterministic control of uncertain time-varying systems has a fixed nonlinear feedback controller, which operates effectively over a specified magnitude range of a class of system variations. If the variations satisfy certain matching conditions, complete insensitivity to system uncertainties can be achieved. The two main approaches are...
One of the main fields of study in the control of dynamical systems has been the effective control of time-varying systems with uncertain parameters a...
|
cena:
451,66 |
![]() |
Algorithmic and Knowledge-Based CAD for VLSI
ISBN: 9780863412677 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The continuing growth in the size and complexity of VLSI devices requires a parallel development of well-designed, efficient CAD tools. The majority of commercially available tools are based on an algorithmic approach to the problem and there is a continuing research effort aimed at improving these. The sheer complexity of the problem has, however, led to an interest in examining the applicability of expert systems and other knowledge based techniques to certain problems in the area and a number of results are becoming available. The aim of this book is to sample the present state-of-the-art...
The continuing growth in the size and complexity of VLSI devices requires a parallel development of well-designed, efficient CAD tools. The majority o...
|
cena:
472,62 |
![]() |
Digital Design Using VHDL: A Systems Approach
ISBN: 9781107098862 / Angielski / Twarda / 721 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Provides students with a system-level perspective and the tools they need to analyze and design complete digital systems using VHDL.
Provides students with a system-level perspective and the tools they need to analyze and design complete digital systems using VHDL.
|
cena:
317,53 |
![]() |
Vlsi-Soc: Internet of Things Foundations: 22nd Ifip Wg 10.5/IEEE International Conference on Very Large Scale Integration, Vlsi-Soc 2014, Playa del Ca
ISBN: 9783319252780 / Angielski / Twarda / 241 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains extended and revised versions of the best papers presented at the 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, held in Playa del Carmen, Mexico, in October 2014. The 12 papers included in the book were carefully reviewed and selected from the 33 full papers presented at the conference. The papers cover a wide range of topics in VLSI technology and advanced research. They address the current trend toward increasing chip integration and technology process advancements bringing about stimulating new challenges both at the...
This book contains extended and revised versions of the best papers presented at the 22nd IFIP WG 10.5/IEEE International Conference on Very Large Sca...
|
cena:
205,02 |
![]() |
Large-Scale Scientific Computing: 10th International Conference, Lssc 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers
ISBN: 9783319265193 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Large-Scale Scientific Computations, LSSC 2015, held in Sozopol, Bulgaria, in June 2015. The 49 revised full papers presented were carefully reviewed and selected from 64 submissions.The general theme for LSSC 2015 was Large-Scale Scientific Computing with a particular focus on the organized special sessions.
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Large-Scale Scientific Computations,...
|
cena:
205,02 |
![]() |
Intelligent Computer Systems in Engineering Design: Principles and Applications
ISBN: 9783319281230 / Angielski / Twarda / 156 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thisintroductory book discusses how to plan and build useful, reliable,maintainable and cost efficient computer systems for automated engineeringdesign.
Thisintroductory book discusses how to plan and build useful, reliable,maintainable and cost efficient computer systems for automated engineeringdesig...
|
cena:
410,09 |