1
Udgivet 2010
Indholdsfortegnelse: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Få fuldtekst
Electronisk eBog
2
Udgivet 2008
Indholdsfortegnelse: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Få fuldtekst
Electronisk eBog
3
Udgivet 2013
Indholdsfortegnelse: ... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....
Få fuldtekst
Electronisk eBog
4
Udgivet 2010
Indholdsfortegnelse: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Få fuldtekst
Electronisk eBog
5
Udgivet 2014
Indholdsfortegnelse: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Få fuldtekst
Electronisk eBog
6
Udgivet 2014
Indholdsfortegnelse: ... Mathematical Functions Using a Novel Implementation of Intelligent Water Drops Algorithm -- A New Centroid...
Få fuldtekst
Electronisk eBog