Suchergebnisse - parallel program active function functional https

Andere Suchmöglichkeiten:
function functional » functions functional , fractional functional , nutrition functional
parallel program » parallel programs , parallel problem , parallel programming
functional https » functions https , function https , functional hop
active function » active functional , active fraction , adaptive function
program active » programs active , program action , programs reactive

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Veröffentlicht 2012

Inhaltsangabe: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Volltext

Elektronisch E-Book

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Volltext

Elektronisch E-Book

New Horizons of Parallel and Distributed Computing

Veröffentlicht 2005

Inhaltsangabe: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
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

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Volltext

Elektronisch E-Book

Beginning Haskell A Project-Based Approach /

von Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Veröffentlicht 2014

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

Elektronisch E-Book

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

Veröffentlicht 2015

Inhaltsangabe: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
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: “... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...”
Volltext

Elektronisch E-Book

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2015

Inhaltsangabe: “... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”
Volltext

Elektronisch E-Book

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2014

Inhaltsangabe: “... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...”
Volltext

Elektronisch E-Book

Innovations in Computing Sciences and Software Engineering

Veröffentlicht 2010

Inhaltsangabe: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Volltext

Elektronisch E-Book

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Veröffentlicht 2008

Inhaltsangabe: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Volltext

Elektronisch E-Book

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2008

Inhaltsangabe: “... Functions for Flow Time Scheduling Based on Active Job Count -- Facility Location in Dynamic Geometric Data...”
Volltext

Elektronisch E-Book

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Veröffentlicht 2010

Inhaltsangabe: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Volltext

Elektronisch E-Book

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers /

Veröffentlicht 2014

Inhaltsangabe: “... Approach to Model Complex Systems -- P Systems with Active Membranes Working in Sublinear Space -- Membrane...”
Volltext

Elektronisch E-Book

Suche einschränken