1
出版事項 2008
目次: ... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...
全文の入手
電子媒体 eBook
2
出版事項 2010
目次: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
全文の入手
電子媒体 eBook
3
出版事項 2005
目次: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
全文の入手
電子媒体 eBook
4
出版事項 2008
目次: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
全文の入手
電子媒体 eBook
5
出版事項 2013
目次: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
全文の入手
電子媒体 eBook
6
出版事項 2014
目次: ... of the Restriction-Free (RF) Cloning for Multi-Components Assembly -- A Single-Tube Assembly of DNA Using...
全文の入手
電子媒体 eBook
7
出版事項 2013
目次: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
全文の入手
電子媒体 eBook
8
出版事項 2006
目次: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
全文の入手
電子媒体 eBook
9
出版事項 2007
目次: ... -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition...
全文の入手
電子媒体 eBook
10
出版事項 2006
目次: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
全文の入手
電子媒体 eBook
11
出版事項 2008
目次: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
全文の入手
電子媒体 eBook
12
出版事項 2007
目次: ... Orders -- Tree Components Programming: An Application to XML -- A Framework for Incorporating Trust...
全文の入手
電子媒体 eBook
13
出版事項 2010
目次: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
全文の入手
電子媒体 eBook
14
出版事項 2008
目次: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
全文の入手
電子媒体 eBook
15
出版事項 2005
目次: ...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...
全文の入手
電子媒体 eBook
16
出版事項 2012
目次: ... Optimization Component.-Time Series Prediction by Artificial Neural Networks and Differential Evolution...
全文の入手
電子媒体 eBook
17
著者: Garofalo, Raffaele., Garofalo, Raffaele.
出版事項 2011
主題: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
全文の入手
電子媒体 eBook
18
出版事項 2005
目次: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
全文の入手
電子媒体 eBook
19
出版事項 2014
目次: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
全文の入手
電子媒体 eBook
20
出版事項 2012
目次: ... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...
全文の入手
電子媒体 eBook