Rezultati - parallel program modularity function function https

Poišči alternative:
modularity function » modular function , modular functions , mobility function
program modularity » programs modularity , process modularity , product modularity
function function » function functional , functions functional , function dysfunction
parallel program » parallel programs , parallel problem , parallel programming
function https » functions https , fiction https

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Izdano 2010

Kazalo: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Polni tekst

Elektronski eKnjiga

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Izdano 2010

Kazalo: “..., Modular, Synthetic Chromosomes -- GPU Parallelization of Algebraic Dynamic Programming -- Parallel Extreme...”
Polni tekst

Elektronski eKnjiga

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Izdano 2010

Kazalo: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Polni tekst

Elektronski eKnjiga

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Izdano 2006

Kazalo: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Polni tekst

Elektronski eKnjiga

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Izdano 2008

Kazalo: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Polni tekst

Elektronski eKnjiga

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Izdano 2013

Kazalo: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
Polni tekst

Elektronski eKnjiga

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Izdano 2010

Kazalo: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
Polni tekst

Elektronski eKnjiga

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Izdano 2015

Kazalo: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Polni tekst

Elektronski eKnjiga

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Izdano 2008

Kazalo: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Polni tekst

Elektronski eKnjiga

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Izdano 2013

Kazalo: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Polni tekst

Elektronski eKnjiga

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Izdano 2013

Kazalo: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Polni tekst

Elektronski eKnjiga

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Izdano 2006

Kazalo: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Polni tekst

Elektronski eKnjiga

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Izdano 2014

Kazalo: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Polni tekst

Elektronski eKnjiga

Software Engineering 2 Specification of Systems and Languages /

od Bjørner, Dines., Bjørner, Dines.
Izdano 2006

Kazalo: “...: Simple Applicative Language -- SIL: Simple Imperative Language -- SMIL: Simple Modular, Imperative...”
Polni tekst

Elektronski eKnjiga

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

Izdano 2006

Kazalo: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Polni tekst

Elektronski eKnjiga

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Izdano 2010

Kazalo: “... of Modular Aggregation Functions -- Smooth Aggregation Functions on Finite Scales -- Dual Representable...”
Polni tekst

Elektronski eKnjiga

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Izdano 2015

Kazalo: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Polni tekst

Elektronski eKnjiga

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Izdano 2007

Kazalo: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Polni tekst

Elektronski eKnjiga

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Izdano 2015

Kazalo: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Polni tekst

Elektronski eKnjiga

Innovations in Computing Sciences and Software Engineering

Izdano 2010

Kazalo: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje