Søgeresultater - parallel safe program functionals function https

Søg alternativer:
functionals function » function function , functions functional , function dysfunction
program functionals » programs functional , program functionality , problem functionals
function https » functions https , fiction https
parallel safe » parallel state , parallel shape , parallel sat
safe program » safety program , space program , care program

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Udgivet 2010

Indholdsfortegnelse: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Få fuldtekst

Electronisk eBog

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... Programming with Safe Tree Initialisation -- Grant Dick On the Generalization Ability of Geometric Semantic...”
Få fuldtekst

Electronisk eBog

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
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

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Få fuldtekst

Electronisk eBog

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
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: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “...A Case Study of Web Services Orchestration -- A Correct Abstract Machine for Safe Ambients -- A...”
Få fuldtekst

Electronisk eBog

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

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

Udgivet 2013

Indholdsfortegnelse: “... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”
Få fuldtekst

Electronisk eBog

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Udgivet 2010

Indholdsfortegnelse: “... on a Multi-core Cluster -- Generating Parallel Random Sequences via Parameterizing EICGs...”
Få fuldtekst

Electronisk eBog

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...

Udgivet 2008

Indholdsfortegnelse: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Få fuldtekst

Electronisk eBog

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2 /

Udgivet 2015

Indholdsfortegnelse: “... Application for Emergency in Mobile Environment: SafeMe -- Accelerated Shuffled Frog-leaping Algorithm -- A...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning