Søgeresultater - parallel processes program functionality foundations https

Søg alternativer:
functionality foundations » functionality transactions , functionality interactions , dimensionality foundations
program functionality » protein functionality , programs functional , supra functionality
parallel processes » parallel processors , parallel processing
processes program » process program , processing program , processes programming
foundations https » equations https

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

Udgivet 2005

Indholdsfortegnelse: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Få fuldtekst

Electronisk eBog

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Få fuldtekst

Electronisk eBog

Foundations of Intelligent Systems 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”
Få fuldtekst

Electronisk eBog

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International...

Udgivet 2005

Indholdsfortegnelse: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Få fuldtekst

Electronisk eBog

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
Få fuldtekst

Electronisk eBog

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM´06 Conference held in Ustron, Poland, June 19-22, 2006 /

Udgivet 2006

Indholdsfortegnelse: “... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...”
Få fuldtekst

Electronisk eBog

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Udgivet 2006

Indholdsfortegnelse: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Få fuldtekst

Electronisk eBog

Evolutionary Algorithms for Solving Multi-Objective Problems

af Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Udgivet 2007

Indholdsfortegnelse: “... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Få fuldtekst

Electronisk eBog

Visual C# 2010 Recipes A Problem-Solution Approach /

af Jones, Allen., Jones, Allen., MacDonald, Matthew., Rajan, Rakesh., Freeman, Adam.
Udgivet 2010

Indholdsfortegnelse: “... Programming -- Using LINQ -- Windows Presentation Foundation....”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... System for Cross-Organizational Workflows Management Based on Process-View -- Towards a Formal Foundation...”
Få fuldtekst

Electronisk eBog

Topological Methods in Data Analysis and Visualization III Theory, Algorithms, and Applications /

Udgivet 2014

Indholdsfortegnelse: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
Få fuldtekst

Electronisk eBog

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...”
Få fuldtekst

Electronisk eBog

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”
Få fuldtekst

Electronisk eBog

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Få fuldtekst

Electronisk eBog

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”
Få fuldtekst

Electronisk eBog

Advanced Takagi‒Sugeno Fuzzy Systems Delay and Saturation /

af Benzaouia, Abdellah., Benzaouia, Abdellah., El Hajjaji, Ahmed.
Udgivet 2014

Fag: “...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...”
Få fuldtekst

Electronisk eBog

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Udgivet 2008

Indholdsfortegnelse: “... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”
Få fuldtekst

Electronisk eBog

Advances in Intelligent Data Analysis XI 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012, Proceedings /

Udgivet 2012

Indholdsfortegnelse: “...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning