Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer architecture. Operating systems --- Computer architecture --- Computerarchitectuur --- Ordinateurs--Architecture --- Ordinateurs --- Architecture --- Architecture, Computer --- Computer architecture.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Hardware correctness is becoming ever more important in the design of computer systems. The authors introduce a powerful new approach to the design and analysis of modern computer architectures, based on mathematically well-founded formal methods which allows for rigorous correctness proofs, accurate hardware costs determination, and performance evaluation. This book develops, at the gate level, the complete design of a pipelined RISC processor with a fully IEEE-compliant floating-point unit. In contrast to other design approaches, the design presented here is modular, clean and complete.


Computer architecture --- Architecture, Computer --- Computer architecture. Operating systems --- hardware

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer architecture --- Ordinateurs --- Architecture --- 681.3*C10 --- Computerwetenschap--?*C10 --- Computer architecture. --- Architecture, Computer

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Virtual Machine technology applies the concept of virtualization to an entire machine, circumventing real machine compatibility constraints and hardware resource constraints to enable a higher degree of software portability and flexibility. Virtual machines are rapidly becoming an essential element in computer system design. They provide system security, flexibility, cross-platform compatibility, reliability, and resource efficiency. Designed to solve problems in combining and using major computer system components, virtual machine technologies play a key role in many disciplines, including

Virtual computer systems. --- Computer architecture. --- System design. --- Computer architecture --- System design --- Virtual computer systems

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

zonne-energie --- solar power --- Architecture --- Solar physics --- Architecture and solar radiation --- Architecture and solar radiation. --- Photovoltaic power generation --- Photovoltaic power generation. --- Solar buildings --- Solar buildings. --- Solar-heated buildings --- Sun-heated buildings --- Photovoltaic energy conversion --- Photovoltaics --- Solar architecture --- Solar radiation and architecture --- Sun protection in architecture --- Buildings --- Solar heating --- Direct energy conversion --- Solar energy --- Solar batteries --- Solar radiation