![]() |
Introduction to the Formal Design of Real-Time Systems
ISBN: 9783540761402 / Angielski / Miękka / 461 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. but when we state that A 'equals' B, as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ er see different things as being equal, and how we can produce algo rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check...
but when we state that A 'equals' B, as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores ...
|
cena:
201,24 |
![]() |
Vlsi-Soc: Research Trends in VLSI and Systems on Chip: Fourteenth International Conference on Very Large Scale Integration of System on Chip (Vlsi-Soc
ISBN: 9781441945174 / Angielski / Miękka / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains extended and revised versions of the best papers that were presented during the fourteenth edition of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration, a global System-on-a-Chip Design & CAD conference. The 14th conference was held at the Hotel Boscolo, Nice, France (October 16-18, 2006). Previous conferences have taken place in Edinburgh, Trondheim, Vancouver, Munich, Grenoble, Tokyo, Gramado, Lisbon, Montpellier, Darmstadt and Perth. The purpose of this conference, sponsored by IFIP TC 10 Working Group 10.5 and by the IEEE Council on...
This book contains extended and revised versions of the best papers that were presented during the fourteenth edition of the IFIP TC10/WG10.5 Internat...
|
cena:
402,53 |
![]() |
Architecture and Protocols for High-Speed Networks
ISBN: 9781441951489 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multimedia data streams will form a major part of the new generation of applications in high-speed networks. Continuous media streams, however, require transmission with guaranteed performance. In addition, many multimedia applications will require peer-to-multipeer communication. Guaranteed performance can only be provided with resource reservation in the network, and efficient multipeer communication must be based on multicast support in the lower layers of the network.
Architecture and Protocols for High-Speed Networks focuses on techniques for building the networks that... Multimedia data streams will form a major part of the new generation of applications in high-speed networks. Continuous media streams, however, requir...
|
cena:
805,10 |
![]() |
But How Do It Know?: The Basic Principles of Computers for Everyone
ISBN: 9780615303765 / Angielski / Miękka / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Finally, this brand new book exposes the secrets of computers for everyone to see. Its humorous title begins with the punch line of a classic joke about someone who is baffled by technology. It was written by a 40-year computer veteran who wants to take the mystery out of computers and allow everyone to gain a true understanding of exactly what computers are, and also what they are not. Years of writing, diagramming, piloting and editing have culminated in one easy to read volume that contains all of the basic principles of computers written so that everyone can understand them. There used to...
Finally, this brand new book exposes the secrets of computers for everyone to see. Its humorous title begins with the punch line of a classic joke abo...
|
cena:
79,18 |
![]() |
Fast, Efficient and Predictable Memory Accesses: Optimization Algorithms for Memory Architecture Aware Compilation
ISBN: 9789048172009 / Angielski / Miękka / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The memory system is increasingly turning into a bottleneck in the design of embedded systems. The speed improvements of memory systems are lower than the speed improvements of processors, eventually leading to embedded systems whose performance is limited by the memory. This problem is known as the "memory wall" problem. Furthermore, memory systems may consume the largest share of the system s energy budget and may be the source of unpredictable timing behaviour. Hence, the design of the memory system deserves an increasing amount of attention. Fast, Efficient and... The memory system is increasingly turning into a bottleneck in the design of embedded systems. The speed improvements of memory systems are lower t... |
cena:
402,53 |
![]() |
Openmp in the Petascale Era: 7th International Workshop on Openmp, Iwomp 2011, Chicago, Il, Usa, June 13-15, 2011, Proceedings
ISBN: 9783642214868 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Workshop on OpenMP, IWOMP 2011, held in Chicago, IL, USA in June 2011. The 13 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on using OpenMP with application, tools for OpenMP, extensions of OpenMP, and implementation and performance.
This book constitutes the refereed proceedings of the 7th International Workshop on OpenMP, IWOMP 2011, held in Chicago, IL, USA in June 2011. The 13 ...
|
cena:
201,24 |
![]() |
Oracle WebLogic Server 11g Administration Handbook
ISBN: 9780071774253 / Angielski / Miękka / 528 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Master the Configuration and Administration of Oracle WebLogic Server 11g
Oversee a robust, highly available environment for your mission-critical applications using the expert information in this Oracle Press guide. Oracle WebLogic Server 11g Administration Handbook explains the latest management techniques for the de facto application server for Oracle Fusion Middleware 11g> and provides detailed examples and best practices. Find out how to use the Oracle WebLogic Server Administration Console feature, employ command-line and scripting tools, implement failover and... Master the Configuration and Administration of Oracle WebLogic Server 11g
Oversee a robust, highly available environment for your mission-cr... |
cena:
302,40 |
![]() |
Information Services Design: A Design Science Approach for Sustainable Knowledge
ISBN: 9780415899857 / Angielski / Twarda / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Information services are economic and organizational activities for informing people. Because informing is changing rapidly under the influence of internet-technologies, this book presents in Chapter 1 fundamental notions of information and knowledge, based on philosopher C.W. Churchman's inquiring systems. This results in the identification of three product-oriented design theory aspects: content, use value and revenue. Chapter 2 describes how one can cope with these aspects by presenting process-oriented design theory. Both design theory insights are applied in chapters on information...
Information services are economic and organizational activities for informing people. Because informing is changing rapidly under the influence of int...
|
cena:
782,04 |
![]() |
Vlsi-Soc: Advanced Topics on Systems on a Chip: A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very
ISBN: 9781441947086 / Angielski / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains extended and revised versions of the best papers that were presented during the fifteenth edition of the IFIP/IEEE WG10.5 International Conference on Very Large Scale Integration, a global System-on-a-Chip Design & CAD conference. The 15th conference was held at the Georgia Institute of Technology, Atlanta, USA (October 15-17, 2007). Previous conferences have taken place in Edinburgh, Trondheim, Vancouver, Munich, Grenoble, Tokyo, Gramado, Lisbon, Montpellier, Darmstadt, Perth and Nice. The purpose of this conference, sponsored by IFIP TC 10 Working Group 10.5 and by the...
This book contains extended and revised versions of the best papers that were presented during the fifteenth edition of the IFIP/IEEE WG10.5 Internati...
|
cena:
402,53 |
![]() |
Advances in Power Electronics and Instrumentation Engineering: Second International Conference, Peie 2011, Nagpur, Maharashtra, India, April 21-22, 20
ISBN: 9783642204982 / Angielski / Miękka / 136 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second International Conference on Advances in Power Electronics and Instrumentation Engineering, PEIE 2011, held at Nagpur, India, in April 2011. The 9 revised full papers presented together with 4 short papers and 7 poster papers were carefully reviewed and selected from numerous submissions. The papers address current issues in the field of power electronics, communication engineering, instrumentation engineering, digital electronics, electrical power engineering, electrical machines, information technology, control systems, and the...
This book constitutes the refereed proceedings of the Second International Conference on Advances in Power Electronics and Instrumentation Engineering...
|
cena:
201,24 |
![]() |
A Practical Introduction to Computer Architecture
ISBN: 9781849968317 / Angielski / Miękka / 642 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is a great pleasure to write a preface to this book. In my view, the content is unique in that it blends traditional teaching approaches with the use of mathematics and a mainstream Hardware Design Language (HDL) as formalisms to describe key concepts. The book keeps the "machine" separate from the "application" by strictly following a bottom-up approach: it starts with transistors and logic gates and only introduces assembly language programs once their execution by a processor is clearly de ned. Using a HDL, Verilog in this case, rather than static circuit diagrams is a big deviation...
It is a great pleasure to write a preface to this book. In my view, the content is unique in that it blends traditional teaching approaches with the u...
|
cena:
201,24 |
![]() |
Embedded Systems Architecture: A Comprehensive Guide for Engineers and Programmers
ISBN: 9780123821966 / Angielski / Twarda / 653 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Embedded Systems Architecture is a practical and technical guide to understanding the components that make up an embedded system's architecture. This book is perfect for those starting out as technical professionals such as engineers, programmers and designers of embedded systems; and also for students of computer science, computer engineering and electrical engineering. It gives a much-needed 'big picture' for recently graduated engineers grappling with understanding the design of real-world systems for the first time, and provides professionals with a systems-level picture of the... Embedded Systems Architecture is a practical and technical guide to understanding the components that make up an embedded system's architect... |
cena:
322,54 |
![]() |
Haptic Systems Architecture Modeling
ISBN: 9783709107546 / Angielski / Twarda / 136 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The present work showcases a novel approach to modeling systems architectures by utilizing Lego bricks and RFID technology. The presented solution can be used by systems and software architects to communicate their design decisions with other stakeholders in the developments process such as customers and managers involved. The software provided in this book helps to get a concrete tool showing how the approach can be applied. If the reader is interested in experimenting with this approach, they will need to purchase LEGO © blocks and the required RFID technology needed for this.
The present work showcases a novel approach to modeling systems architectures by utilizing Lego bricks and RFID technology. The presented solution can...
|
cena:
402,53 |
![]() |
Enterprise Architecture Governance
ISBN: 9780981184746 / Angielski / Twarda / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
5271,84 |
![]() |
High Quality Test Pattern Generation and Boolean Satisfiability
ISBN: 9781441999757 / Angielski / Twarda / 193 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly fault efficient SAT-based ATPG framework is presented which is also able to generate high-quality delay tests such as robust path delay tests, as well as tests with long propagation paths to detect small delay defects. The aim of the techniques and methodologies presented in this book is to improve SAT-based ATPG, in order to make it applicable in industrial practice. Readers will learn... This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on B... |
cena:
402,53 |
![]() |
Computer Technology and Computer Programming: Research and Strategies
ISBN: 9781926692968 / Angielski / Twarda / 339 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This title includes a number of Open Access chapters. Covering a broad range of new topics in computer technology and programming, this volume discusses encryption techniques, SQL generation, Web 2.0 technologies, and visual sensor networks. It also examines reconfigurable computing, video streaming, animation techniques, and more. Readers will learn about an educational tool and game to help students learn computer programming. The book also explores a new medical technology paradigm centered on wireless technology and cloud computing designed to overcome the problems of increasing... This title includes a number of Open Access chapters. Covering a broad range of new topics in computer technology and programming, this volu... |
cena:
586,53 |
![]() |
Architecture Management Body of Knowledge: AMBOK(TM) Guide for Information Technology
ISBN: 9780986862601 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. The ARCHITECTURE MANAGEMENT BODY OF KNOWLEDGE (AMBOK(r) Guide) for information technology is a reference guide that is taking a management approach to IT architecture to include definitions, processes, guidelines and frameworks that are generally accepted as best practice for IT architects. IT managers and professional architects can use the guide as a reference to help establish a consistent understanding and implementation of IT architecture. The guide takes an abstract view of IT architecture to define common processes, map out the different types of architecture, and highlight the...
The ARCHITECTURE MANAGEMENT BODY OF KNOWLEDGE (AMBOK(r) Guide) for information technology is a reference guide that is taking a management approach to...
|
cena:
198,25 |
![]() |
Oracle Exalogic Elastic Cloud Handbook
ISBN: 9780071778282 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Achieve Extreme Application Performance for a Private Cloud with Oracle Exalogic Elastic Cloud Transition to a private cloud computing infrastructure and achieve unmatched levels of performance with help from this Oracle Press guide. Oracle Exalogic Elastic Cloud Handbook shows you how to plan, implement, and maintain a private cloud. Find out how to set up components, deploy Java applications, maximize redundancy and throughput, and migrate legacy workloads. Examples, screenshots, and diagrams are included throughout this comprehensive resource.
Achieve Extreme Application Performance for a Private Cloud with Oracle Exalogic Elastic Cloud Transition to a private cloud computing in... |
cena:
207,90 |
![]() |
Transactions on High-Performance Embedded Architectures and Compilers IV
ISBN: 9783642245671 / Angielski / Miękka / 425 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence of embedded and general-purpose computer systems, this journal publishes original research on systems targeted at specific computing tasks as well as systems with broad application bases. The scope of the journal therefore covers all aspects of computer architecture, code generation and compiler optimization methods of interest to researchers and practitioners designing future embedded...
Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performanc...
|
cena:
201,24 |
![]() |
SCG 10 Proceedings of the 26th Annual Symposium on Computational Geometry
ISBN: 9781450300162 / Angielski / Miękka / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The topics of the Annual Symposium on Computational Geometry reflect the rich diversity of research interests in computational geometry. They are intended to highlight both the depth and scope of computational geometry, and to invite fruitful interactions with other disciplines. Topics of interest include, but are not limited to: * design, analysis, and implementation of geometric algorithms and data structures; lower bounds on the computational complexity of geometric problems; * mathematical, numerical, and algebraic issues arising in the formulation, analysis, implementation, and...
The topics of the Annual Symposium on Computational Geometry reflect the rich diversity of research interests in computational geometry. They are inte...
|
cena:
604,30 |