Rezultaty - programming optimization problems composition array https

1

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Wydane 2008

Spis treści: “... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

Wydane 2010

Spis treści: “... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /

Wydane 2014

Spis treści: “... Probabilistic Inputs -- Effect Analysis for Programs with Callbacks -- Compositional Network Mobility...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Wydane 2014

Spis treści: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Mathematics and Computing ICMC, Haldia, India, January 2015 /

Wydane 2015

Spis treści: “.... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Wydane 2005

Spis treści: “...–Enabled Web Services -- Automatic Composition and Selection of Semantic Web Services -- Grid Application...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

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

Wydane 2007

Spis treści: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings /

Wydane 2005

Spis treści: “... and Heterogeneous Processor Rings -- Effect of Optimizations on Performance of OpenMP Programs -- Sparse Matrices...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Wydane 2005

Spis treści: “... -- Improved Algorithm for Minimum Cost Range Assignment Problem for Linear Radio Networks -- Optimal Schemes...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

Wydane 2007

Spis treści: “... -- Strategies and Implementation for Translating OpenMP Code for Clusters -- Optimizing Array Accesses in High...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

Wydane 2008

Spis treści: “...) -- The ?-Regular Post Embedding Problem -- Complexity of Decision Problems for Mixed and Modal Specifications...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Wydane 2005

Spis treści: “... Problem -- Counter-Based Ant Colony Optimization as a Hardware-Oriented Meta-heuristic -- Use...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Wydane 2010

Spis treści: “... Optimization for Web Service Composition -- A Comparison between EJB and COM+ Business Components, Case Study...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Wydane 2013

Spis treści: “... Dispatch Problems -- Particle Swarm Optimization Based Optimal Reliability Design of Composite Electric...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I...

Wydane 2010

Spis treści: “...-Objective Vehicle Routing Problems -- Particle Swarm Optimization and an Agent-Based Algorithm for a Problem...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Wydane 2005

Spis treści: “... Pipeline Web Server -- QoS Aware Service Composition with Multiple Quality Constraints -- Session 4...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings /

Wydane 2006

Spis treści: “... Synthesis of Fault-Tolerant Real-Time Programs -- Toward a Time-Optimal Odd Phase Clock Unison in Trees...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Wydane 2005

Spis treści: “... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems /

Wydane 2015

Spis treści: “... Arrays Construction -- Web Service Composition Based an a Multi-Agent System -- Modified Binary FireFly...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2013 /

Wydane 2014

Spis treści: “... Programming Formulation Of Boolean Satisfiability Problem -- 23 Optimization Of Path For Water Transmission...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty