![]() |
Arrays, Functional Languages, and Parallel Systems
ISBN: 9780792392132 / Angielski / Twarda / 319 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. During a meeting in Toronto last winter, Mike Jenkins, Bob Bernecky and I were discussing how the two existing theories on arrays influenced or were in fluenced by programming languages and systems. More's Army Theory was the basis for NIAL and APL2 and Mullin's A Mathematics of A rmys(MOA), is being used as an algebra of arrays in functional and A-calculus based pro gramming languages. MOA was influenced by Iverson's initial and extended algebra, the foundations for APL and J respectively. We discussed that there is a lot of interest in the Computer Science and Engineering communities...
During a meeting in Toronto last winter, Mike Jenkins, Bob Bernecky and I were discussing how the two existing theories on arrays influenced or were i...
|
cena:
612,32 |
![]() |
Image and Text Compression
ISBN: 9780792392439 / Angielski / Twarda / 354 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. James A. Storer Computer Science Dept. Brandeis University Waltham, MA 02254 Data compression is the process of encoding a body of data to reduce stor age requirements. With Lossless compression, data can be decompressed to be identical to the original, whereas with lossy compression, decompressed data may be an acceptable approximation (according to some fidelity criterion) to the original. For example, with digitized video, it may only be necessary that the decompressed video look as good as the original to the human eye. The two primary functions of data compression are: Storage: The...
James A. Storer Computer Science Dept. Brandeis University Waltham, MA 02254 Data compression is the process of encoding a body of data to reduce stor...
|
cena:
841,11 |
![]() |
Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 9780792393320 / Angielski / Twarda / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term fault-tolerance' refers to a system having properties which enable it to deliver its specified function despite (certain) faults of its subsystem. Fault-tolerance is achieved by adding extra hardware and/or software which corrects the effects of faults. In this sense, a system can be called fault-tolerant if it can be proved that the resulting (extended) system under some model of reliability...
Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verificati...
|
cena:
841,11 |
![]() |
Parallel Algorithm Derivation and Program Transformation
ISBN: 9780792393627 / Angielski / Twarda / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York University, Courant Institute, from Aug. 30 to Sept. 1, 1991. The aim of the workshop was to bring together computer scientists in transformational programming and parallel algorithm design in order to encourage a sharing of ideas that might benefit both communities. It was hoped that exposurt: to algorithm design methods developed within the algorithm community would stimulate progress in software development for parallel architectures within the...
This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York Universit...
|
cena:
841,11 |
![]() |
A Formal Approach to Hardware Design
ISBN: 9780792394273 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Formal Approach to Hardware Design discusses designing computations to be realised by application specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions. The models created using Synchronized Transitions enable the designer to perform different kinds of analysis and verification based on descriptions in a single language. It is, for example, possible to use exactly the same design description both for mechanically supported verification and synthesis.
Synchronized Transitions is... A Formal Approach to Hardware Design discusses designing computations to be realised by application specific hardware. It introduces a formal...
|
cena:
841,11 |
![]() |
VLSI Design Methodologies for Digital Signal Processing Architectures
ISBN: 9780792394280 / Angielski / Twarda / 399 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Designing VLSI systems represents a challenging task. It is a transfonnation among different specifications corresponding to different levels of design: abstraction, behavioral, stntctural and physical. The behavioral level describes the functionality of the design. It consists of two components; static and dynamic. The static component describes operations, whereas the dynamic component describes sequencing and timing. The structural level contains infonnation about components, control and connectivity. The physical level describes the constraints that should be imposed on the floor plan,...
Designing VLSI systems represents a challenging task. It is a transfonnation among different specifications corresponding to different levels of desig...
|
cena:
1088,51 |
![]() |
The Interaction of Compilation Technology and Computer Architecture
ISBN: 9780792394518 / Angielski / Twarda / 285 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In brief summary, the following results were presented in this work: A linear time approach was developed to find register requirements for any specified CS schedule or filled MRT. An algorithm was developed for finding register requirements for any kernel that has a dependence graph that is acyclic and has no data reuse on machines with depth independent instruction templates. We presented an efficient method of estimating register requirements as a function of pipeline depth. We developed a technique for efficiently finding bounds on register require ments as a function of pipeline depth....
In brief summary, the following results were presented in this work: A linear time approach was developed to find register requirements for any specif...
|
cena:
544,24 |
![]() |
Loop Parallelization
ISBN: 9780792394556 / Angielski / Twarda / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and promises a great practical award. There is a tremendous investment in existing sequential programs, and scientists and engineers continue to write their application programs in sequential languages (primarily in Fortran). The demand for higher speedups increases. The job of a restructuring compiler is to discover the dependence structure and the characteristics of the given machine. Much attention has been focused on the Fortran do loop. This is where...
Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and promises a great p...
|
cena:
612,32 |
![]() |
Multithreaded Computer Architecture: A Summary of the State of the Art
ISBN: 9780792394778 / Angielski / Twarda / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multithreaded computer architecture has emerged as one of the most promising and exciting avenues for the exploitation of parallelism. This new field represents the confluence of several independent research directions which have united over a common set of issues and techniques. Multithreading draws on recent advances in dataflow, RISC, compiling for fine-grained parallel execution, and dynamic resource management. It offers the hope of dramatic performance increases through parallel execution for a broad spectrum of significant applications based on extensions to traditional' approaches....
Multithreaded computer architecture has emerged as one of the most promising and exciting avenues for the exploitation of parallelism. This new field ...
|
cena:
816,44 |
![]() |
Cooperative Computer-Aided Authoring and Learning: A Systems Approach
ISBN: 9780792395270 / Angielski / Twarda / 351 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Cooperative Computer-Aided Authoring and Learning: A Systems Approach describes in detail a practical system for computer assisted authoring and learning. Drawing from the experiences gained during the Nestor project, jointly run between the Universities of Karlsruhe, Kaiserslautern and Freiburg and the Digital Equipment Corp. Center for Research and Advanced Development, the book presents a concrete example of new concepts in the domain of computer-aided authoring and learning.
The conceptual foundation is laid by a reference architecture for an integrated environment... Cooperative Computer-Aided Authoring and Learning: A Systems Approach describes in detail a practical system for computer assisted a...
|
cena:
1088,51 |
![]() |
Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems
ISBN: 9780792395638 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Responsive Computer Systems: Steps Towards Fault-Tolerant Real-Time Systems provides an extensive treatment of the most important issues in the design of modern Responsive Computer Systems. It lays the groundwork for a more comprehensive model that allows critical design issues to be treated in ways that more traditional disciplines of computer research have inhibited. It breaks important ground in the development of a fruitful, modern perspective on computer systems as they are currently developing and as they may be expected to develop over the next decade.
... Responsive Computer Systems: Steps Towards Fault-Tolerant Real-Time Systems provides an extensive treatment of the most important is...
|
cena:
816,44 |
![]() |
Principles of Distributed Systems
ISBN: 9780792396680 / Angielski / Twarda / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Distributed computer systems are now widely available but, despite a number of recent advances, the design of software for these systems remains a challenging task, involving two main difficulties: the absence of a shared clock and the absence of a shared memory. The absence of a shared clock means that the concept of time is not useful in distributed systems. The absence of shared memory implies that the concept of a state of a distributed system also needs to be redefined. These two important concepts occupy a major portion of this book.
Principles of Distributed Systems... Distributed computer systems are now widely available but, despite a number of recent advances, the design of software for these systems remains a cha...
|
cena:
653,14 |
![]() |
Multithreaded Processor Design
ISBN: 9780792397182 / Angielski / Twarda / 142 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multithreaded Processor Design takes the unique approach of designing a multithreaded processor from the ground up. Every aspect is carefully considered to form a balanced design rather than making incremental changes to an existing design and then ignoring problem areas.
The general purpose parallel computer is an elusive goal. Multithreaded processors have emerged as a promising solution to this conundrum by forming some amalgam of the commonplace control-flow (von Neumann) processor model with the more exotic data-flow approach. This new processor model offers many exciting... Multithreaded Processor Design takes the unique approach of designing a multithreaded processor from the ground up. Every aspect is carefully...
|
cena:
841,11 |
![]() |
Database Concurrency Control: Methods, Performance, and Analysis
ISBN: 9780792397410 / Angielski / Twarda / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Database Concurrency Control: Methods, Performance and Analysis is a review of developments in concurrency control methods for centralized database systems, with a quick digression into distributed databases and multicomputers, the emphasis being on performance.
The main goals of Database Concurrency Control: Methods, Performance and Analysis are to succinctly specify various concurrency control methods; to describe models for evaluating the relative performance of concurrency control methods; to point out problem areas in earlier performance analyses; to... Database Concurrency Control: Methods, Performance and Analysis is a review of developments in concurrency control methods for centralized da...
|
cena:
612,32 |
![]() |
Dependence Analysis
ISBN: 9780792398097 / Angielski / Twarda / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dependence Analysis may be considered to be the second edition of the author's 1988 book, Dependence Analysis for Supercomputing. It is, however, a completely new work that subsumes the material of the 1988 publication. This book is the third volume in the series Loop Transformations for Restructuring Compilers. This series has been designed to provide a complete mathematical theory of transformations that can be used to automatically change a sequential program containing FORTRAN-like do loops into an equivalent parallel form.
In... Dependence Analysis may be considered to be the second edition of the author's 1988 book, Dependence Analysis for Supercomputing. It...
|
cena:
612,32 |
![]() |
Load Balancing in Parallel Computers: Theory and Practice
ISBN: 9780792398196 / Angielski / Twarda / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Load Balancing in Parallel Computers: Theory and Practice is about the essential software technique of load balancing in distributed memory message-passing parallel computers, also called multicomputers. Each processor has its own address space and has to communicate with other processors by message passing. In general, a direct, point-to-point interconnection network is used for the communications. Many commercial parallel computers are of this class, including the Intel Paragon, the Thinking Machine CM-5, and the IBM SP2.
Load Balancing in Parallel Computers:... Load Balancing in Parallel Computers: Theory and Practice is about the essential software technique of load balancing in distributed...
|
cena:
816,44 |
![]() |
Enterprise Systems Integration
ISBN: 9780849311499 / Angielski / Twarda / 832 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The convergence of knowledge, technology, and human performance which comprises today's enterprise allows creative business process design. Thus, an organization can create new and innovative ways to service customers or to do business with suppliers and make itself a leader in its field. This capability relies on a successful strategy that integrates the enterprise. Enterprise Systems Integration, Second Edition continues to provide you with the business insight and the technical know-how that ensures successful systems integration.The book combines the perspectives, knowledge, and...
The convergence of knowledge, technology, and human performance which comprises today's enterprise allows creative business process design. Thus, an o...
|
cena:
771,52 |
![]() |
Building Web Applications with C# and .Net: A Complete Reference
ISBN: 9780849312502 / Angielski / Miękka / 758 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Microsoft's introduction of its XML Web platform, .NET Framework, and its C# programming language signal Microsoft's total entry into e-commerce, fundamentally changing the way businesses and people interact over the Internet. Building Web Applications with C# and .NET: A Complete Reference is a comprehensive resource with a sharp focus on how to develop and deploy distributed applications using Microsoft's .NET Framework and C#. Written for C++, Visual Basic, Java, and ASP programmers making the transition to .NET, the text begins by providing the fundamentals of network programming and then...
Microsoft's introduction of its XML Web platform, .NET Framework, and its C# programming language signal Microsoft's total entry into e-commerce, fund...
|
cena:
647,08 |
![]() |
Hybrid Architectures for Intelligent Systems
ISBN: 9780849342295 / Angielski / Twarda / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hybrid architecture for intelligent systems is a new field of artificial intelligence concerned with the development of the next generation of intelligent systems. This volume is the first book to delineate current research interests in hybrid architectures for intelligent systems.
The book is divided into two parts. The first part is devoted to the theory, methodologies, and algorithms of intelligent hybrid systems. The second part examines current applications of intelligent hybrid systems in areas such as data analysis, pattern classification and recognition, intelligent robot control,... Hybrid architecture for intelligent systems is a new field of artificial intelligence concerned with the development of the next generation of intelli...
|
cena:
995,51 |
![]() |
Microprocessors and Microcomputer-Based System Design
ISBN: 9780849344756 / Angielski / Twarda / 800 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Microprocessors and Microcomputer-Based System Design, Second Edition, builds on the concepts of the first edition. It discusses the basics of microprocessors, various 32-bit microprocessors, the 8085 microprocessor, the fundamentals of peripheral interfacing, and Intel and Motorola microprocessors. This edition includes new topics such as floating-point arithmetic, Program Array Logic, and flash memories. It covers the popular Intel 80486/80960 and Motorola 68040 as well as the Pentium and PowerPC microprocessors. The final chapter presents system design concepts, applying the design...
Microprocessors and Microcomputer-Based System Design, Second Edition, builds on the concepts of the first edition. It discusses the basics of micropr...
|
cena:
1020,39 |