Search Results - programming optimization problems expression array https

1

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Published 2014

Table of Contents: “... for Vehicular Ad-hoc Networks -- A Study on Expressiveness of a Class of Array Token Petri Nets -- Non-dominated...”
View full text

Electronic eBook

2

Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers /

Published 2007

Table of Contents: “... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”
View full text

Electronic eBook

3

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
View full text

Electronic eBook

4

Algorithms and Data Structures 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, Proceedings /

Published 2007

Table of Contents: “...(logn)-Approximation Algorithm for Art Gallery Problems -- Optimization for First Order Delaunay...”
View full text

Electronic eBook

5

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

Published 2007

Table of Contents: “... -- Strategies and Implementation for Translating OpenMP Code for Clusters -- Optimizing Array Accesses in High...”
View full text

Electronic eBook

6

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

Published 2005

Table of Contents: “... Problem -- Counter-Based Ant Colony Optimization as a Hardware-Oriented Meta-heuristic -- Use...”
View full text

Electronic eBook

7

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...

Published 2008

Table of Contents: “... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...”
View full text

Electronic eBook

8

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

Published 2006

Table of Contents: “... Problems -- An Expressive Temporal Logic for Real Time -- On Matroid Representability and Minor Problems...”
View full text

Electronic eBook

9

Combinatorial Pattern Matching 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings /

Published 2005

Table of Contents: “... Fast Search and Its Construction Algorithm Using Optimal Working Space -- Succinct Suffix Arrays Based...”
View full text

Electronic eBook

10

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

Published 2010

Table of Contents: “... Optimization for Web Service Composition -- A Comparison between EJB and COM+ Business Components, Case Study...”
View full text

Electronic eBook

11

Decision Procedures An Algorithmic Point of View /

by Kroening, Daniel., Kroening, Daniel., Strichman, Ofer.
Published 2008

Table of Contents: “... Arithmetic -- Bit Vectors -- Arrays -- Pointer Logic -- Quantified Formulas -- Deciding a Combination...”
View full text

Electronic eBook

12

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

Published 2007

Table of Contents: “... Information Transmission Problem and Its Optimal Solution -- Local Testing of Message Sequence Charts...”
View full text

Electronic eBook

13

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings /

Published 2005

Table of Contents: “... and Strings -- Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square...”
View full text

Electronic eBook

14

Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... and Possibility Theory -- A Possibilistic Approach to Combinatorial Optimization Problems on Fuzzy-Valued Matroids...”
View full text

Electronic eBook

15

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

Published 2015

Table of Contents: “... Libraries in .NET for Expression Evaluation.-Value Analysis and Optimization a Machining Process for Hot-Box...”
View full text

Electronic eBook

16

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Published 2005

Table of Contents: “... and Implementations -- Interprocedural Optimization for Dynamic Hardware Configurations -- Reconfigurable Embedded...”
View full text

Electronic eBook

17

Data Warehousing and Knowledge Discovery 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Data Mapper: An Operator for Expressing One-to-Many Data Transformations -- Materialized Views...”
View full text

Electronic eBook

18

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Published 2007

Table of Contents: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
View full text

Electronic eBook

19

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

Published 2010

Table of Contents: “... for Intelligent Multimodal HCI -- Constraint Satisfaction -- Optimization of Investment Options Using SQL -- A...”
View full text

Electronic eBook

20

Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3, 2013 /

Published 2014

Table of Contents: “...-Objective Linear Fractional Programming Problem Using First Order -- Taylor’s Series Approximation...”
View full text

Electronic eBook

Narrow Search