Rezultaty - parallel localization program functionality function https

Inne możliwości wyszukiwania:
functionality function » functionals function , functionaries function , functional functions
parallel localization » parallel polarization , parallel realization , parallel visualization
program functionality » protein functionality , programs functional , supra functionality
localization program » localization problem , localization problems , localization from
function https » functions https , fiction https

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Wydane 2006

Spis treści: “... Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Wydane 2010

Spis treści: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Wydane 2005

Spis treści: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Parallel Algorithms and Cluster Computing Implementations, Algorithms and Applications /

Wydane 2006

Spis treści: “...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... with the TSP -- The Role of Syntactic and Semantic Locality of Crossover in Genetic Programming -- The Layered...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2015

Spis treści: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Wydane 2014

Spis treści: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Wydane 2014

Spis treści: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Wydane 2014

Spis treści: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Wydane 2005

Spis treści: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Wydane 2010

Spis treści: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Wydane 2013

Spis treści: “... Feasibility: CP Usage in Constrained-Random Functional Hardware -Verification.-Stochastic Local Search Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Wydane 2010

Spis treści: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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 /

Wydane 2006

Spis treści: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers /

Wydane 2010

Spis treści: “... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”
Dokumenty pełnotekstowe

Elektroniczne E-book

1
2
3
4
5
6
Następna »
[6]

Redukuj rezultaty