Resultados da pesquisa - parallel code programming functionals tracking https

1

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

Publicado em 2010

Sumário: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Obter o texto integral

Recurso Electrónico livro electrónico

2

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

Publicado em 2010

Sumário: “... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...”
Obter o texto integral

Recurso Electrónico livro electrónico

3

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

Publicado em 2014

Sumário: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Obter o texto integral

Recurso Electrónico livro electrónico

4

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

Publicado em 2008

Sumário: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Obter o texto integral

Recurso Electrónico livro electrónico

5

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

Publicado em 2013

Sumário: “... Propagation of Logic Program Updates -- Tracking Data-Flow with Open Closure Types -- Putting Newton...”
Obter o texto integral

Recurso Electrónico livro electrónico

6

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

Publicado em 2013

Sumário: “... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”
Obter o texto integral

Recurso Electrónico livro electrónico

7

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

Publicado em 2010

Sumário: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Obter o texto integral

Recurso Electrónico livro electrónico

8

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

Publicado em 2005

Sumário: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Obter o texto integral

Recurso Electrónico livro electrónico

9

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

Publicado em 2014

Sumário: “... -- Evaluation and Reproducibility of Program Analysis (Track Introduction) -- SWEET – A Tool for WCET Flow...”
Obter o texto integral

Recurso Electrónico livro electrónico

10

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

Publicado em 2010

Sumário: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
Obter o texto integral

Recurso Electrónico livro electrónico

11

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

Publicado em 2015

Sumário: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Obter o texto integral

Recurso Electrónico livro electrónico

12

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

Publicado em 2010

Sumário: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Obter o texto integral

Recurso Electrónico livro electrónico

13

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

Publicado em 2008

Sumário: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Obter o texto integral

Recurso Electrónico livro electrónico

14

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

Publicado em 2010

Sumário: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Obter o texto integral

Recurso Electrónico livro electrónico

15

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

Publicado em 2010

Sumário: “... New Neural Network Based Customer Profiling Methodology for Churn Prediction -- General Track...”
Obter o texto integral

Recurso Electrónico livro electrónico

16

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

Publicado em 2014

Sumário: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Obter o texto integral

Recurso Electrónico livro electrónico

17

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

Publicado em 2006

Sumário: “...: Design and Analysis Track -- Kinetic Collision Detection for Convex Fat Objects -- Dynamic Connectivity...”
Obter o texto integral

Recurso Electrónico livro electrónico

18

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

Publicado em 2014

Sumário: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
Obter o texto integral

Recurso Electrónico livro electrónico

19

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

Publicado em 2015

Sumário: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
Obter o texto integral

Recurso Electrónico livro electrónico

20

Information Security and Cryptology First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings /

Publicado em 2005

Sumário: “... Functions over Ring Z p -- A Fast Algorithm for Determining the Linear Complexity of Periodic Sequences...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa