» książki » Computers - Computer Engineering
 |
Computer System Performance Modeling in Perspective: A Tribute to the Work of Prof Kenneth C Sevcik
ISBN: 9781860946615 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer system performance evaluation is a key discipline for the understanding of the behavior and limitations of large scale computer systems and networks. This volume provides an overview of the milestones and major developments of the field.The contributions to the book include many of the principal leaders from industry and academia with a truly international coverage, including several IEEE and ACM Fellows, two Fellows of the US National Academy of Engineering and a Fellow of the European Academy, and a former President of the Association of Computing Machinery.
Computer system performance evaluation is a key discipline for the understanding of the behavior and limitations of large scale computer systems and n...
|
cena:
638,00 zł |
 |
Design and Analysis of Reliable and Fault-Tolerant Computer Systems
ISBN: 9781860946684 / Angielski / Twarda / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Covering both the theoretical and practical aspects of fault-tolerant mobile systems, and fault tolerance and analysis, this book tackles the current issues of reliability-based optimization of computer networks, fault-tolerant mobile systems, and fault tolerance and reliability of high speed and hierarchical networks.The book is divided into six parts to facilitate coverage of the material by course instructors and computer systems professionals. The sequence of chapters in each part ensures the gradual coverage of issues from the basics to the most recent developments. A useful set of...
Covering both the theoretical and practical aspects of fault-tolerant mobile systems, and fault tolerance and analysis, this book tackles the current ...
|
cena:
886,98 zł |
 |
Residue Number Systems: Theory and Implementation
ISBN: 9781860948664 / Angielski / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Residue number systems (RNSs) and arithmetic are useful for several reasons. First, a great deal of computing now takes place in embedded processors, such as those found in mobile devices, for which high speed and low-power consumption are critical; the absence of carry propagation facilitates the realization of high-speed, low-power arithmetic. Second, computer chips are now getting to be so dense that full testing will no longer be possible; so fault tolerance and the general area of computational integrity have become more important. RNSs are extremely good for applications such as digital...
Residue number systems (RNSs) and arithmetic are useful for several reasons. First, a great deal of computing now takes place in embedded processors, ...
|
cena:
539,45 zł |
 |
designing embedded internet devices
ISBN: 9781878707987 / Angielski / Miękka / 582 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Embedded internet and internet appliances are the focus of great attention in the computing industry, as they are seen as the future of computing. The design of such devices presents many technical challenges. This book is the first guide available that describes how to design internet access and communications capabilities into embedded systems. It takes an integrated hardware/software approach using the Java programming language and industry-standard microcontrollers. Numerous illustrations and code examples enliven the text. This book shows how to build various sensors and control devices...
Embedded internet and internet appliances are the focus of great attention in the computing industry, as they are seen as the future of computing. The...
|
cena:
290,42 zł |
 |
Formal Methods in Computer-Aided Design: 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 6-8, 2002, Proceedings
ISBN: 9783540001164 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of...
This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted t...
|
cena:
191,40 zł |
 |
Managing Software Engineering Knowledge
ISBN: 9783540003700 / Angielski / Twarda / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software development is a complex problem-solving activity with a high level of uncertainty. There are many technical challenges concerning scheduling, cost estimation, reliability, performance, etc, which are further aggravated by weaknesses such as changing requirements, team dynamics, and high staff turnover. Thus the management of knowledge and experience is a key means of systematic software development and process improvement. "Managing Software Engineering Knowledge" illustrates several theoretical examples of this vision and solutions applied to industrial practice. It is... Software development is a complex problem-solving activity with a high level of uncertainty. There are many technical challenges concerning schedul... |
cena:
382,84 zł |
 |
A Theory of Distributed Objects: Asynchrony - Mobility - Groups - Components
ISBN: 9783540208662 / Angielski / Twarda / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive use is made of objects interacting through method calls. So far, no general formalism has been proposed for the foundation of such systems. Caromel and Henrio are the first to define a calculus for distributed objects interacting using asynchronous method calls with generalized futures, i.e., wait-by-necessity -- a must in large-scale systems, providing both high structuring and low coupling, and thus scalability. The authors provide very generic results... Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive use is made of ob... |
cena:
382,84 zł |
 |
Software Engineering 1: Abstraction and Modelling
ISBN: 9783540211495 / Angielski / Twarda / 756 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its... The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The tex... |
cena:
382,84 zł |
 |
Software Engineering 2: Specification of Systems and Languages
ISBN: 9783540211501 / Angielski / Twarda / 808 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams),... The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in thi... |
cena:
191,40 zł |
 |
Software Engineering 3: Domains, Requirements, and Software Design
ISBN: 9783540211518 / Angielski / Twarda / 800 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood." This book covers the process from the development of domain descriptions, via the... The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The tex... |
cena:
382,84 zł |
 |
Testing Commercial-Off-The-Shelf Components and Systems
ISBN: 9783540218715 / Angielski / Twarda / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Industrial development of software systems needs to be guided by recognized engineering principles. Commercial-off-the-shelf (COTS) components enable the systematic and cost-effective reuse of prefabricated tested parts, a characteristic approach of mature engineering disciplines. This reuse necessitates a thorough test of these components to make sure that each works as specified in a real context. Beydeda and Gruhn invited leading researchers in the area of component testing to contribute to this monograph, which covers all related aspects from testing components in a... Industrial development of software systems needs to be guided by recognized engineering principles. Commercial-off-the-shelf (COTS) components enab... |
cena:
382,84 zł |
 |
Power-Aware Computer Systems: Third International Workshop, Pacs 2003, San Diego, Ca, Usa, December 1, 2003, Revised Papers
ISBN: 9783540240310 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the proceedings of the 3rd Power-Aware Computer Systems (PACS 2003) Workshop held in conjunction with the 36th Annual International Symposium on Microarchitecture (MICRO-36). The increase in power and - ergy dissipation in computer systems has begun to limit performance and has also resulted in higher cost and lower reliability. The increase also implies - ducedbatterylifeinportablesystems.Becauseofthemagnitudeoftheproblem, alllevelsofcomputersystems, includingcircuits, architectures, andsoftware, are being employed to address power and energy issues. PACS 2003 was the third...
Welcome to the proceedings of the 3rd Power-Aware Computer Systems (PACS 2003) Workshop held in conjunction with the 36th Annual International Symposi...
|
cena:
191,40 zł |
 |
Power-Aware Computer Systems: 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers
ISBN: 9783540297901 / Angielski / Miękka / 181 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contributes the thoroughly refereed post-proceedings of the 4th International Workshop on Power-Aware Computer Systems, PACS 2004, held in Portland, OR, USA in December 2004. The 12 revised full papers presented were carefully reviewed, selected, and revised for inclusion in the book. The papers span a wide spectrum of topics in power-aware systems; they are organized in topical sections on microarchitecture- and circuit-level techniques, power-aware memory and interconnect systems, and frequency- and voltage-scaling techniques. This book contributes the thoroughly refereed post-proceedings of the 4th International Workshop on Power-Aware Computer Systems, PACS 2004, held i... |
cena:
191,40 zł |
 |
Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings
ISBN: 9783540411864 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This title constitutes the refereed proceedings of the 19th International Conference on Computer Safety, Reliability, and Security. The 33 revised full papers presented together with three invited papers are organized in topical sections on verification and validation software process improvement formal methods safety guidelines, standards and certification hardware aspects safety assessment design for safety and transport and infrastructure.
This title constitutes the refereed proceedings of the 19th International Conference on Computer Safety, Reliability, and Security. The 33 revised ful...
|
cena:
191,40 zł |
 |
Rendering, Visualization and Rasterization Hardware
ISBN: 9783540567875 / Angielski / Twarda / 197 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reports the developments in rendering, visualization, and rasterization hardware. This book contains contributions to the Sixth Eurographics Workshop on Graphics Hardware, held in Vienna in September 1991.
Reports the developments in rendering, visualization, and rasterization hardware. This book contains contributions to the Sixth Eurographics Workshop ...
|
cena:
382,84 zł |
 |
Algorithms and Data Structures in VLSI Design: Obdd - Foundations and Applications
ISBN: 9783540644866 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. One of the main problems in chip design is the huge number of possible combinations of individual chip elements, leading to a combinatorial explosion as chips become more complex. New key results in theoretical computer science and in the design of data structures and efficient algorithms, can be applied fruitfully here. The application of ordered binary decision diagrams (OBDDs) has led to dramatic performance improvements in many computer-aided design projects. This textbook provides an introduction to the foundations of this interdisciplinary research area with an emphasis on applications...
One of the main problems in chip design is the huge number of possible combinations of individual chip elements, leading to a combinatorial explosion ...
|
cena:
191,40 zł |
 |
Architecture Design and Validation Methods
ISBN: 9783540649762 / Angielski / Twarda / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This state-of-the-art survey gives a systematic presentation of recent advances in the design and validation of computer architectures. Based on advanced research ideas and approaches, and written by eminent researchers in the field, seven chapters cover the whole range from computer aided high-level design of VLSI circuits and systems to layout and testable design, including modeling and synthesis of behavior, of control, and of dataflow, cell based logic optimization, machine assisted verification, and virtual machine design. The chapters presuppose only basic familiarity with computer...
This state-of-the-art survey gives a systematic presentation of recent advances in the design and validation of computer architectures. Based on advan...
|
cena:
191,40 zł |
 |
Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties
ISBN: 9783540654315 / Angielski / Twarda / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. N COMPUTER applications we are used to live with approximation. Var I ious notions of approximation appear, in fact, in many circumstances. One notable example is the type of approximation that arises in numer ical analysis or in computational geometry from the fact that we cannot perform computations with arbitrary precision and we have to truncate the representation of real numbers. In other cases, we use to approximate com plex mathematical objects by simpler ones: for example, we sometimes represent non-linear functions by means of piecewise linear ones. The need to solve difficult...
N COMPUTER applications we are used to live with approximation. Var I ious notions of approximation appear, in fact, in many circumstances. One notabl...
|
cena:
325,26 zł |
 |
Computer Architecture: Complexity and Correctness
ISBN: 9783540674818 / Angielski / Twarda / 553 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer Architecture: Complexity and Correctness develops, at the gate level, the complete design of a pipelined RISC processor with delayed branch, forwarding, hardware interlock, precise maskable nested interrupts, caches, and a fully IEEE-compliant floating point unit. In contrast to other design approaches applied in practice and unlike other textbooks available, the design presented here are modular, clean and complete up to the construction of entire complex machines. The authors' systematically basing their approach on rigorous mathematical formalisms allows for rigorous correctness...
Computer Architecture: Complexity and Correctness develops, at the gate level, the complete design of a pipelined RISC processor with delayed branch, ...
|
cena:
191,40 zł |
 |
Efficient Visual Navigation: A Study by the Example of Hierarchically Structured Graphs
ISBN: 9783836417945 / Angielski / Miękka / 164 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
309,48 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
