Ditapis dengan
Scientific Applications of Grid Computing
Data-Based Applications -- to OGSA-DAI Services -- Using OGSA-DQP to Support Scientific Applications for the Grid -- Mobile Agent-Based Service Provision in Distributed Data Archives -- A Proxy Service for the xrootd Data Server -- A Flexible Two-Level I/O Architecture for Grids -- Data Driven Infrastructure and Policy Selection to Enhance Scientific Applications in Grid -- BioApplications -- M…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320104
- Deskripsi Fisik
- X, 214 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Requirements Engineering
A Generic Process for Requirements Engineering -- System Modelling for Requirements Engineering -- Writing and Reviewing Requirements -- Requirements Engineering in the Problem Domain -- Requirements Engineering in the Solution Domain -- Advanced Traceability -- Management Aspects of Requirements Engineering -- DOORS: A Tool to Manage Requirements.This second edition follows quickly on the ?rst…
- Edisi
- 2nd ed.
- ISBN/ISSN
- 9781846280757
- Deskripsi Fisik
- XVI, 198 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reliable Distributed Systems
Basic Distributed Computing Technologies -- Fundamentals -- Basic Communication Services -- High Assurance Communication -- Remote Procedure Calls and the Client/Server Model -- Styles of Client/Server Computing -- CORBA: The Common Object Request Broker Architecture -- System Support for Fast Client/Server Communication -- Web Technologies -- The World Wide Web -- Major Web Technologies -- Web…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387276014
- Deskripsi Fisik
- XXXVI, 668 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Advances in Parallel Virtual Machine and Message Passing Interface
Invited Talks -- New Directions in PVM/Harness Research -- Towards a Productive MPI Environment -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach -- Algorithms -- Some Improvements to a Parallel Decomposition Technique for Training Suppo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319436
- Deskripsi Fisik
- XVIII, 550 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Power-Aware Computer Systems
Microarchitecture- and Circuit-Level Techniques -- An Optimized Front-End Physical Register File with Banking and Writeback Filtering -- Reducing Delay and Power Consumption of the Wakeup Logic Through Instruction Packing and Tag Memoization -- Bit-Sliced Datapath for Energy-Efficient High Performance Microprocessors -- Low-Overhead Core Swapping for Thermal Management -- Power-Aware Memory and…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540314851
- Deskripsi Fisik
- X, 181 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Power-Aware Computer Systems
Compilers -- Runtime Biased Pointer Reuse Analysis and Its Application to Energy Efficiency -- Inter-program Compilation for Disk Energy Reduction -- Embedded Systems -- Energy Consumption in Mobile Devices: Why Future Systems Need Requirements–Aware Energy Scale-Down -- Efficient Scratchpad Allocation Algorithms for Energy Constrained Embedded Systems -- Online Prediction of Battery Lifetime…
- Edisi
- 1st ed. =
- ISBN/ISSN
- 9783540286417
- Deskripsi Fisik
- X, 215 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Parallel Computing Technologies
On Evaluating the Performance of Security Protocols -- Timed Equivalences for Timed Event Structures -- Similarity of Generalized Resources in Petri Nets -- Real-Time Event Structures and Scott Domains -- Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes -- Allowing Atomic Objects to Coexist with Sequentially Consistent Objects -- An Approach to the Im…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318262
- Deskripsi Fisik
- XII, 472 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Parallel and Distributed Processing and Applications - ISPA 2005 Workshops
Workshop 1: International Workshop on Applications and Economics of Peer-to-Peer Systems (AEPP 2005) -- Aurelia: Building Locality-Preserving Overlay Network over Heterogeneous P2P Environments -- On Building and Updating Distributed LSI for P2P Systems -- Performing Efficient Keyword Search by Keyword Grouping in DHT Peer-to-Peer Network -- Characterization of P2P File-Sharing System -- Analys…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321156
- Deskripsi Fisik
- XX, 672 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Parallel and Distributed Processing and Applications
Keynote Speech -- Session 1A: Parallel Algorithms and Systems I -- Session 1B: Data Mining and Management -- Session 1C: Distributed Algorithms and Systems -- Session 2A: Fault Tolerance Protocols and Systems -- Session 2B: Sensor Networks and Protocols -- Session 2C: Cluster Systems and Applications -- Session 3A: Parallel Algorithms and Systems II -- Session 3B: Grid Applications and Systems …
- Edisi
- 1st ed. 2
- ISBN/ISSN
- 9783540305668
- Deskripsi Fisik
- XXIV, 1058 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Parallel and Distributed Processing and Applications
Keynote Speech -- Tutorial -- Session 1A: Cluster Systems and Applications -- Session 1B: Performance Evaluation and Measurements -- Session 1C: Distributed Algorithms and Systems -- Session 1D: Fault Tolerance and Reliability -- Session 2A: High-Performance Computing and Architecture I -- Session 2B: Parallel Algorithms and Systems I -- Session 2C: Network Routing and Communication Algorithms …
- Edisi
- 1st ed. 2
- ISBN/ISSN
- 9783540321002
- Deskripsi Fisik
- XXIV, 1164 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