Søgeresultater - parallel strong program functionality function https

Søg alternativer:
functionality function » functionals function , functionaries function , functional functions
program functionality » protein functionality , programs functional , supra functionality
parallel strong » parallel string , parallel sorting , parallel stream
strong program » strong programme , strength program , serdang program
function https » functions https , fiction https

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... Random Bits -- Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs...”
Få fuldtekst

Electronisk eBog

packetC Programming

af Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Udgivet 2011

Fag: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst

Electronisk eBog

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Få fuldtekst

Electronisk eBog

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Udgivet 2005

Indholdsfortegnelse: “... Integral Equation of Prandtl’s Type -- Fourier Integral Operators and Gelfand-Shilov Spaces -- Strongly...”
Få fuldtekst

Electronisk eBog

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Få fuldtekst

Electronisk eBog

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... into Boolean Functions -- Efficient Strongly Relational Polyhedral Analysis -- Environment Abstraction...”
Få fuldtekst

Electronisk eBog

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Udgivet 2015

Indholdsfortegnelse: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... Functions -- Stateless Model Checking for TSO and PSO -- GPU Accelerated Strong and Branching Bisimilarity...”
Få fuldtekst

Electronisk eBog

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Få fuldtekst

Electronisk eBog

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Udgivet 2012

Indholdsfortegnelse: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
Få fuldtekst

Electronisk eBog

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

Udgivet 2010

Indholdsfortegnelse: “... Algorithms for Min-Max Generalization Problems -- Min-Power Strong Connectivity -- The Complexity...”
Få fuldtekst

Electronisk eBog

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... for the Maximum Node-Capacitated Multiflow Problem -- Linear Time Planarity Testing and Embedding of Strongly...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Få fuldtekst

Electronisk eBog

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Få fuldtekst

Electronisk eBog

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Udgivet 2006

Indholdsfortegnelse: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Få fuldtekst

Electronisk eBog

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I /

Udgivet 2010

Indholdsfortegnelse: “... Level Sets -- Finding Strong Bridges and Strong Articulation Points in Linear Time -- Robust...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning