Suchergebnisse - integrated variation programming programming based https

1

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “... with Different Aspect-Class Integration Testing Strategies -- An Experimental Study on Incremental Search-Based...”
Volltext

Elektronisch E-Book

2

Variational Analysis and Applications

Veröffentlicht 2005

Inhaltsangabe: “... Lagrangian and Nonlinear Semidefinite Programs -- Optimality Alternative: a Non-Variational Approach...”
Volltext

Elektronisch E-Book

3

Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation 19th...

Veröffentlicht 2010

Inhaltsangabe: “... Applications -- Session 1: Variability & Statistical Timing -- Process Variation Aware Performance Analysis...”
Volltext

Elektronisch E-Book

4

Integrated Water Management Practical Experiences and Case Studies /

Veröffentlicht 2008

Inhaltsangabe: “...Concepts and Approaches of Integrated Water Management -- Filling the Information Gap between Water...”
Volltext

Elektronisch E-Book

5

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “..., Maps and Tables: Towards Formal Semantics for Associations in UML2 -- Semantic Variations Among UML...”
Volltext

Elektronisch E-Book

6

Integrated Analysis of Interglacial Climate Dynamics (INTERDYNAMIC)

Veröffentlicht 2015

Inhaltsangabe: “...DFG Priority Research Program „Integrated analysis of interglacial climate dynamics” (INTERDYNAMIC...”
Volltext

Elektronisch E-Book

7

Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers /

Veröffentlicht 2005

Inhaltsangabe: “... Technologies in Business Intelligence Systems -- Integration of Component-Based Development-Deployment Support...”
Volltext

Elektronisch E-Book

8

Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever /

Veröffentlicht 2010

Inhaltsangabe: “... Language -- Concurrent Objects à la Carte -- On the Power of Play-Out for Scenario-Based Programs...”
Volltext

Elektronisch E-Book

9

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...

Veröffentlicht 2007

Inhaltsangabe: “... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”
Volltext

Elektronisch E-Book

10

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... in Inception-Phase Software Architecture -- MDA I -- Explicit Platform Models for MDA -- Integrated Model-Based...”
Volltext

Elektronisch E-Book

11

Handbook of Power Systems I

Veröffentlicht 2010

Inhaltsangabe: “... Hydroscheduling Based on Stochastic Models -- Recent Progress in Two-stage Mixed-integer Stochastic Programming...”
Volltext

Elektronisch E-Book

12

Computational Intelligence and Intelligent Systems 5th International Symposium, ISICA 2010, Wuhan, China, October 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “...-resource Balanced Scheduling Optimization Based on Self-adaptive Genetic Algorithm -- Space-Time Variation...”
Volltext

Elektronisch E-Book

13

Image and Signal Processing 3rd International Conference, ICISP 2008, Cherbourg-Octeville, France, July 1-3, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...”
Volltext

Elektronisch E-Book

14

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Veröffentlicht 2014

Inhaltsangabe: “... Objects -- VeriMAP: A Tool for Verifying Programs through Transformations -- CIF 3: Model-Based...”
Volltext

Elektronisch E-Book

15

Software Product Lines 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... -- Determining the Variation Degree of Feature Models -- Modeling Architectural Value: Cash Flow, Time...”
Volltext

Elektronisch E-Book

16

Morse Theoretic Methods in Nonlinear Analysis and in Symplectic Topology

Veröffentlicht 2006

Inhaltsangabe: “... complex in the case of infinite Morse indices -- 3.1 The program.-3.2 Fredholm pairs and compact...”
Volltext

Elektronisch E-Book

17

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II /

Veröffentlicht 2010

Inhaltsangabe: “... Toolbox QuPAT on Scilab -- Agent Based Evacuation Model with Car-Following Parameters by Means of Cellular...”
Volltext

Elektronisch E-Book

18

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... -- Parallel LU Factorization of Band Matrices on SMP Systems -- A Tree-Based Distributed Model for BGP Route...”
Volltext

Elektronisch E-Book

19

Advances in Visual Computing Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part I /

Veröffentlicht 2006

Inhaltsangabe: “... Using Multi-scale Normal Variation -- Integration of Multiple Methods for Class and Specific Object...”
Volltext

Elektronisch E-Book

20

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, Proceedings, Part I /

Veröffentlicht 2010

Inhaltsangabe: “...) -- Analysis of Positional Aspects in the Variation of Real Estate Values in an Italian Southern Metropolitan...”
Volltext

Elektronisch E-Book

Suche einschränken