בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
programmed functionality » properties functionality, programming functional, programs functional
program functionality » protein functionality, programs functional, supra functionality
function https » functions https, fiction https
programmed functionality » properties functionality, programming functional, programs functional
program functionality » protein functionality, programs functional, supra functionality
function https » functions https, fiction https
1
יצא לאור 2011
נושאים:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
תוכן הענינים:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2010
תוכן הענינים:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים:
“...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2015
תוכן הענינים:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2006
תוכן הענינים:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2005
תוכן הענינים:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2010
תוכן הענינים:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2010
תוכן הענינים:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
תוכן הענינים:
“....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
מאת Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
יצא לאור 2011
נושאים:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”יצא לאור 2011
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
יצא לאור 2014
תוכן הענינים:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
תוכן הענינים:
“... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2010
תוכן הענינים:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2008
תוכן הענינים:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2005
תוכן הענינים:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2005
תוכן הענינים:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2010
תוכן הענינים:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2005
תוכן הענינים:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני