Search Results - parallel composition software functionality function https

Search alternatives:
software functionality » software functional , malware functionality , office functionality
functionality function » functionals function , functionaries function , functional functions
parallel composition » parallel computation , parallel computations , parallel computational
composition software » composing software , communication software , computational software
function https » functions https , fiction https

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Published 2013

Table of Contents: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Parallel Methods for Image Compositing in Sort-Last Rendering -- Session 5: GPU and Multicore -- memCUDA...”
View full text

Electronic eBook

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Published 2005

Table of Contents: “...-Speed TCP -- Advanced Software On-Demand Based on Functional Streaming -- Can Out-of-Order Instruction...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “... Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile...”
View full text

Electronic eBook

Software Engineering 2 Specification of Systems and Languages /

by Bjørner, Dines., Bjørner, Dines.
Published 2006

Table of Contents: “...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
View full text

Electronic eBook

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Published 2014

Table of Contents: “... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...”
View full text

Electronic eBook

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Published 2005

Table of Contents: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
View full text

Electronic eBook

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Published 2007

Table of Contents: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
View full text

Electronic eBook

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015...

Published 2015

Table of Contents: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
View full text

Electronic eBook

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, Grenoble, France, April 5-13...

Published 2014

Table of Contents: “... Systems -- Staged Composition Synthesis -- Overlapping and Order-Independent Patterns: Definitional...”
View full text

Electronic eBook

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Published 2010

Table of Contents: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Evolutionary Systems (IWCES 2010) -- A Bidirectional Heuristic Search Technique for Web Service Composition...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “...Closure Operators for ROBDDs -- A CLP Method for Compositional and Intermittent Predicate...”
View full text

Electronic eBook

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Published 2010

Table of Contents: “... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...”
View full text

Electronic eBook

Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings /

Published 2007

Table of Contents: “... Parallel Processor Architectures -- Invited Talk: Expanding Software Product Families: From Integration...”
View full text

Electronic eBook

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”
View full text

Electronic eBook

Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings /

Published 2008

Table of Contents: “... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...”
View full text

Electronic eBook

Narrow Search