Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality setting » functionality testing, functionality securing, functional setting
program functionality » protein functionality, programs functional, supra functionality
execution program » executive program, executive programs, execution problems
setting https » being https, writing https, feeding https
functionality setting » functionality testing, functionality securing, functional setting
program functionality » protein functionality, programs functional, supra functionality
execution program » executive program, executive programs, execution problems
setting https » being https, writing https, feeding https
1
Published 2007
Table of Contents:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”View full text
Electronic
eBook
3
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
4
Published 2006
Table of Contents:
“... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”View full text
Electronic
eBook
5
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... for Volume Data Sets by Using Critical Point Graph -- Hybrid Parallelization and Flat Parallelization in HPF...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Distributed Job Workflow Execution -- EPLAS: An Epistemic Programming Language for All Scientists...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Parallel Execution in Grid Environment -- Toward Dynamic Adoption for a User’s Situation Information in a...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... Programs -- Evaluation of Software Understandability Using Rough Sets -- HCDLST: An Indexing Technique...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”View full text
Electronic
eBook
17
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
18
Published 2008
Table of Contents:
“...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“...: The Programming Model for Future Many-Core Processors -- A Highly Dependable Self-adaptive Mixed-Signal Multi-core...”View full text
Electronic
eBook
20
Table of Contents:
“... NoCs -- Parallelizing Compiler for Single and Multicore Computing -- Power Optimization Techniques...”
View full text
View full text
Electronic
eBook