Search Results - program execution programs compositional program https

Search alternatives:
programs compositional » program composition , program computational , problem compositional
compositional program » composition programs , computational program , compositional problems
execution programs » executive programs , executive program , evolution programs
program execution » program evaluation , process execution , project execution
program https » programs https , program has , program help

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

Published 2006

Table of Contents: “... for Logic Program Execution Time Estimation -- Towards Region-Based Memory Management for Mercury Programs...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”
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: “...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”
View full text

Electronic eBook

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /

Published 2012

Table of Contents: “... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”
View full text

Electronic eBook

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Published 2015

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

Electronic eBook

Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France...

Published 2005

Table of Contents: “...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”
View full text

Electronic eBook

Verification of Business Rules Programs

by Berstel-Da Silva, Bruno., Berstel-Da Silva, Bruno.
Published 2014

Table of Contents: “...Chap. 1 - Introduction -- Chap. 2 - Related Work -- Chap. 3 - Syntax of Rules and Rule Programs...”
View full text

Electronic eBook

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”
View full text

Electronic eBook

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...”
View full text

Electronic eBook

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings /

Published 2014

Table of Contents: “... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”
View full text

Electronic eBook

MEMPHA: Model of Exascale message-passing programs on heterogeneous architectures

by Koohi, Sina Zangbari, Abdul Hamid, Nor Asilah Wati, Othman, Mohamed, Ibragimov, Gafurjan
Published 2020

“... of the scheduling and mapping procedure. If the composition of the parallel application is known a prior...”
View full text

Article

Scientific Workflows Programming, Optimization, and Synthesis with ASKALON and AWDL /

by Qin, Jun., Qin, Jun., Fahringer, Thomas.
Published 2012

Table of Contents: “...Part I Overview -- Introduction -- Prerequisites -- Part II Programming -- Abstract Workflow...”
View full text

Electronic eBook

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Published 2005

Table of Contents: “... Design of Concurrent Programs -- Linking Theories -- Of Probabilistic wp and CSP—and Compositionality...”
View full text

Electronic eBook

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Published 2010

Table of Contents: “... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”
View full text

Electronic eBook

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings /

Published 2010

Table of Contents: “... Approach for Composition of Real-Time Embedded Software Stacks -- Bridging the Semantic Gap between...”
View full text

Electronic eBook

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /

Published 2007

Table of Contents: “... with Respect to Their Composition -- An Execution-Level Component Composition Model Based on Component Testing...”
View full text

Electronic eBook

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings /

Published 2013

Table of Contents: “... -- Compact Symbolic Execution -- Multi-threaded Explicit State Space Exploration with State Reconstruction...”
View full text

Electronic eBook