בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
programs 11 » programs _, programs a, programs can
11 function » 1 function, 11 functional, 2.1 function
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
programs 11 » programs _, programs a, programs can
11 function » 1 function, 11 functional, 2.1 function
1
יצא לאור 2011
נושאים:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2005
תוכן הענינים:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2012
תוכן הענינים:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2010
תוכן הענינים:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2014
תוכן הענינים:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
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...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2008
תוכן הענינים:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2014
תוכן הענינים:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2008
תוכן הענינים:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2008
תוכן הענינים:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2006
תוכן הענינים:
“... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2014
תוכן הענינים:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2010
תוכן הענינים:
“... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2015
תוכן הענינים:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2006
תוכן הענינים:
“... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2006
תוכן הענינים:
“... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2005
תוכן הענינים:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2006
תוכן הענינים:
“... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני