Rezultaty - computations constrained programming programming arrays

1

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Wydane 2010

Spis treści: “... of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Wydane 2005

Spis treści: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Big Java : late objects /

od Horstmann, Cay S.
Wydane 2013

Hasła przedmiotowe: “...Java (Computer program language)....”
Cover image

Książka

4

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary...

Wydane 2010

Spis treści: “... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005, Proceedings /

Wydane 2005

Spis treści: “... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Wydane 2006

Spis treści: “... Dodgson-Election Winners -- Reductions for Monotone Boolean Circuits -- Generalised Integer Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013, Proceedings /

Wydane 2013

Spis treści: “...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

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

Wydane 2005

Spis treści: “... Programming and Environment -- A Greedy Algorithm for Capacity-Constrained Surrogate Placement in CDNs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Wydane 2008

Spis treści: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Wydane 2010

Spis treści: “...Continuous and Discrete Methods in Computer Science -- Colorful Strips -- The Mono- and Bichromatic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

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

Wydane 2013

Spis treści: “... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Computer Vision -- ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV /

Wydane 2010

Spis treści: “... for Saliency Detection in Images -- Face Image Relighting using Locally Constrained Global Optimization...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Evolutionary Algorithms for Solving Multi-Objective Problems

od Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Wydane 2007

Hasła przedmiotowe: “...Computer programming....”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Emerging Technologies for Information Systems, Computing, and Management

Wydane 2013

Spis treści: “...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

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

Wydane 2014

Spis treści: “...1 Statistics Of Critical Avalanches In Vertical Nanopillar Arrays -- 2 Quantum Chemical Study...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Embedded System Design: Topics, Techniques and Trends IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine (CA), USA /

Wydane 2007

Spis treści: “...-aware Pipeline Synthesis for Array based Reconfigurable Architectures -- An Interactive Design...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I /

Wydane 2010

Spis treści: “... of Mixed Covering Arrays of Variable Strength Using a Tabu Search Approach -- Feasibility-Based Bounds...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Handbook on Modelling for Discrete Optimization

Wydane 2006

Spis treści: “... Planning Models for Supply Chain: An Application of Stochastic Mixed Integer Programming -- Logic Inference...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

od Spear, Chris., Spear, Chris.
Wydane 2008

Spis treści: “... Constrained-Random Stimulus -- 1.7 What Should You Randomize? -- 1.8 Functional Coverage -- 1.9 Testbench...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

Wydane 2010

Spis treści: “... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty