Zoekresultaten - parallel programes activities function function https

Alternatieven:
programes activities » programme activities , programming activities , games activities
activities function » activities functional , activation function , activities action
parallel programes » parallel programmes , parallel programs , parallel program
function function » function functional , functions functional , function dysfunction
function https » functions https , fiction https

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

Gepubliceerd in 2012

Inhoudsopgave: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2005

Inhoudsopgave: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Volledige tekst

Elektronisch E-boek

New Horizons of Parallel and Distributed Computing

Gepubliceerd in 2005

Inhoudsopgave: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2008

Inhoudsopgave: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2013

Inhoudsopgave: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Volledige tekst

Elektronisch E-boek

Beginning Haskell A Project-Based Approach /

door Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Gepubliceerd in 2014

Onderwerpen: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2015

Inhoudsopgave: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2010

Inhoudsopgave: “... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2005

Inhoudsopgave: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2010

Inhoudsopgave: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2015

Inhoudsopgave: “... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2014

Inhoudsopgave: “... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...”
Volledige tekst

Elektronisch E-boek

Innovations in Computing Sciences and Software Engineering

Gepubliceerd in 2010

Inhoudsopgave: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2005

Inhoudsopgave: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2008

Inhoudsopgave: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2005

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

Elektronisch E-boek

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

Gepubliceerd in 2010

Inhoudsopgave: “...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2008

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

Elektronisch E-boek

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

Gepubliceerd in 2010

Inhoudsopgave: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2014

Inhoudsopgave: “... Approach to Model Complex Systems -- P Systems with Active Membranes Working in Sublinear Space -- Membrane...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken