Risultati della ricerca - parallel preservation program functionality function https

Cerca anche:
functionality function » functionals function , functionaries function , functional functions
parallel preservation » parallel presentations , parallel generation , laryngeal preservation
program functionality » protein functionality , programs functional , supra functionality
preservation program » preservation programs , conservation program , conservation programs
function https » functions https , fiction https

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

Pubblicazione 2010

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

Elettronico eBook

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Pubblicazione 2010

Sommario: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
Testo

Elettronico eBook

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

Pubblicazione 2014

Sommario: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Testo

Elettronico eBook

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Pubblicazione 2008

Sommario: “... -- Aggregates for CHR through Program Transformation -- Preserving Sharing in the Partial Evaluation of Lazy...”
Testo

Elettronico eBook

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

Pubblicazione 2007

Sommario: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Testo

Elettronico eBook

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

Pubblicazione 2006

Sommario: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
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

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Pubblicazione 2007

Sommario: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Testo

Elettronico eBook

Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings /

Pubblicazione 2005

Sommario: “...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”
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

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Pubblicazione 2005

Sommario: “... of Amino Acids in Long Polypeptides -- Order Preserving Clustering over Multiple Time Course Experiments...”
Testo

Elettronico eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Pubblicazione 2007

Sommario: “... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”
Testo

Elettronico eBook

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Pubblicazione 2010

Sommario: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Testo

Elettronico eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Pubblicazione 2007

Sommario: “...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”
Testo

Elettronico eBook

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Pubblicazione 2014

Sommario: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Testo

Elettronico eBook

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Pubblicazione 2005

Sommario: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Testo

Elettronico eBook

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings /

Pubblicazione 2014

Sommario: “... -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane...”
Testo

Elettronico eBook

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings /

Pubblicazione 2008

Sommario: “... Level Parallelism and Register File Traffic -- Scalable Architecture for Prefix Preserving Anonymization...”
Testo

Elettronico eBook

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Pubblicazione 2008

Sommario: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Testo

Elettronico eBook

Machine Learning and Data Mining in Pattern Recognition 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007, Proceedings /

Pubblicazione 2007

Sommario: “... Probability Density Function Reconstruction for Randomization in Privacy-Preserving Data Mining...”
Testo

Elettronico eBook

Restringi la ricerca