1
יצא לאור 2010
תוכן הענינים: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2006
תוכן הענינים: ...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2011
נושאים: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2008
תוכן הענינים: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
תוכן הענינים: ... Correction Codes -- Sources of Mismatch and Errors -- Refine Models for PUF Simulation Requirements -- Pre...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2013
תוכן הענינים: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
תוכן הענינים: ... -- Finite-field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2007
תוכן הענינים: ... Models and Orthomax Rotations -- A Fully 3D System for Cardiac Wall Deformation Analysis in MRI Data...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2013
תוכן הענינים: ... are Parallel Connections better than Series Connections -- Optimization of Carrier Harvest in Meg Based Hybrid...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2007
תוכן הענינים: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2005
תוכן הענינים: ... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
מאת Levitin, Gregory., Levitin, Gregory.
יצא לאור 2005
תוכן הענינים: ... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
מאת Serakos, Demetrios., Serakos, Demetrios.
יצא לאור 2015
תוכן הענינים: ...1. Introduction -- 2.Preliminaries -- 3. Spaces of time functions consisting of input-output...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
מאת Briot, Sébastien., Briot, Sébastien., Khalil, Wisama.
יצא לאור 2015
תוכן הענינים: ... -- 10.3 Dynamic model of virtual flexible systems -- 10.4 Dynamic model of a flexible parallel robot...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2012
נושאים: ...Condensed Matter Physics. https://scigraph.springernature.com/ontologies/product-market-codes/P...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2007
תוכן הענינים: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2010
תוכן הענינים: ... in Tiered Storage System -- Session 2: Parallel Algorithms -- Scale-Adaptable Recrawl Strategies for DHT...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2005
תוכן הענינים: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2006
תוכן הענינים: ... System -- Some Aspects of Parallel Postprocessing for Numerical Simulation -- Algorithms -- Efficient...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני