Rezultaty - parallel system program functionality setting https

Inne możliwości wyszukiwania:
program functionality » protein functionality , programs functional , supra functionality
functionality setting » functionality testing , functionality securing , functional setting
parallel system » parallel systems
system program » systems program , system programming
setting https » being https , writing https , feeding https

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Wydane 2006

Spis treści: “...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”
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: “... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “...-Parallel Systems -- A New Hybrid Parallel Algorithm for MrBayes -- Research and Design of Deployment...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Wydane 2007

Spis treści: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
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: “... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Wydane 2005

Spis treści: “... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”
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

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

Wydane 2008

Spis treści: “...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”
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

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St...

Wydane 2015

Spis treści: “... Programming -- Big Data, Big Systems, Big Challenges: A Personal Experience -- An Automatic Technique...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Wydane 2006

Spis treści: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
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: “...-Constrained Optimization -- Parallel Artificial Immune System in Optimization and Identification of Composite...”
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: “... to Identify Performance Bottlenecks in a Computer System -- Selecting Small Audio Feature Sets in Music...”
Dokumenty pełnotekstowe

Elektroniczne E-book

A Primer on Scientific Programming with Python

od Langtangen, Hans Petter., Langtangen, Hans Petter.
Wydane 2014

Spis treści: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
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

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

Wydane 2010

Spis treści: “... Imbalanced Data-Sets with Linguistic Fuzzy Rule Based Classification Systems Based on Pairwise Learning...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematical and Computer Programming Techniques for Computer Graphics

od Comninos, Peter., Comninos, Peter.
Wydane 2006

Spis treści: “...Set Theory Survival Kit -- Vector Algebra Survival Kit -- Matrix Algebra Survival Kit -- Vector...”
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

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 19th International Conference, LPAR...

Wydane 2013

Spis treści: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Redukuj rezultaty