Výsledky vyhledávání - program execution program composition programs https

Alternativní vyhledávání:
composition programs » compensation programs , composition problem , compression programs
program composition » process composition , protein composition , proximate composition
program execution » program evaluation , process execution , project execution
execution program » executive program , executive programs , execution problems
https » http

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

Vydáno 2008

Obsah: “... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2006

Obsah: “... for Logic Program Execution Time Estimation -- Towards Region-Based Memory Management for Mercury Programs...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2012

Obsah: “... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2015

Obsah: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”
Získat plný text

Elektronický zdroj E-kniha

Verification of Business Rules Programs

Autor Berstel-Da Silva, Bruno., Berstel-Da Silva, Bruno.
Vydáno 2014

Obsah: “...Chap. 1 - Introduction -- Chap. 2 - Related Work -- Chap. 3 - Syntax of Rules and Rule Programs...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2014

Obsah: “... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”
Získat plný text

Elektronický zdroj E-kniha

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

Autor Koohi, Sina Zangbari, Abdul Hamid, Nor Asilah Wati, Othman, Mohamed, Ibragimov, Gafurjan
Vydáno 2020

“... of the scheduling and mapping procedure. If the composition of the parallel application is known a prior...”
Získat plný text

Článek

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

Autor Qin, Jun., Qin, Jun., Fahringer, Thomas.
Vydáno 2012

Obsah: “...Part I Overview -- Introduction -- Prerequisites -- Part II Programming -- Abstract Workflow...”
Získat plný text

Elektronický zdroj E-kniha

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 /

Vydáno 2005

Obsah: “... Design of Concurrent Programs -- Linking Theories -- Of Probabilistic wp and CSP—and Compositionality...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... Approach for Composition of Real-Time Embedded Software Stacks -- Bridging the Semantic Gap between...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2007

Obsah: “... with Respect to Their Composition -- An Execution-Level Component Composition Model Based on Component Testing...”
Získat plný text

Elektronický zdroj E-kniha

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Vydáno 2012

Obsah: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...”
Získat plný text

Elektronický zdroj E-kniha

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings /

Vydáno 2007

Obsah: “... Integration of a Component in a Composite Timed System -- Testing -- Integrating Specification-Based Review...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2013

Obsah: “... -- Compact Symbolic Execution -- Multi-threaded Explicit State Space Exploration with State Reconstruction...”
Získat plný text

Elektronický zdroj E-kniha

1
2
3
4
5
6
7
Další »
[7]

Upřesnit hledání