Zoekresultaten - parallel sequential program function ((dysfunction https) OR (function https))

1

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

Gepubliceerd in 2007

Inhoudsopgave: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Volledige tekst

Elektronisch E-boek

2

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

Gepubliceerd in 2005

Inhoudsopgave: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Volledige tekst

Elektronisch E-boek

3

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Gepubliceerd in 2010

Inhoudsopgave: “... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...”
Volledige tekst

Elektronisch E-boek

4

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Gepubliceerd in 2015

Inhoudsopgave: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Volledige tekst

Elektronisch E-boek

5

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Gepubliceerd in 2014

Inhoudsopgave: “... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...”
Volledige tekst

Elektronisch E-boek

6

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

Gepubliceerd in 2006

Inhoudsopgave: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Volledige tekst

Elektronisch E-boek

7

Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams /

door Sharan, Kishori., Sharan, Kishori.
Gepubliceerd in 2014

Onderwerpen: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Volledige tekst

Elektronisch E-boek

8

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

Gepubliceerd in 2010

Inhoudsopgave: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
Volledige tekst

Elektronisch E-boek

9

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

Gepubliceerd in 2008

Inhoudsopgave: “... -- ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions -- Computing Must and May...”
Volledige tekst

Elektronisch E-boek

10

Distributed Algorithms for Message-Passing Systems

door Raynal, Michel., Raynal, Michel.
Gepubliceerd in 2013

Inhoudsopgave: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Volledige tekst

Elektronisch E-boek

11

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

Gepubliceerd in 2006

Inhoudsopgave: “... -- On Rational Trees -- Reasoning About States of Probabilistic Sequential Programs -- Concurrent Games with Tail...”
Volledige tekst

Elektronisch E-boek

12

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

Gepubliceerd in 2015

Inhoudsopgave: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Volledige tekst

Elektronisch E-boek

13

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Gepubliceerd in 2015

Inhoudsopgave: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Volledige tekst

Elektronisch E-boek

14

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Gepubliceerd in 2007

Inhoudsopgave: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Volledige tekst

Elektronisch E-boek

15

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Volledige tekst

Elektronisch E-boek

16

COMPSTAT 2008 Proceedings in Computational Statistics /

Gepubliceerd in 2008

Inhoudsopgave: “...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”
Volledige tekst

Elektronisch E-boek

17

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Gepubliceerd in 2013

Inhoudsopgave: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Volledige tekst

Elektronisch E-boek

18

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Gepubliceerd in 2006

Inhoudsopgave: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Volledige tekst

Elektronisch E-boek

19

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Volledige tekst

Elektronisch E-boek

20

Pattern Recognition in Bioinformatics Third IAPR International Conference, PRIB 2008, Melbourne, Australia, October 15-17, 2008. Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken