Ditapis dengan
Distributed and Parallel Computing
Improving Concurrent Write Scheme in File Server Group -- A Comparative Performance Study of Distributed Mutual Exclusion Algorithms with a Class of Extended Petri Nets -- A Practical Comparison of Cluster Operating Systems Implementing Sequential and Transactional Consistency -- Clock Synchronization State Graphs Based on Clock Precision Difference -- A Recursive-Adjustment Co-allocation Schem…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320715
- Deskripsi Fisik
- XIV, 452 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed and Parallel Systems
Grid Systems -- Glogin - Interactive Connectivity for the Grid -- Parallel Program Execution Support in the Jgrid System -- VL-E: Approaches to Design a Grid-Based Virtual Laboratory -- Scheduling and Resource Brokering within the Grid Visualization Kernel -- Cluster Technology -- Message Passing vs. Virtual Shared Memory A Performance Comparison -- MPI-I/O with a Shared File Pointer Using a Pa…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387230962
- Deskripsi Fisik
- XI, 211 p. 48 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
New Horizons of Parallel and Distributed Computing
Programming Models and Support Tools -- Flexible Message Passing Interface for A Heterogenous Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems -- Programming Cellular Automata-Like Systems in a Multimedia Parallel Environment -- Algorithms -- Vector-Parallel Algorithms for 1-Dimensional Fast Fourier Transform -- Towards Solving NP-Complete Pr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387289670
- Deskripsi Fisik
- XIV, 333 p. 136 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Architecture Description Languages
Tutorial -- An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering -- Models and Analysis -- Deploying QoS Contracts in the Architectural Level -- Hierarchical Composition and Abstraction in Architecture Models -- Pattern-Based Analysis of an Embedded Real-Time System Architecture -- An ADL Centric…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387245904
- Deskripsi Fisik
- X, 212 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
UML for SOC Design
When Worlds Collide: Can UML Help SoC Design? -- Why Systems-on-Chip needs More UML like a Hole in the Head -- UML as a Framework for Combining Different Models of Computation -- A Generic Model Execution Platform for the Design of Hardware and Software -- Hardware/Software Codesign of Reconfigurable Architectures Using UML -- A Methodology for Bridging the Gap between UML and Codesign -- UML T…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387257457
- Deskripsi Fisik
- XII, 272 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
CONCUR 2005 - Concurrency Theory
Invited Lectures -- Static Analysis Versus Model Checking for Bug Finding -- The Benefits of Exposing Calls and Returns -- A Compositional Approach to the Stochastic Dynamics of Gene Networks -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets and Concurrency -- Model Checking for ?-Calculus Using Proof Search -- A Game Semantics of the As…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319344
- Deskripsi Fisik
- XXIV, 1280 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reconfigurable Distributed Control
to Network Communication -- Real-Time Systems -- Smart Peripheral Elements -- Reconfigurable Control -- Case Study.Distributed control systems offer the advantages of control local to the process being controlled while retaining the ease of control at a single centralised location. Typically such a system has involved a great deal of hard-wiring and has been of most use only in situations where…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846281969
- Deskripsi Fisik
- X, 138 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Aided Systems Theory – EUROCAST 2005
Formal Approaches in Modelling -- On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor Matrix -- Fuzzy Modeling for Coal Seams…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318293
- Deskripsi Fisik
- XIV, 634 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Model Driven Architecture - Foundations and Applications
MDA Development Processes -- Applying MDA to Voice Applications: An Experience in Building an MDA Tool Chain -- MDA, Meta-Modelling and Model Transformation: Introducing New Technology into the Defence Industry -- Using Domain Driven Development for Monitoring Distributed Systems -- MDA for Embedded and Real-Time Systems -- Model-Driven Architecture for Hard Real-Time Systems: From Platform Ind…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320937
- Deskripsi Fisik
- X, 286 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Model Driven Architecture
Designing Application Domain Models with Roles -- Model Bus: Towards the Interoperability of Modelling Tools -- Modeling in the Large and Modeling in the Small -- Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML -- Model Transformation Language MOLA -- A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models -- Describing Horizontal…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318194
- Deskripsi Fisik
- X, 238 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