Søgeresultater - parallel objects types function function https

1

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Udgivet 2005

Indholdsfortegnelse: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Få fuldtekst

Electronisk eBog

2

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Få fuldtekst

Electronisk eBog

3

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

4

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

Udgivet 2013

Indholdsfortegnelse: “... and Placeholder Types -- Concurrency, Parallelism, and Distribution -- Implementing Federated Object Systems...”
Få fuldtekst

Electronisk eBog

5

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “...-Symmetric Graphs: Algorithms and Structure -- Inductive Type Schemas as Functors -- Unfolding Synthesis...”
Få fuldtekst

Electronisk eBog

6

Frontiers of Computational Science Proceedings of the International Symposium on Frontiers of Computational Science 2005 /

Udgivet 2007

Indholdsfortegnelse: “... to Protein Folding -- A Fourth Type of Secondary Structure Breaker -- Neighborhood Parallel Simulated...”
Få fuldtekst

Electronisk eBog

7

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

Udgivet 2015

Indholdsfortegnelse: “... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”
Få fuldtekst

Electronisk eBog

8

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...”
Få fuldtekst

Electronisk eBog

9

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type -- Efficient...”
Få fuldtekst

Electronisk eBog

10

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I /

Udgivet 2015

Indholdsfortegnelse: “...Neural Networks and Their Applications -- Parallel approach to the Levenberg-Marquardt learning...”
Få fuldtekst

Electronisk eBog

11

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... -- Contributions -- Semi-continuous Sized Types and Termination -- Visibly Pushdown Automata: From Language...”
Få fuldtekst

Electronisk eBog

12

Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I /

Udgivet 2015

Indholdsfortegnelse: “... Optimization -- GACO: a parallel evolutionary approach to multi-objective scheduling -- Kriging Surrogate Model...”
Få fuldtekst

Electronisk eBog

13

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

Udgivet 2013

Indholdsfortegnelse: “... Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile...”
Få fuldtekst

Electronisk eBog

14

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
Få fuldtekst

Electronisk eBog

15

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /

Udgivet 2008

Indholdsfortegnelse: “... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”
Få fuldtekst

Electronisk eBog

16

Multibody Mechatronic Systems Proceedings of the MUSME Conference held in Huatulco, Mexico, October 21-24, 2014 /

Udgivet 2015

Indholdsfortegnelse: “... Balancing of the Four-Bar Mechanism, by Mario Acevedo -- Behaviour of some objects in series with dynamic...”
Få fuldtekst

Electronisk eBog

17

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

af Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Udgivet 2012

Indholdsfortegnelse: “....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
Få fuldtekst

Electronisk eBog

18

Trends and Topics in Computer Vision ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part II /

Udgivet 2012

Indholdsfortegnelse: “...-affinity Filter: A Bilateral Type Filter for Color Images -- Photometric Color Calibration of the Joint...”
Få fuldtekst

Electronisk eBog

19

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014,...

Udgivet 2014

Indholdsfortegnelse: “...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...”
Få fuldtekst

Electronisk eBog

20

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for...

Udgivet 2010

Indholdsfortegnelse: “... System for Power Quality Improvement in Grid-Parallel Microgrid -- A Distance Sorting Based Multi...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning