1
Gepubliceerd in 2010
Inhoudsopgave: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2013
Inhoudsopgave: ... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2005
Inhoudsopgave: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2014
Inhoudsopgave: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2005
Inhoudsopgave: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2013
Inhoudsopgave: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2008
Inhoudsopgave: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2006
Inhoudsopgave: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2005
Inhoudsopgave: ...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2007
Inhoudsopgave: ... Cooperation and Conflict Resolution -- Safety-Critical Systems -- Advancements in Dependable Time-Triggered...
Volledige tekst
Elektronisch E-boek