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
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
Electronic eBook