Søgeresultater - parallel program specification evolution function https

Søg alternativer:
specification evolution » specifications evaluation , specification pollution , specification execution
program specification » programs specifications , program specialization , program verification
evolution function » evolution functional , resolution function , evolution fiction
parallel program » parallel programs , parallel problem , parallel programming
function https » functions https , fiction https

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Udgivet 2013

Indholdsfortegnelse: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Få fuldtekst

Electronisk eBog

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
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 Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Få fuldtekst

Electronisk eBog

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /

Udgivet 2010

Indholdsfortegnelse: “... International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009...”
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: “... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...”
Få fuldtekst

Electronisk eBog

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

Udgivet 2013

Indholdsfortegnelse: “... -- Declarative Name Binding and Scope Rules -- On the Reusable Specification of Non-functional Properties in DSLs...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Få fuldtekst

Electronisk eBog

Advanced Techniques in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Få fuldtekst

Electronisk eBog

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Udgivet 2006

Indholdsfortegnelse: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Få fuldtekst

Electronisk eBog

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /

Udgivet 2013

Indholdsfortegnelse: “...-landscapes -- Neighbourhood Specification for Game Strategy Evolution in a Spatial Iterated Prisoners Dilemma...”
Få fuldtekst

Electronisk eBog

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Udgivet 2008

Indholdsfortegnelse: “... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”
Få fuldtekst

Electronisk eBog

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... for Whole Programs in Scratchpad Memory Allocation -- Evolution of NAND Flash Memory Interface -- FCC-SDP: A...”
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: “... Trees -- On Automatic Modeling and Use of Domain-Specific Ontologies -- Using Self-Adaptable Probes...”
Få fuldtekst

Electronisk eBog

Advances in Artificial Intelligence 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Cognitive Mechanisms by Hierarchical Cooperative CoEvolution -- Bayesian Feature Construction -- Musical...”
Få fuldtekst

Electronisk eBog

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Udgivet 2013

Indholdsfortegnelse: “... Environment -- The Analysis of the Efficiency of Parallelization of Existing Serial Code on the Basis...”
Få fuldtekst

Electronisk eBog

The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Contexts -- Can OWL and Logic Programming Live Together Happily Ever After? -- Innovation Detection Based...”
Få fuldtekst

Electronisk eBog

Nature Inspired Cooperative Strategies for Optimization (NICSO 2007)

Udgivet 2008

Indholdsfortegnelse: “... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”
Få fuldtekst

Electronisk eBog

Plant Fungal Pathogens Methods and Protocols /

Udgivet 2012

Indholdsfortegnelse: “...-homologous End-joining-deficient Strains for Functional Gene Analyses in Filamentous Fungi -- Atomic Force...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning