1
Publicat 2012
Taula de continguts: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Obtenir text complet
Electrònic eBook
2
Publicat 2008
Taula de continguts: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Obtenir text complet
Electrònic eBook
3
Publicat 2010
Taula de continguts: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Obtenir text complet
Electrònic eBook
4
Publicat 2005
Taula de continguts: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Obtenir text complet
Electrònic eBook
5
Taula de continguts: ... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...
Obtenir text complet
Electrònic eBook
6
Publicat 2013
Taula de continguts: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Obtenir text complet
Electrònic eBook
7
Publicat 2005
Taula de continguts: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Obtenir text complet
Electrònic eBook
8
Publicat 2013
Taula de continguts: ... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...
Obtenir text complet
Electrònic eBook
9
per Bjørner, Dines., Bjørner, Dines.
Publicat 2006
Taula de continguts: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
Obtenir text complet
Electrònic eBook
10
Matèries: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
11
Publicat 2010
Taula de continguts: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
Obtenir text complet
Electrònic eBook
12
per Sharan, Kishori., Sharan, Kishori.
Publicat 2014
Matèries: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obtenir text complet
Electrònic eBook
13
Publicat 2015
Taula de continguts: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Obtenir text complet
Electrònic eBook
14
Publicat 2010
Taula de continguts: ... -- Possibility Theory and Formal Concept Analysis: Context Decomposition and Uncertainty Handling -- A Parallel...
Obtenir text complet
Electrònic eBook
15
Taula de continguts: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
Obtenir text complet
Electrònic eBook
16
Publicat 2008
Taula de continguts: ...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...
Obtenir text complet
Electrònic eBook
17
per Raynal, Michel., Raynal, Michel.
Publicat 2013
Taula de continguts: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
Obtenir text complet
Electrònic eBook
18
Publicat 2015
Taula de continguts: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Obtenir text complet
Electrònic eBook
19
Publicat 2010
Taula de continguts: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Obtenir text complet
Electrònic eBook
20
Publicat 2008
Taula de continguts: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
Obtenir text complet
Electrònic eBook