1
Publicat 2008
Taula de continguts: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Obtenir text complet
Electrònic eBook
2
Publicat 2014
Taula de continguts: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Obtenir text complet
Electrònic eBook
3
Publicat 2008
Taula de continguts: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Obtenir text complet
Electrònic eBook
5
Matèries: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
6
Publicat 2008
Taula de continguts: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Obtenir text complet
Electrònic eBook
7
Publicat 2007
Taula de continguts: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
Obtenir text complet
Electrònic eBook
8
Publicat 2006
Taula de continguts: ... Crypt -- Cryptography Meets Humans -- Hiding Secret Points Amidst Chaff -- Parallel and Concurrent...
Obtenir text complet
Electrònic eBook
9
Publicat 2015
Taula de continguts: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
Obtenir text complet
Electrònic eBook