Ditapis dengan
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
- -
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
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah