1
Veröffentlicht 2008
Inhaltsangabe: ... Software Components for Performance -- Performance Prediction for Black-Box Components Using Reengineered...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2010
Inhaltsangabe: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2005
Inhaltsangabe: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2008
Inhaltsangabe: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2013
Inhaltsangabe: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2014
Inhaltsangabe: ... of the Restriction-Free (RF) Cloning for Multi-Components Assembly -- A Single-Tube Assembly of DNA Using...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2007
Inhaltsangabe: ... -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2008
Inhaltsangabe: ... Toolkit -- Formal Use of Design Patterns and Refactoring -- A Component-Based Access Control Monitor...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2007
Inhaltsangabe: ... Orders -- Tree Components Programming: An Application to XML -- A Framework for Incorporating Trust...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2010
Inhaltsangabe: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2008
Inhaltsangabe: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2005
Inhaltsangabe: ...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2012
Inhaltsangabe: ... Optimization Component.-Time Series Prediction by Artificial Neural Networks and Differential Evolution...
Volltext
Elektronisch E-Book
14
von Garofalo, Raffaele., Garofalo, Raffaele.
Veröffentlicht 2011
Schlagworte: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2007
Inhaltsangabe: ... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2005
Inhaltsangabe: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2007
Inhaltsangabe: ... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2010
Inhaltsangabe: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2008
Inhaltsangabe: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2014
Inhaltsangabe: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
Volltext
Elektronisch E-Book