Sökresultat - parallel code programming functionals work https

1

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Publicerad 2013

Innehållsförteckning: “...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”
Hämta fulltext

Elektronisk E-bok

2

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

Publicerad 2010

Innehållsförteckning: “... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”
Hämta fulltext

Elektronisk E-bok

3

Pro .NET 4 Parallel Programming in C#

av Freeman, Adam., Freeman, Adam.
Publicerad 2010

Innehållsförteckning: “...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Hämta fulltext

Elektronisk E-bok

4

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Publicerad 2006

Innehållsförteckning: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Hämta fulltext

Elektronisk E-bok

5

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Publicerad 2012

Innehållsförteckning: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Hämta fulltext

Elektronisk E-bok

6

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Publicerad 2008

Innehållsförteckning: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Hämta fulltext

Elektronisk E-bok

7

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Publicerad 2005

Innehållsförteckning: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Hämta fulltext

Elektronisk E-bok

8

New Horizons of Parallel and Distributed Computing

Publicerad 2005

Innehållsförteckning: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Hämta fulltext

Elektronisk E-bok

9

Coding and Cryptography International Workshop, WCC 2005, Bergen, Norway, March 14-18, 2005, Revised Selected Papers /

Publicerad 2006

Innehållsförteckning: “... of Error-Correcting Codes -- ID-Based Series-Parallel Multisignature Schemes for Multi-Messages from...”
Hämta fulltext

Elektronisk E-bok

10

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working...

Publicerad 2006

Innehållsförteckning: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Hämta fulltext

Elektronisk E-bok

11

Modern Compiler Design

av Grune, Dick., Grune, Dick., van Reeuwijk, Kees., Bal, Henri E., Jacobs, Ceriel J.H., Langendoen, Koen.
Publicerad 2012

Innehållsförteckning: “... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...”
Hämta fulltext

Elektronisk E-bok

12

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

Publicerad 2013

Innehållsförteckning: “... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”
Hämta fulltext

Elektronisk E-bok

13

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...”
Hämta fulltext

Elektronisk E-bok

14

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Hämta fulltext

Elektronisk E-bok

15

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

Publicerad 2008

Innehållsförteckning: “... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”
Hämta fulltext

Elektronisk E-bok

16

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

Publicerad 2015

Innehållsförteckning: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
Hämta fulltext

Elektronisk E-bok

17

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

av Karrenberg, Ralf., Karrenberg, Ralf.
Publicerad 2015

Ämnen: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hämta fulltext

Elektronisk E-bok

18

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working...

Publicerad 2005

Innehållsförteckning: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Hämta fulltext

Elektronisk E-bok

19

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las...

Publicerad 2005

Innehållsförteckning: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
Hämta fulltext

Elektronisk E-bok

20

Evolutionary Algorithms for Solving Multi-Objective Problems

av Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Publicerad 2007

Innehållsförteckning: “... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen