Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
function detection » mutation detection, reaction detection, action detection
parallel programs » parallel programming
detection https » protection https, exertion https, infection https
https function » its function, sites function, ups function
function detection » mutation detection, reaction detection, action detection
parallel programs » parallel programming
detection https » protection https, exertion https, infection https
https function » its function, sites function, ups function
1
Έκδοση 2010
Πίνακας περιεχομένων:
“... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Έκδοση 2007
Πίνακας περιεχομένων:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Έκδοση 2010
Πίνακας περιεχομένων:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Έκδοση 2010
Πίνακας περιεχομένων:
“... Encoding on GPGPUs -- Towards Metaprogramming for Parallel Systems on a Chip -- Dynamic Detection...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Έκδοση 2008
Πίνακας περιεχομένων:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Έκδοση 2005
Πίνακας περιεχομένων:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Έκδοση 2008
Πίνακας περιεχομένων:
“... -- Regular Papers -- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming -- A...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Έκδοση 2006
Πίνακας περιεχομένων:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Έκδοση 2010
Πίνακας περιεχομένων:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Έκδοση 2015
Πίνακας περιεχομένων:
“... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Έκδοση 2013
Πίνακας περιεχομένων:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
12
Έκδοση 2005
Πίνακας περιεχομένων:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
13
Έκδοση 2010
Πίνακας περιεχομένων:
“... Quality Assurance -- Similar Code Detection and Elimination for Erlang Programs -- Static Detection...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
14
Έκδοση 2007
Πίνακας περιεχομένων:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
15
Έκδοση 2006
Πίνακας περιεχομένων:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
16
Έκδοση 2010
Πίνακας περιεχομένων:
“... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
17
Έκδοση 2008
Πίνακας περιεχομένων:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
18
Πίνακας περιεχομένων:
“... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
19
Έκδοση 2010
Πίνακας περιεχομένων:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
20
Έκδοση 2008
Πίνακας περιεχομένων:
“... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο