Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program execution » program evaluation, process execution, project execution
function session » functions session, function section, function sensation
execution https » exertion https, execution status, execution actors
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
program execution » program evaluation, process execution, project execution
function session » functions session, function section, function sensation
execution https » exertion https, execution status, execution actors
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
1
Published 2008
Table of Contents:
“...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”View full text
Electronic
eBook
2
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“...Keynote Talk I -- Distributed Security Algorithms by Mobile Agents -- Session I A: Ad Hoc Networks...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... of Labor: Tools for Growing and Scaling Grids -- DECO: Data Replication and Execution CO-scheduling...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Integration with Uncertainty -- Model Fragmentation for Distributed Workflow Execution: A Petri Net Approach...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“...Special Session on Grid and System Software -- TeraGrid: A Foundation for US Cyberinfrastructure...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... on the Riblets Surface -- Towards Analysis of Semi-Markov Decision Processes -- Automatic Programming...”View full text
Electronic
eBook