Ditapis dengan
Advances in Computer Systems Architecture
Keynote Address I -- Processor Architecture for Trustworthy Computers -- Session 1A: Energy Efficient and Power Aware Techniques -- Efficient Voltage Scheduling and Energy-Aware Co-synthesis for Real-Time Embedded Systems -- Energy-Effective Instruction Fetch Unit for Wide Issue Processors -- Rule-Based Power-Balanced VLIW Instruction Scheduling with Uncertainty -- An Innovative Instruction Cac…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321088
- Deskripsi Fisik
- XVIII, 834 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Component Models and Systems for Grid Applications
Application-Oriented Designs -- Building Applications from a Web Service based Component Architecture -- Components for High-Performance Grid Programming in Grid.IT -- Towards Building a Generic Grid Services Platform: A Component-Oriented Approach -- A Solution for Adapting Legacy Code as Web Services -- Middleware Architecture -- A Graphical Modeling Environment for the Generation of Workflow…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387233529
- Deskripsi Fisik
- XVIII, 188 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Functional Verification of Programmable Embedded Architectures
to Functional Verification -- Architecture Specification -- Architecture Specification -- Validation of Specification -- Top-Down Validation -- Executable Model Generation -- Design Validation -- Functional Test Generation -- Future Directions -- Conclusions.Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlene…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387263991
- Deskripsi Fisik
- XIX, 180 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
- -
High Performance Embedded Architectures and Compilers
Invited Program -- Keynote 1: Using EEMBC Benchmarks to Understand Processor Behavior in Embedded Applications -- Keynote 2: The Chip-Multiprocessing Paradigm Shift: Opportunities and Challenges -- Software Defined Radio – A High Performance Embedded Challenge -- I Analysis and Evaluation Techniques -- A Practical Method for Quickly Evaluating Program Optimizations -- Efficient Sampling Start…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322726
- Deskripsi Fisik
- XIV, 318 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
High Performance Computational Science and Engineering
Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed Computing -- A Sparse Distributed Memory Capable of Handling Small Cues, SDMSCue -- Towards a Realistic Performance Model for Networks of Heterogeneous Computers -- Extending Clustersim with MP And DSM Modules -- Rendering Complex Scenes on Clusters with Limited Precomputation -- Numerical Computati…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387240497
- Deskripsi Fisik
- X, 238 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
- -
Hybrid Systems: Computation and Control
Invited Papers -- Coordinated Control for Highly Reconfigurable Systems -- Operational Semantics of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete Time Behavior of Lazy Linear Hybrid Automata -- Perturbed Timed Automata -- A Homology Theory for Hybrid Systems: Hybrid Homology -- Observability of Switched Linear Systems in Continuous Tim…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319542
- Deskripsi Fisik
- XII, 684 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
High Performance Computing – HiPC 2005
Keynote Addresses -- Data Confidentiality in Collaborative Computing -- Productivity in High Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing Challenges of Collaborative Algorithmics -- Quantum Physics and the Nature of Computation -- Plenary Session - Best Papers -- Preemption Adaptivity in Time-Published Queue-Based Spin Locks -- Critical…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540324270
- Deskripsi Fisik
- XXVIII, 552 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
High Performance Computing for Computational Science - VECPAR 2004
1: Large Scale Computations -- Large Scale Simulations -- Development and Integration of Parallel Multidisciplinary Computational Software for Modeling a Modern Manufacturing Process -- Automatically Tuned FFTs for BlueGene/L’s Double FPU -- A Survey of High-Quality Computational Libraries and Their Impact in Science and Engineering Applications -- A Performance Evaluation of the Cray X1 for …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318545
- Deskripsi Fisik
- XI, 732 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