Rezultaty - parallel programmed domain functionality function https

Inne możliwości wyszukiwania:
functionality function » functionals function , functionaries function , functional functions
domain functionality » domain functional , formation functionality , protein functionality
parallel programmed » parallel programmes , parallel programming , parallel programs
programmed domain » programming domain , programmed human , programmed logic
function https » functions https , fiction https

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Wydane 2011

Hasła przedmiotowe: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Wydane 2010

Spis treści: “...Keynote Speech -- Building a Domain-Knowledge Guided System Software Environment to Achieve High...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Wydane 2007

Spis treści: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Wydane 2006

Spis treści: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... of Narrowing Using Dependency Pairs -- Dynamic Analysis of Bounds Versus Domain Propagation -- Lparse Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Wydane 2006

Spis treści: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2013

Spis treści: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Wydane 2014

Spis treści: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2013

Spis treści: “... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Software Engineering 2 Specification of Systems and Languages /

od Bjørner, Dines., Bjørner, Dines.
Wydane 2006

Spis treści: “... -- Configurations: Contexts and States -- A Crucial Domain and Computing Facet -- Time, Space and Space/Time...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Wydane 2010

Spis treści: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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 /

Wydane 2006

Spis treści: “... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2015

Spis treści: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty