Søgeresultater - parallel programming long function function https

1

New Horizons of Parallel and Distributed Computing

Udgivet 2005

Indholdsfortegnelse: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Få fuldtekst

Electronisk eBog

2

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

3

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

Udgivet 2013

Indholdsfortegnelse: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Få fuldtekst

Electronisk eBog

4

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

Udgivet 2013

Indholdsfortegnelse: “... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”
Få fuldtekst

Electronisk eBog

5

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

6

Beginning Haskell A Project-Based Approach /

af Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Udgivet 2014

Fag: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst

Electronisk eBog

7

Beginning R An Introduction to Statistical Programming /

af Pace, Larry., Pace, Larry., Wiley, Joshua.
Udgivet 2015

Fag: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst

Electronisk eBog

8

Java Closures and Lambda

af Fischer, Robert., Fischer, Robert.
Udgivet 2015

Fag: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst

Electronisk eBog

9

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: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Få fuldtekst

Electronisk eBog

10

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

Udgivet 2010

Indholdsfortegnelse: “... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”
Få fuldtekst

Electronisk eBog

11

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Udgivet 2005

Indholdsfortegnelse: “... of Amino Acids in Long Polypeptides -- Order Preserving Clustering over Multiple Time Course Experiments...”
Få fuldtekst

Electronisk eBog

12

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Udgivet 2014

Indholdsfortegnelse: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Få fuldtekst

Electronisk eBog

13

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”
Få fuldtekst

Electronisk eBog

14

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Udgivet 2007

Indholdsfortegnelse: “... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”
Få fuldtekst

Electronisk eBog

15

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Udgivet 2010

Indholdsfortegnelse: “... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...”
Få fuldtekst

Electronisk eBog

16

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Approximate Dictionary Look-Up for Long Words over Small Alphabets -- Relations Among Notions of Security...”
Få fuldtekst

Electronisk eBog

17

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”
Få fuldtekst

Electronisk eBog

18

Autonomous Search

Udgivet 2012

Indholdsfortegnelse: “... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....”
Få fuldtekst

Electronisk eBog

19

Frontiers of Computational Science Proceedings of the International Symposium on Frontiers of Computational Science 2005 /

Udgivet 2007

Indholdsfortegnelse: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
Få fuldtekst

Electronisk eBog

20

Global Sourcing of Information Technology and Business Processes 4th International Workshop, Global Sourcing 2010, Zermatt, Switzerland, March 22-25, 2010, Revised Selected Papers...

Udgivet 2010

Indholdsfortegnelse: “...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning