תוצאות חיפוש - parallel tracking program function using https

1

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

יצא לאור 2010

תוכן הענינים: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

2

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

יצא לאור 2010

תוכן הענינים: “... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

3

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

יצא לאור 2014

תוכן הענינים: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

4

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

יצא לאור 2013

תוכן הענינים: “... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

5

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

יצא לאור 2013

תוכן הענינים: “... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

6

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

יצא לאור 2010

תוכן הענינים: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

7

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

יצא לאור 2014

תוכן הענינים: “... Using Monitoring Techniques -- Monitoring with Data Automata -- Risk-Based Testing (Track Introduction...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

8

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

יצא לאור 2015

תוכן הענינים: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

9

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

יצא לאור 2005

תוכן הענינים: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

10

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

יצא לאור 2010

תוכן הענינים: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

11

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

יצא לאור 2010

תוכן הענינים: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

12

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

יצא לאור 2008

תוכן הענינים: “...Invited Lectures -- Flexible Path Planning Using Corridor Maps -- A Bridging Model for Multi-core...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

13

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

יצא לאור 2010

תוכן הענינים: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

14

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

יצא לאור 2014

תוכן הענינים: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

15

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

יצא לאור 2014

תוכן הענינים: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני