Søgeresultater - parallel function program functionality via https

Søg alternativer:
program functionality » protein functionality , programs functional , supra functionality
parallel function » parallel functional , parallel auction , parallel union
functionality via » functionality iv , functionality risk , functionality goal
function program » functional program , functions programs , functional programs
via https » asia https

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Få fuldtekst

Electronisk eBog

Scalable Optimization via Probabilistic Modeling From Algorithms to Applications /

Udgivet 2006

Indholdsfortegnelse: “... Learning via Probabilistic Modeling in the Extended Compact Genetic Algorithm (ECGA) -- Hierarchical...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Få fuldtekst

Electronisk eBog

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Få fuldtekst

Electronisk eBog

Introduction to Programming with Fortran with coverage of Fortran 90, 95, 2003 and 77 /

af Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Udgivet 2006

Indholdsfortegnelse: “... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Få fuldtekst

Electronisk eBog

A Primer on Scientific Programming with Python

af Langtangen, Hans Petter., Langtangen, Hans Petter.
Udgivet 2014

Indholdsfortegnelse: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Få fuldtekst

Electronisk eBog

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Udgivet 2005

Indholdsfortegnelse: “... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”
Få fuldtekst

Electronisk eBog

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”
Få fuldtekst

Electronisk eBog

Guide to Scientific Computing in C++

af Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Udgivet 2012

Indholdsfortegnelse: “... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Få fuldtekst

Electronisk eBog

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Få fuldtekst

Electronisk eBog

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Få fuldtekst

Electronisk eBog

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...

Udgivet 2015

Indholdsfortegnelse: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
Få fuldtekst

Electronisk eBog

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Få fuldtekst

Electronisk eBog

1
2
3
4
Næste »
[4]

Indsnæver søgning