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