Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
abstract function » abstract functional, tract function, abstract section
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
code abstract » core abstract, code abstracter, model abstract
abstract function » abstract functional, tract function, abstract section
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
code abstract » core abstract, code abstracter, model abstract
1
Published 2006
Table of Contents:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... -- On the Definition of Service Abstractions for Parallel Computing -- The Second Workshop on Performance Evaluation...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... -- Generating Artificial Neural Networks for Value Function Approximation in a Domain Requiring a Shifting...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... Analysis (Extended Abstract) -- Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... Abstractions -- Language Design -- Trustworthy Proxies: Virtualizing Objects with Invariants -- JavaUI: Effects...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... -- Lightweight Abstraction for Mathematical Computation in Java -- Calculation of Normal Forms of the Euler...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”View full text
Electronic
eBook