Ditapis dengan
Euro-Par 2005 Parallel Processing
Invited Talks -- Topic 1 – Support Tools and Environments -- Topic 2 – Performance Prediction and Evaluation -- Topic 3 – Scheduling and Load-Balancing -- Topic 4 – Compilers for High Performance -- Topic 5 – Parallel and Distributed Databases, Data Mining and Knowledge Discovery -- Topic 6 – Grid and Cluster Computing: Models, Middleware and Architectures -- Topic 7 – Parallel Co…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319252
- Deskripsi Fisik
- XXXVI, 1299 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Graph-Theoretic Concepts in Computer Science
Invited Lectures -- Hypertree Decompositions: Structure, Algorithms, and Applications -- Combinatorial Search on Graphs Motivated by Bioinformatics Applications: A Brief Survey -- Regular Papers -- Domination Search on Graphs with Low Dominating-Target-Number -- Fully Dynamic Algorithm for Recognition and Modular Decomposition of Permutation Graphs -- Approximating Rank-Width and Clique-Width Q…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540314684
- Deskripsi Fisik
- XIV, 478 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Integrated Formal Methods
Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations in the Abstract or the Concrete -- Session: Components -- Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study -- Session: State/Event-Based Verification -- State/Event…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322405
- Deskripsi Fisik
- XI, 407 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Soft Real-Time Systems: Predictability vs. Efficiency
Overload Management -- Temporal Protection -- Multi-Thread Applications -- Synchronization Protocols for Hard and Soft Real-Time Systems -- Resource Reclaiming -- Quality of Service Management -- Feedback Scheduling -- Stochastic Scheduling.Hard real-time systems are very predictable, but not sufficiently flexible to adapt to dynamic situations. They are built under pessimistic assumptions to c…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387281476
- Deskripsi Fisik
- VIII, 275 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Event-Triggered and Time-Triggered Control Paradigms
Basic Concepts and Related Work -- Requirements of an Integrated Architecture -- Integrated System Architecture for Event-Triggered and Time-Triggered Control Paradigms -- Controller Area Network Emulation in the Time-Triggered Architecture -- Results and Validation -- Conclusion.Event-Triggered and Time-Triggered Control Paradigms presents a valuable survey about existing architectures for saf…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387230443
- Deskripsi Fisik
- X, 153 p. 46 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information Retrieval Technology
Session 1A: Relevance/Retrieval Models -- Session 1B: Multimedia IR -- Session 2A: Natural Language Processing in IR -- Session 3A: Web IR -- Session 3B: Question Answering -- Session 4A: Document/Query Models -- Session 4B: Special Session: Digital PhotoAlbum -- Session 5A: TDT/Clustering -- Session 5B: Multimedia/Classification -- Poster and Demo Session 1 -- Poster and Demo Session 2.Asia In…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320012
- Deskripsi Fisik
- XVIII, 742 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