Canlyniadau Chwilio - parallel tracking program functionality functions https

Chwilio eraill:
functionality functions » functional functions , functionals function , functionaries function
program functionality » protein functionality , programs functional , supra functionality
parallel tracking » parallel training , parallel parking , parallel crawling
tracking program » tracing program , training program , teaching program
functions https » foundations https

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Propagation of Logic Program Updates -- Tracking Data-Flow with Open Closure Types -- Putting Newton...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... -- Evaluation and Reproducibility of Program Analysis (Track Introduction) -- SWEET – A Tool for WCET Flow...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... New Neural Network Based Customer Profiling Methodology for Churn Prediction -- General Track...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “...: Design and Analysis Track -- Kinetic Collision Detection for Convex Fat Objects -- Dynamic Connectivity...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Multiplication over Finite Fields -- Synchronous Elastic Circuits -- Theory Track -- SZK Proofs for Black-Box...”
Cael y testun llawn

Electronig eLyfr

1
2
3
Nesaf »
[3]

Manylu'r Chwiliad