בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
programs functionals » programs functional, programming functionals, program functionality
functionals function » function function, functions functional, function dysfunction
parallel finite » parallel file
finite programs » infinite programs, line programs, unity programs
function https » functions https, fiction https
programs functionals » programs functional, programming functionals, program functionality
functionals function » function function, functions functional, function dysfunction
parallel finite » parallel file
finite programs » infinite programs, line programs, unity programs
function https » functions https, fiction https
1
יצא לאור 2007
תוכן הענינים:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2010
תוכן הענינים:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2015
תוכן הענינים:
“... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2010
תוכן הענינים:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2006
תוכן הענינים:
“...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2010
תוכן הענינים:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2008
תוכן הענינים:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2014
תוכן הענינים:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2006
תוכן הענינים:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2005
תוכן הענינים:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2007
תוכן הענינים:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2010
תוכן הענינים:
“... of Modular Aggregation Functions -- Smooth Aggregation Functions on Finite Scales -- Dual Representable...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2005
תוכן הענינים:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2008
תוכן הענינים:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2006
תוכן הענינים:
“... Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) -- Automata and Logics...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2010
תוכן הענינים:
“... Networks in a Parametric SIMD Parallel System on Chip -- A Dedicated Reconfigurable Architecture for Finite...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2014
תוכן הענינים:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2008
תוכן הענינים:
“... -- : An Enhanced Stream-Based Communication Mechanism -- Performance of Coupled Parallel Finite Element Analysis...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים:
“...Construction of Irreducible Polynomials over Finite Fields -- Factorization of Polynomials and GCD...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני