Arama Sonuçları - parallel code programmed function foundations https

1

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Multicast Cost Sharing Games -- Shortest Synchronizing Strings for Huffman Codes -- Optimizing Conjunctive...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Tam Metin Erişim

Elektronik Ekitap

10

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Tam Metin Erişim

Elektronik Ekitap

11

A Primer on Scientific Programming with Python

Yazar: Langtangen, Hans Petter., Langtangen, Hans Petter.
Baskı/Yayın Bilgisi 2011

İçindekiler: “...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Tam Metin Erişim

Elektronik Ekitap

12

A Primer on Scientific Programming with Python

Yazar: Langtangen, Hans Petter., Langtangen, Hans Petter.
Baskı/Yayın Bilgisi 2012

İçindekiler: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Tam Metin Erişim

Elektronik Ekitap

13

A Primer on Scientific Programming with Python

Yazar: Langtangen, Hans Petter., Langtangen, Hans Petter.
Baskı/Yayın Bilgisi 2014

İçindekiler: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...”
Tam Metin Erişim

Elektronik Ekitap

15

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Tam Metin Erişim

Elektronik Ekitap

17

Beginning F#

Yazar: Pickering, Robert., Pickering, Robert.
Baskı/Yayın Bilgisi 2010

İçindekiler: “...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...”
Tam Metin Erişim

Elektronik Ekitap

18

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

Yazar: Karrenberg, Ralf., Karrenberg, Ralf.
Baskı/Yayın Bilgisi 2015

Konular: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Tam Metin Erişim

Elektronik Ekitap

19

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Tam Metin Erişim

Elektronik Ekitap

20

Evolutionary Algorithms for Solving Multi-Objective Problems

Yazar: Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Baskı/Yayın Bilgisi 2007

İçindekiler: “... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt