Ditapis dengan
Domain Decomposition Methods in Science and Engineering
Invited Talks -- Minisymposium: Domain Decomposition Methods for Wave Propagation in Unbounded Media -- Minisymposium: Parallel Finite Element Software -- Minisymposium: Collaborating Subdomains for Multi-Scale Multi-Physics Modelling -- Minisymposium: Recent Developments for Schwarz Methods -- Minisymposium: Trefftz-Methods -- Minisymposium: Domain Decomposition on Nonmatching Grids -- Minisym…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540268253
- Deskripsi Fisik
- XVIII, 690 p. 184 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Domain Decomposition Methods - Algorithms and Theory
Abstract Theory of Schwarz Methods -- Two-Level Overlapping Methods -- Substructuring Methods: Introduction -- Primal Iterative Substructuring Methods -- Neumann-Neumann and FETI Methods -- Spectral Element Methods -- Linear Elasticity -- Preconditioners for Saddle Point Problems -- Problems in H (div ; ?) and H (curl ; ?) -- Indefinite and Nonsymmetric Problems -- Elliptic Problems and Sobolev…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540266624
- Deskripsi Fisik
- XV, 450 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Design of Embedded Control Systems
Specification of Concurrent Embedded Control Systems -- Using Sequents for Description of Concurrent Digital Systems Behavior -- Formal Logic Design of Reprogrammable Controllers -- Hierarchical Petri Nets for Digital Controller Design -- Analysis and Verification of Discrete-Event Systems -- WCET Prediction for Embedded Processors Using an ADL -- Verification of Control Paths Using Petri Nets …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387283272
- Deskripsi Fisik
- XI, 267 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded Software and Systems
Keynote Speeches and Invited Talks Abstracts (Partial) -- Track 1 Distributed Embedded Computing -- Track 2 Embedded Systems -- Track 3 Embedded Hardware and Architecture -- Track 4 Middleware for Embedded Computing -- Track 5 Mobile Systems -- Track 6 Transducer Network -- Track 7 Embedded Operating System -- Track 8 Power-Aware Computing -- Track 9 Real-Time System -- Track 10 Embedded System…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318231
- Deskripsi Fisik
- XX, 612 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded Software and Systems
Keynote Speech -- Track 1: Embedded Hardware -- Track 2: Embedded Software -- Track 3: Real-Time Systems -- Track 4: Power-Aware Computing -- Track 5: Hardware/Software Co-design and System-On-Chip -- Track 6: Testing and Verification -- Track 7: Reconfigurable Computing -- Track 8: Agent and Distributed Computing -- Track 9: Wireless Communications -- Track 10: Mobile Computing -- Track 11: Pe…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322979
- Deskripsi Fisik
- XXVIII, 784 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded Computer Systems: Architectures, Modeling, and Simulation
Keynote -- Platform Thinking in Embedded Systems -- Reconfigurable System Design and Implementations -- Interprocedural Optimization for Dynamic Hardware Configurations -- Reconfigurable Embedded Systems: An Application-Oriented Perspective on Architectures and Design Techniques -- Reconfigurable Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316640
- Deskripsi Fisik
- XV, 476 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Network Systems
Overview of Distributed Network Systems -- Modelling for Distributed Network Systems: The Client-Server Model -- Communication Paradigms for Distributed Network Systems -- Internetworking -- Interprocess Communication Using Message Passing -- TCP/UDP Communication in Java -- Interprocess Communication Using RPC -- Group Communications -- Reliability and Replication Techniques -- Security -- A R…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387238401
- Deskripsi Fisik
- XXVII, 513 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
- -
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
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah