בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
programs functionality » program functionality, programs functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
parallel managing » parallel imaging, parallel mining, parallel landing
managing programs » managing problems, management programs, branching programs
function https » functions https, fiction https
programs functionality » program functionality, programs functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
parallel managing » parallel imaging, parallel mining, parallel landing
managing programs » managing problems, management programs, branching programs
function https » functions https, fiction https
1
יצא לאור 2006
תוכן הענינים:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2011
נושאים:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2007
תוכן הענינים:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2010
תוכן הענינים:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2007
תוכן הענינים:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2014
תוכן הענינים:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2010
תוכן הענינים:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2005
תוכן הענינים:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2010
תוכן הענינים:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2010
תוכן הענינים:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2010
תוכן הענינים:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2008
תוכן הענינים:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2005
תוכן הענינים:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
יצא לאור 2015
תוכן הענינים:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2008
תוכן הענינים:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2006
תוכן הענינים:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2013
תוכן הענינים:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2005
תוכן הענינים:
“... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2006
תוכן הענינים:
“... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני



