Søgeresultater - parallel programs https functions foundations https

1

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009...

Udgivet 2010

Indholdsfortegnelse: “... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”
Få fuldtekst

Electronisk eBog

2

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

Udgivet 2005

Indholdsfortegnelse: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Få fuldtekst

Electronisk eBog

3

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Få fuldtekst

Electronisk eBog

4

Foundations of Intelligent Systems 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”
Få fuldtekst

Electronisk eBog

5

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
Få fuldtekst

Electronisk eBog

6

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International...

Udgivet 2005

Indholdsfortegnelse: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Få fuldtekst

Electronisk eBog

7

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

Udgivet 2008

Indholdsfortegnelse: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Få fuldtekst

Electronisk eBog

8

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

Udgivet 2013

Indholdsfortegnelse: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Få fuldtekst

Electronisk eBog

9

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

10

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

11

A Primer on Scientific Programming with Python

af Langtangen, Hans Petter., Langtangen, Hans Petter.
Udgivet 2011

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

Electronisk eBog

12

A Primer on Scientific Programming with Python

af Langtangen, Hans Petter., Langtangen, Hans Petter.
Udgivet 2012

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

Electronisk eBog

13

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

14

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

Udgivet 2006

Indholdsfortegnelse: “... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...”
Få fuldtekst

Electronisk eBog

15

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Udgivet 2006

Indholdsfortegnelse: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Få fuldtekst

Electronisk eBog

16

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Udgivet 2015

Indholdsfortegnelse: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Få fuldtekst

Electronisk eBog

17

Beginning F#

af Pickering, Robert., Pickering, Robert.
Udgivet 2010

Indholdsfortegnelse: “...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...”
Få fuldtekst

Electronisk eBog

18

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

af Karrenberg, Ralf., Karrenberg, Ralf.
Udgivet 2015

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

Electronisk eBog

19

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

20

Evolutionary Algorithms for Solving Multi-Objective Problems

af Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Udgivet 2007

Indholdsfortegnelse: “... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”
Få fuldtekst

Electronisk eBog

Indsnæver søgning