Ditapis dengan
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 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
- -
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
- -
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
- -
Advances in Computer Systems Architecture
Keynote Address I -- Processor Architecture for Trustworthy Computers -- Session 1A: Energy Efficient and Power Aware Techniques -- Efficient Voltage Scheduling and Energy-Aware Co-synthesis for Real-Time Embedded Systems -- Energy-Effective Instruction Fetch Unit for Wide Issue Processors -- Rule-Based Power-Balanced VLIW Instruction Scheduling with Uncertainty -- An Innovative Instruction Cac…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321088
- Deskripsi Fisik
- XVIII, 834 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