Εναλλακτικές αναζητήσεις:
software function » software functional, software section, software mutation
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
program software » programs software, diagram software, problem software
function https » functions https, fiction https
1
Έκδοση 2011
Θέματα: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2010
Πίνακας περιεχομένων: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2006
Πίνακας περιεχομένων: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2013
Πίνακας περιεχομένων: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2013
Πίνακας περιεχομένων: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2012
Πίνακας περιεχομένων: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
ανά Freeman, Adam., Freeman, Adam.
Έκδοση 2010
Πίνακας περιεχομένων: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2010
Πίνακας περιεχομένων: ...Keynote Speech -- Building a Domain-Knowledge Guided System Software Environment to Achieve High...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2007
Πίνακας περιεχομένων: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2010
Πίνακας περιεχομένων: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
Έκδοση 2005
Πίνακας περιεχομένων: ...-Speed TCP -- Advanced Software On-Demand Based on Functional Streaming -- Can Out-of-Order Instruction...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2010
Πίνακας περιεχομένων: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
ανά Bjørner, Dines., Bjørner, Dines.
Έκδοση 2006
Πίνακας περιεχομένων: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
Έκδοση 2006
Πίνακας περιεχομένων: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
Έκδοση 2010
Πίνακας περιεχομένων: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
ανά Bjørner, Dines., Bjørner, Dines.
Έκδοση 2006
Πίνακας περιεχομένων: ... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2006
Πίνακας περιεχομένων: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Έκδοση 2010
Πίνακας περιεχομένων: ... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Έκδοση 2010
Πίνακας περιεχομένων: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
Έκδοση 2010
Πίνακας περιεχομένων: ... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο