Ditapis dengan
Languages and Compilers for Parallel Computing
Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism Control for Multigrain Parallel Processing -- Compiler Analysis and Supports for Leakage Power Reduction on Microprocessors -- Automatic Detection of Saturation and Clipping Idioms -- Compiler Optimiz…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316121
- Deskripsi Fisik
- XII, 380 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Languages and Compilers for High Performance Computing
Experiences in Using Cetus for Source-to-Source Transformations -- The LLVM Compiler Framework and Infrastructure Tutorial -- An Overview of the Open Research Compiler -- Trimaran: An Infrastructure for Research in Instruction-Level Parallelism -- Phase-Based Miss Rate Prediction Across Program Inputs -- Speculative Subword Register Allocation in Embedded Processors -- Empirical Performance-Mod…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318132
- Deskripsi Fisik
- X, 494 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Hierarchical Bayesian Optimization Algorithm
From Genetic Variation to Probabilistic Modeling -- Probabilistic Model-Building Genetic Algorithms -- Bayesian Optimization Algorithm -- Scalability Analysis -- The Challenge of Hierarchical Difficulty -- Hierarchical Bayesian Optimization Algorithm -- Hierarchical BOA in the Real World.This book provides a framework for the design of competent optimization techniques by combining advanced evo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540323730
- Deskripsi Fisik
- XVIII, 166 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reasoning Robots
Special Fluent Calculus -- Special FLUX -- General Fluent Calculus -- General FLUX -- Knowledge Programming -- Planning -- Nondeterminism -- Imprecision* -- Indirect Effects: Ramification Problem* -- Troubleshooting: Qualification Problem -- Robotics.The book provides an in-depth and uniform treatment of a mathematical model for reasoning robotic agents. The book also contains an introduction t…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402030697
- Deskripsi Fisik
- XIV, 328 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Implementation of Functional Languages
Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Program…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540278610
- Deskripsi Fisik
- X, 190 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Introduction to Assembly Language Programming
Overview -- Basic Computer Organization -- Pentium Assembly Language -- The Pentium Processor -- Overview of Assembly Language -- Procedures and the Stack -- Addressing Modes -- Arithmetic Flags and Instructions -- Selection and Iteration -- Logical and Bit Operations -- String Processing -- ASCII and BCD Arithmetic -- MIPS Assembly Language -- MIPS Processor -- MIPS Assembly Language -- Interr…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9780387271552
- Deskripsi Fisik
- XXIV, 692 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Job Scheduling Strategies for Parallel Processing
Parallel Job Scheduling — A Status Report -- Scheduling on the Top 50 Machines -- Parallel Computer Workload Modeling with Markov Chains -- Enhancements to the Decision Process of the Self-Tuning dynP Scheduler -- Reconfigurable Gang Scheduling Algorithm -- Time-Critical Scheduling on a Well Utilised HPC System at ECMWF Using Loadleveler with Resource Reservation -- Inferring the Topology and…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540317951
- Deskripsi Fisik
- VIII, 320 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Genetic Programming
Talks -- An Algorithmic Chemistry for Genetic Programming -- Assessing the Effectiveness of Incorporating Knowledge in an Evolutionary Concept Learner -- Automated Re-invention of a Previously Patented Optical Lens System Using Genetic Programming -- Bayesian Automatic Programming -- Dynamic Size Populations in Distributed Genetic Programming -- Evolution of Robot Controller Using Cartesian Gen…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319894
- Deskripsi Fisik
- XIV, 390 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Job Scheduling Strategies for Parallel Processing
Modeling User Runtime Estimates -- Workload Analysis of a Cluster in a Grid Environment -- ScoPred–Scalable User-Directed Performance Prediction Using Complexity Modeling and Historical Data -- Open Job Management Architecture for the Blue Gene/L Supercomputer -- AnthillSched: A Scheduling Strategy for Irregular and Iterative I/O-Intensive Parallel Jobs -- An Extended Evaluation of Two-Phase …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316176
- Deskripsi Fisik
- VIII, 283 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Validated Designs for Object-oriented Systems
Models and Software Development -- Building a Model in VDM++: An Overview -- VDM++ Tool Support -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered Collections -- Modelling Ordered Collections -- Modelling Relationships -- Modelling in Practice: Three Case Studies -- Model Structuring: The Enigma Cipher -- Combining Views: The CSLaM Sy…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781846281075
- Deskripsi Fisik
- XII, 404 p. 65 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah