» książki » Computers - Programming - Compilers
topmenu
 |
The Austin Protocol Compiler
ISBN: 9780387232270 / Angielski / Twarda / 141 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. There are two groups of researchers who are interested in designing network protocols and who cannot (yet) effectively communicate with one another c- cerning these protocols. The first is the group of protocol verifiers, and the second is the group of protocol implementors. The main reason for the lack of effective communication between these two groups is that these groups use languages with quite different semantics to specify network protocols. On one hand, the protocol verifiers use specification languages whose semantics are abstract, coarse-grained, and with large atom- ity. Clearly,...
There are two groups of researchers who are interested in designing network protocols and who cannot (yet) effectively communicate with one another c-...
|
cena:
390,87 zł |
 |
Essential Maple 7: An Introduction for Scientific Programmers
ISBN: 9780387953526 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The best book on Maple just got better. This lively book is bursting with clear descriptions, revealing examples and top tips. It is gentle enough to act as an introduction and yet sufficiently comprehensive and well organised to serve as a reference manual. Maple Release 7 is significantly different to earlier releases, so this book will appeal even to hardened users who want to catch up fast. - Des Higham, University of Strathclyde, UK This book provides an accelerated introduction to Maple for scientific programmers who already have experience in other computer languages... The best book on Maple just got better. This lively book is bursting with clear descriptions, revealing examples and top tips. It is gentle enough ... |
cena:
195,42 zł |
 |
The Synthesizer Generator Reference Manual
ISBN: 9780387969107 / Angielski / Miękka / 171 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Synthesizer Generator is a system for automating the implementation of language-based editing environments. The editor designer prepares a specification that includes rules defining a language's context-free abstract syn tax, context-sensitive relationships, display format, and concrete input syntax. From this specification, the Synthesizer Generator creates a display editor for manipulating objects according to these rules Reps84]. This volume, The Synthesizer Generator Reference Manual, is intended as the defining document of the system. A companion volume, The Synthesizer Gen erator:...
The Synthesizer Generator is a system for automating the implementation of language-based editing environments. The editor designer prepares a specifi...
|
cena:
390,87 zł |
 |
Modern Compiler Implementation in ML
ISBN: 9780521607643 / Angielski / Miękka / 552 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well as functional and object-oriented languages, that are missing from most books. In addition, more advanced chapters are now included so that it can be used as the basis for two-semester or graduate course. The most...
This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate repr...
|
cena:
483,36 zł |
 |
Modern Compiler Implementation in Java
ISBN: 9780521820608 / Angielski / Twarda / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook describes all phases of a compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes thorough coverage of current techniques in code generation and register allocation, and the compilation of functional and object-oriented languages. The most accepted and successful techniques are described and illustrated with actual Java DEGREESTM(R) classes. The first part is suitable for a one-semester first course in...
This textbook describes all phases of a compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruct...
|
cena:
344,25 zł |
 |
NUnit Pocket Reference
ISBN: 9780596007393 / Angielski / Miękka / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Few .NET developers have the luxury of unlimited code testing once their application is complete, and rushing through the testing process is both problematic and stressful. The open source NUnit framework provides an excellent and efficient way to test and improve .NET code as it's written, saving hundreds of QA hours and headaches.NUnit is one of the most mature and widely-used .NET open source projects even Microsoft uses it internally. NUnit is a unit-testing framework for all .Net languages. Written entirely in C#, NUnit takes advantage of many .NET language features, such as custom... Few .NET developers have the luxury of unlimited code testing once their application is complete, and rushing through the testing process is both p... |
cena:
43,46 zł |
 |
The Logic Programming Tutor
ISBN: 9780792314486 / Angielski / Twarda / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Logic Programming Tutor (LPT) assumes no prior knowledge or experience of Prolog. The book is designed as a teaching tool to be used in conjunction with a computer program of the same name which is offered free of charge on disk. The LPT is essentially a user friendly front-end that can accept either Prolog or an English-like notation, and translate between one and the other. There is a built-in editor which can display sections from one of several scripts' written by an instructor; these guide the student in learning Prolog by experimentation.
The book is divided into two... The Logic Programming Tutor (LPT) assumes no prior knowledge or experience of Prolog. The book is designed as a teaching tool to be used in conjunctio...
|
cena:
586,33 zł |
 |
Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
ISBN: 9780792371434 / Angielski / Twarda / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi.
This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical... Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers p...
|
cena:
390,87 zł |
 |
Interaction Between Compilers and Computer Architectures
ISBN: 9780792373704 / Angielski / Twarda / 143 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Effective compilers allow for a more efficient execution of application programs for a given computer architecture, while well-conceived architectural features can support more effective compiler optimization techniques. A well thought-out strategy of trade-offs between compilers and computer architectures is the key to the successful designing of highly efficient and effective computer systems. From embedded micro-controllers to large-scale multiprocessor systems, it is important to understand the interaction between compilers and computer architectures.
The goal of the Annual Workshop... Effective compilers allow for a more efficient execution of application programs for a given computer architecture, while well-conceived architectural...
|
cena:
390,87 zł |
 |
Retargetable Compiler Technology for Embedded Systems: Tools and Applications
ISBN: 9780792375784 / Angielski / Twarda / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is well known that embedded systems have to be implemented efficiently. This requires that processors optimized for certain application domains are used in embedded systems. Such an optimization requires a careful exploration of the design space, including a detailed study of cost/performance tradeoffs. In order to avoid time-consuming assembly language programming during design space exploration, compilers are needed. In order to analyze the effect of various software or hardware configurations on the performance, retargetable compilers are needed that can generate code for numerous...
It is well known that embedded systems have to be implemented efficiently. This requires that processors optimized for certain application domains are...
|
cena:
390,87 zł |
 |
Advanced Debugging Methods
ISBN: 9780792378952 / Angielski / Twarda / 183 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object relationships in modern software systems are becoming increasingly numerous and complex, and program errors due to violations of object relationships are difficult to detect. Programmers need new tools that allow them to explore objects in a large system more efficiently and to detect broken object relationships instantaneously. Such tools incorporate approaches used in such areas as data visualization, pattern matching and extraction, database querying, active databases, and rule-based programming. The query-based debugging approach developed by the author of this book is another...
Object relationships in modern software systems are becoming increasingly numerous and complex, and program errors due to violations of object relatio...
|
cena:
390,87 zł |
 |
Data Management for Mobile Computing
ISBN: 9780792380535 / Angielski / Twarda / 157 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Earth date, August 11, 1997 "Beam me up Scottie " "We cannot do it This is not Star Trek's Enterprise. This is early years Earth." True, this is not yet the era of Star Trek, we cannot beam captain James T. Kirk or captain Jean Luc Pickard or an apple or anything else anywhere. What we can do though is beam information about Kirk or Pickard or an apple or an insurance agent. We can beam a record of a patient, the status of an engine, a weather report. We can beam this information anywhere, to mobile workers, to field engineers, to a track loading apples, to ships crossing the Oceans, to web...
Earth date, August 11, 1997 "Beam me up Scottie " "We cannot do it This is not Star Trek's Enterprise. This is early years Earth." True, this is not ...
|
cena:
781,79 zł |
 |
A Systolic Array Parallelizing Compiler
ISBN: 9780792391227 / Angielski / Twarda / 130 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Widespread use of parallel processing will become a reality only if the process of porting applications to parallel computers can be largely automated. Usually it is straightforward for a user to determine how an application can be mapped onto a parallel machine; however, the actual development of parallel code, if done by hand, is typically difficult and time consuming. Parallelizing compilers, which can gen erate parallel code automatically, are therefore a key technology for parallel processing. In this book, Ping-Sheng Tseng describes a parallelizing compiler for systolic arrays, called...
Widespread use of parallel processing will become a reality only if the process of porting applications to parallel computers can be largely automated...
|
cena:
390,87 zł |
 |
Compiling Parallel Loops for High Performance Computers: Partitioning, Data Assignment and Remapping
ISBN: 9780792392835 / Angielski / Twarda / 159 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 4. 2 Code Segments . . . . . . . . . . . . . . . 96 4. 3 Determining Communication Parameters . 99 4. 4 Multicast Communication Overhead . 103 4. 5 Partitioning . . . . . . . 103 4. 6 Experimental Results . 117 4. 7 Conclusion. . . . . . . . 121 5 COLLECTIVE PARTITIONING AND REMAPPING FOR MULTIPLE LOOP NESTS 125 5. 1 Introduction. . . . . . . . . 125 5. 2 Program Enclosure Trees. . 128 5. 3 The CPR Algorithm . . 132 5. 4 Experimental Results. . 141 5. 5 Conclusion. . 146 BIBLIOGRAPHY. 149 INDEX . . . . . . . . 157 LIST OF FIGURES Figure 1. 1 The Butterfly Architecture. . . . . . . . . . 5 1....
4. 2 Code Segments . . . . . . . . . . . . . . . 96 4. 3 Determining Communication Parameters . 99 4. 4 Multicast Communication Overhead . 103 4. 5 Pa...
|
cena:
390,87 zł |
 |
Loop Transformations for Restructuring Compilers: The Foundations
ISBN: 9780792393184 / Angielski / Twarda / 305 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 great practical rewards. 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), but the demand for increasing speed is constant. The job of a restructuring compiler is to discover the dependence structure of a given program and transform the program in a way that is consistent with both that dependence structure and the...
Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and promises great pra...
|
cena:
586,33 zł |
 |
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:
390,87 zł |
 |
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:
586,33 zł |
 |
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:
586,33 zł |
 |
Retargetable Compilers for Embedded Core Processors: Methods and Experiences in Industrial Applications
ISBN: 9780792399599 / Angielski / Twarda / 155 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Embedded core processors are becoming a vital part of today's system-on-a-chip in the growing areas of telecommunications, multimedia and consumer electronics. This is mainly in response to a need to track evolving standards with the flexibility of embedded software. Consequently, maintaining the high product performance and low product cost requires a careful design of the processor tuned to the application domain. With the increased presence of instruction-set processors, retargetable software compilation techniques are critical, not only for improving engineering productivity, but to allow...
Embedded core processors are becoming a vital part of today's system-on-a-chip in the growing areas of telecommunications, multimedia and consumer ele...
|
cena:
390,87 zł |
 |
A Systolic Array Optimizing Compiler
ISBN: 9780898383003 / Angielski / Twarda / 202 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a revision of my Ph. D. thesis dissertation submitted to Carnegie Mellon University in 1987. It documents the research and results of the compiler technology developed for the Warp machine. Warp is a systolic array built out of custom, high-performance processors, each of which can execute up to 10 million floating-point operations per second (10 MFLOPS). Under the direction of H. T. Kung, the Warp machine matured from an academic, experimental prototype to a commercial product of General Electric. The Warp machine demonstrated that the scalable architecture of high-peiformance,...
This book is a revision of my Ph. D. thesis dissertation submitted to Carnegie Mellon University in 1987. It documents the research and results of the...
|
cena:
390,87 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
