Resultats de la cerca - parallel programming track function function https

1

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Publicat 2010

Taula de continguts: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Obtenir text complet

Electrònic eBook

2

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Publicat 2010

Taula de continguts: “... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...”
Obtenir text complet

Electrònic eBook

3

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Publicat 2014

Taula de continguts: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Obtenir text complet

Electrònic eBook

4

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Publicat 2008

Taula de continguts: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Obtenir text complet

Electrònic eBook

5

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Publicat 2013

Taula de continguts: “... Propagation of Logic Program Updates -- Tracking Data-Flow with Open Closure Types -- Putting Newton...”
Obtenir text complet

Electrònic eBook

6

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Publicat 2010

Taula de continguts: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Obtenir text complet

Electrònic eBook

7

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Publicat 2013

Taula de continguts: “... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”
Obtenir text complet

Electrònic eBook

8

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Publicat 2005

Taula de continguts: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Obtenir text complet

Electrònic eBook

9

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Publicat 2014

Taula de continguts: “... -- Evaluation and Reproducibility of Program Analysis (Track Introduction) -- SWEET – A Tool for WCET Flow...”
Obtenir text complet

Electrònic eBook

10

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

Publicat 2015

Taula de continguts: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Obtenir text complet

Electrònic eBook

11

Algorithm Theory - SWAT 2010 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings /

Publicat 2010

Taula de continguts: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
Obtenir text complet

Electrònic eBook

12

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

Publicat 2008

Taula de continguts: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Obtenir text complet

Electrònic eBook

13

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Publicat 2010

Taula de continguts: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Obtenir text complet

Electrònic eBook

14

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Publicat 2010

Taula de continguts: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Obtenir text complet

Electrònic eBook

15

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

Publicat 2010

Taula de continguts: “... New Neural Network Based Customer Profiling Methodology for Churn Prediction -- General Track...”
Obtenir text complet

Electrònic eBook

16

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Publicat 2014

Taula de continguts: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Obtenir text complet

Electrònic eBook

17

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Publicat 2006

Taula de continguts: “...: Design and Analysis Track -- Kinetic Collision Detection for Convex Fat Objects -- Dynamic Connectivity...”
Obtenir text complet

Electrònic eBook

18

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Publicat 2014

Taula de continguts: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
Obtenir text complet

Electrònic eBook

19

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /

Publicat 2015

Taula de continguts: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
Obtenir text complet

Electrònic eBook

20

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... Multiplication over Finite Fields -- Synchronous Elastic Circuits -- Theory Track -- SZK Proofs for Black-Box...”
Obtenir text complet

Electrònic eBook

Refinar cerca