Ditapis dengan
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
- -
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
- -
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
- -
Applications of Evolutionary Computing
EvoBIO Contributions -- Evolutionary Biclustering of Microarray Data -- A Fuzzy Viterbi Algorithm for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences of Amino Acids in Long Polypeptides -- Order Preserving Clustering over Multiple Time Course Experiments -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Hu…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320036
- Deskripsi Fisik
- XX, 631 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Dependable Computing - EDCC 2005
Keynote I -- A Process Toward Total Dependability – Airbus Fly-by-Wire Paradigm -- Session 1A: Distributed Algorithms -- Building and Using Quorums Despite any Number of Process of Crashes -- Failure Detection with Booting in Partially Synchronous Systems -- Total Order Communications: A Practical Analysis -- Gracefully Degrading Fair Exchange with Security Modules -- Session 1B: Fault Tolera…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320197
- Deskripsi Fisik
- XVI, 480 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Correct Hardware Design and Verification Methods
Invited Talks -- Is Formal Verification Bound to Remain a Junior Partner of Simulation? -- Verification Challenges in Configurable Processor Design with ASIP Meister -- Tutorial -- Towards the Pervasive Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit Design -- Formalization of the DE2 Language -- Game Solving Approaches -- Finding a…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320302
- Deskripsi Fisik
- XII, 414 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
System-level Test and Validation of Hardware/Software Systems
Modeling Permanent Faults -- Test Generation: A Symbolic Approach -- Test Generation: A Heuristic Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level Microprocessor Descriptions -- Tackling Concurrency and Timing Problems -- An Approach to System-level Design for Test -- System-level Dependability Analysis.New manufacturing technologies have made poss…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846281457
- Deskripsi Fisik
- XII, 179 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
SystemC Kernel Extensions for Heterogeneous System Modeling
Background Material -- Systemc Discrete-Event Kernel -- Few Words about Implementation Class Hierarchy -- Synchronous Data Flow Kernel in SystemC -- Communicating Sequential Processes Kernel in SystemC -- Finite State Machine Kernel in SystemC -- Systemc Kernel Application Protocol Interface (API) -- Heterogeneous Examples -- Epilogue.SystemC Kernel Extensions for Heterogeneous System Modeling …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402080883
- Deskripsi Fisik
- XXXII, 172 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advanced Parallel Processing Technologies
Keynote Speech -- Research Issues in Adapting Computing to Small Devices -- Mobile Context-Aware Systems – Linking the Physical and Digital World -- Architecture -- A Data Transformations Based Approach for Optimizing Memory and Cache Locality on Distributed Memory Multiprocessors -- A Fetch Policy Maximizing Throughput and Fairness for Two-Context SMT Processors -- A Loop Transformation Usin…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321071
- Deskripsi Fisik
- XIV, 526 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