Suchergebnisse - parallel program 13 functionality function https

Andere Suchmöglichkeiten:
functionality function » functionals function , functionaries function , functional functions
parallel program » parallel programs , parallel problem , parallel programming
13 functionality » _ functionality , 2 functionality , 85 functionality
function https » functions https , fiction https
program 13 » program 3 , program 1 , program 10

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Veröffentlicht 2011

Schlagworte: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volltext

Elektronisch E-Book

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Volltext

Elektronisch E-Book

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2006

Inhaltsangabe: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Volltext

Elektronisch E-Book

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Veröffentlicht 2014

Inhaltsangabe: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Volltext

Elektronisch E-Book

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Veröffentlicht 2014

Inhaltsangabe: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
Volltext

Elektronisch E-Book

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
Volltext

Elektronisch E-Book

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Volltext

Elektronisch E-Book

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

Veröffentlicht 2006

Inhaltsangabe: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Volltext

Elektronisch E-Book

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /

Veröffentlicht 2008

Inhaltsangabe: “... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”
Volltext

Elektronisch E-Book

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... -- Preemptive Scheduling of Independent Jobs on Identical Parallel Machines Subject to Migration Delays...”
Volltext

Elektronisch E-Book

Advances in Computer Games 12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers /

Veröffentlicht 2010

Inhaltsangabe: “... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2006

Inhaltsangabe: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Volltext

Elektronisch E-Book

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th...

Veröffentlicht 2010

Inhaltsangabe: “... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”
Volltext

Elektronisch E-Book

Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”
Volltext

Elektronisch E-Book

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Volltext

Elektronisch E-Book

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working...

Veröffentlicht 2005

Inhaltsangabe: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Volltext

Elektronisch E-Book

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
Volltext

Elektronisch E-Book

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Veröffentlicht 2007

Inhaltsangabe: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Volltext

Elektronisch E-Book

Suche einschränken