Søgeresultater - parallel program components functionals function https

Søg alternativer:
components functionals » components functions , component functional , compounds functional
functionals function » function function , functions functional , function dysfunction
program components » protein components
parallel program » parallel programs , parallel problem , parallel programming
function https » functions https , fiction https

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Få fuldtekst

Electronisk eBog

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Udgivet 2010

Indholdsfortegnelse: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Få fuldtekst

Electronisk eBog

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Udgivet 2005

Indholdsfortegnelse: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Få fuldtekst

Electronisk eBog

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Udgivet 2008

Indholdsfortegnelse: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Få fuldtekst

Electronisk eBog

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Få fuldtekst

Electronisk eBog

DNA Cloning and Assembly Methods

Udgivet 2014

Indholdsfortegnelse: “... of the Restriction-Free (RF) Cloning for Multi-Components Assembly -- A Single-Tube Assembly of DNA Using...”
Få fuldtekst

Electronisk eBog

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Få fuldtekst

Electronisk eBog

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

Udgivet 2006

Indholdsfortegnelse: “... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Få fuldtekst

Electronisk eBog

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... Orders -- Tree Components Programming: An Application to XML -- A Framework for Incorporating Trust...”
Få fuldtekst

Electronisk eBog

Innovations in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”
Få fuldtekst

Electronisk eBog

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Få fuldtekst

Electronisk eBog

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Udgivet 2012

Indholdsfortegnelse: “... Optimization Component.-Time Series Prediction by Artificial Neural Networks and Differential Evolution...”
Få fuldtekst

Electronisk eBog

Applied WPF 4 in Context

af Garofalo, Raffaele., Garofalo, Raffaele.
Udgivet 2011

Fag: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst

Electronisk eBog

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Udgivet 2007

Indholdsfortegnelse: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Få fuldtekst

Electronisk eBog

Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...”
Få fuldtekst

Electronisk eBog

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Udgivet 2005

Indholdsfortegnelse: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning