Suchergebnisse - parallel program domain function function https

Andere Suchmöglichkeiten:
function function » function functional , functions functional , function dysfunction
parallel program » parallel programs , parallel problem , parallel programming
domain function » domain functions , domain functional , domain functor
program domain » program dan , problem domain , program dawn
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 /

Veröffentlicht 2011

Schlagworte: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “...Keynote Speech -- Building a Domain-Knowledge Guided System Software Environment to Achieve High...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2007

Inhaltsangabe: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2006

Inhaltsangabe: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2008

Inhaltsangabe: “... of Narrowing Using Dependency Pairs -- Dynamic Analysis of Bounds Versus Domain Propagation -- Lparse Programs...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2006

Inhaltsangabe: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2013

Inhaltsangabe: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2014

Inhaltsangabe: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2013

Inhaltsangabe: “... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Volltext

Elektronisch E-Book

Software Engineering 2 Specification of Systems and Languages /

von Bjørner, Dines., Bjørner, Dines.
Veröffentlicht 2006

Inhaltsangabe: “... -- Configurations: Contexts and States -- A Crucial Domain and Computing Facet -- Time, Space and Space/Time...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
Volltext

Elektronisch 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 /

Veröffentlicht 2006

Inhaltsangabe: “... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2006

Inhaltsangabe: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2015

Inhaltsangabe: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2006

Inhaltsangabe: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Volltext

Elektronisch E-Book

Suche einschränken