Risultati della ricerca - parallel code program functionalities active https

Cerca anche:
program functionalities » program functionality , party functionalities , processes functionalities
functionalities active » functionalities aiming , functionalities ce , functionalities inside
parallel code » parallel model , parallel 3d
code program » coe program , core program , cone program
active https » practice https , vaccine https , crime https

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

Pubblicazione 2005

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

Elettronico eBook

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

Pubblicazione 2012

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

Elettronico eBook

New Horizons of Parallel and Distributed Computing

Pubblicazione 2005

Sommario: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Testo

Elettronico eBook

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

Pubblicazione 2008

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

Elettronico eBook

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

Pubblicazione 2013

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

Elettronico eBook

Beginning Haskell A Project-Based Approach /

di Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Pubblicazione 2014

Soggetti: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Testo

Elettronico eBook

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

Pubblicazione 2015

Sommario: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Testo

Elettronico eBook

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

Pubblicazione 2010

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

Elettronico eBook

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

Pubblicazione 2005

Sommario: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Testo

Elettronico eBook

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

Pubblicazione 2010

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

Elettronico eBook

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

Pubblicazione 2015

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

Elettronico eBook

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

Pubblicazione 2014

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

Elettronico eBook

Innovations in Computing Sciences and Software Engineering

Pubblicazione 2010

Sommario: “... and Store Media Files -- A Tool Supporting C code Parallelization -- Extending OpenMP for Agent Based DSM...”
Testo

Elettronico eBook

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

Pubblicazione 2005

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

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... Transport Simulation Code with High Performance Fortran on a Vector-Parallel Computer -- Distributed...”
Testo

Elettronico eBook

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

Pubblicazione 2005

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

Elettronico eBook

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

Pubblicazione 2010

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

Elettronico eBook

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

Pubblicazione 2008

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

Elettronico eBook

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

Pubblicazione 2010

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

Elettronico eBook

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

Pubblicazione 2014

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

Elettronico eBook

Restringi la ricerca