Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
programs dependence » program dependence, program independency, programs evidence
dependence function » dependence functions, dependent function, dependent functions
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java programs » java programming
programs dependence » program dependence, program independency, programs evidence
dependence function » dependence functions, dependent function, dependent functions
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java programs » java programming
1
Veröffentlicht 2013
Inhaltsangabe:
“... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”Volltext
Elektronisch
E-Book
2
Veröffentlicht 2010
Inhaltsangabe:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Volltext
Elektronisch
E-Book
3
Veröffentlicht 2005
Inhaltsangabe:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2014
Inhaltsangabe:
“... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”Volltext
Elektronisch
E-Book
5
Veröffentlicht 2005
Inhaltsangabe:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Volltext
Elektronisch
E-Book
6
Veröffentlicht 2013
Inhaltsangabe:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”Volltext
Elektronisch
E-Book
7
Veröffentlicht 2008
Inhaltsangabe:
“... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”Volltext
Elektronisch
E-Book
8
Veröffentlicht 2006
Inhaltsangabe:
“... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”Volltext
Elektronisch
E-Book
9
Veröffentlicht 2007
Inhaltsangabe:
“... Cooperation and Conflict Resolution -- Safety-Critical Systems -- Advancements in Dependable Time-Triggered...”Volltext
Elektronisch
E-Book
10
Veröffentlicht 2005
Inhaltsangabe:
“...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”Volltext
Elektronisch
E-Book