Ditapis dengan
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
- -
Guide to Assembly Language Programming in Linux
Overview -- Assembly Language -- Computer Organization -- Digital Logic Circuits -- Memory Organization -- The IA-32 Architecture -- Linux -- Installing Linux -- Using Linux -- NASM -- Installing and Using NASM -- Debugging Assembly Language Programs -- Assembly Language -- A First Look at Assembly Language -- More on Assembly Language -- Writing Procedures -- More on Procedures -- Addressing M…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387261713
- Deskripsi Fisik
- XVI, 545 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Trustworthy Global Computing
Harmony: The Art of Reconciliation -- A Theory of Noninterference for the ?-Calculus -- Typed Processes in Untyped Contexts -- Model–Based Testing of Cryptographic Protocols -- A General Name Binding Mechanism -- Types for Security in a Mobile World -- History-Based Access Control for Distributed Processes -- Programming Cryptographic Protocols -- A Framework for Analyzing Probabilistic Proto…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540314837
- Deskripsi Fisik
- VIII, 371 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
A Software Process Model Handbook for Incorporating People's Capabilities
Software Process and Peopleware Basics -- Software Process and Peopleware Basics -- Software Process Models -- Overview of Software Process Models and Descriptive Criteria for their Analysis -- Activity-Oriented Models -- People-Oriented Models -- Summary of the Overview of Software Process Models -- Capabilities-Oriented Software Process Model -- Adding Capabilities to the Software Process Mod…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387254890
- Deskripsi Fisik
- XXVIII, 324 p. 90 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Computing
Invited Talks -- Digital Fountains and Their Application to Informed Content Delivery over Adaptive Overlay Networks -- Securing the Net: Challenges, Failures and Directions -- Regular Papers -- Coterie Availability in Sites -- Keeping Denial-of-Service Attackers in the Dark -- On Conspiracies and Hyperfairness in Distributed Computing -- On the Availability of Non-strict Quorum Systems -- Musi…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320753
- Deskripsi Fisik
- XIV, 522 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Spatially Structured Evolutionary Algorithms
Setting the Stage for Structured Populations -- Island Models -- Island Models: Empirical Properties -- Lattice Cellular Models -- Lattice Cellular Models: Empirical Properties -- Random and Irregular Cellular Populations -- Coevolutionary Structured Models -- Some Nonconventional Models.Evolutionary algorithms (EAs) is now a mature problem-solving family of heuristics that has found its way in…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540299387
- Deskripsi Fisik
- XIII, 193 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Methods for Open Object-Based Distributed Systems
Invited Talk -- Pattern Matching over a Dynamic Network of Tuple Spaces -- Models and Calculi -- A Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML Models -- An Extended Type System for OCL Supporting Templates and Transformations -- A Se…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540315568
- Deskripsi Fisik
- X, 326 p.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