Sökresultat - general computers programming semantics arrays a

1

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

Publicerad 2013

Innehållsförteckning: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Hämta fulltext

Elektronisk E-bok

2

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”
Hämta fulltext

Elektronisk E-bok

3

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... Programming -- MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language -- A...”
Hämta fulltext

Elektronisk E-bok

4

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

Publicerad 2014

Innehållsförteckning: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
Hämta fulltext

Elektronisk E-bok

5

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”
Hämta fulltext

Elektronisk E-bok

6

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Publicerad 2005

Innehållsförteckning: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Hämta fulltext

Elektronisk E-bok

7

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Publicerad 2010

Innehållsförteckning: “... with Arrays -- A Semantic Framework for Declassification and Endorsement -- Amortised Resource Analysis...”
Hämta fulltext

Elektronisk E-bok

8

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
Hämta fulltext

Elektronisk E-bok

9

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West...

Publicerad 2005

Innehållsförteckning: “... -- Implementation of Parallel Numerical Algorithms Using Hierarchically Tiled Arrays -- A Geometric Approach...”
Hämta fulltext

Elektronisk E-bok

10

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Publicerad 2008

Innehållsförteckning: “... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”
Hämta fulltext

Elektronisk E-bok

11

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary...

Publicerad 2010

Innehållsförteckning: “... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”
Hämta fulltext

Elektronisk E-bok

12

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Publicerad 2010

Innehållsförteckning: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Hämta fulltext

Elektronisk E-bok

13

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Publicerad 2015

Innehållsförteckning: “... Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies -- Program...”
Hämta fulltext

Elektronisk E-bok

14

Computer Science - Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “...Opening Lecture -- Randomness – A Computational Complexity Perspective -- Invited Papers -- Cracks...”
Hämta fulltext

Elektronisk E-bok

15

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS...

Publicerad 2008

Innehållsförteckning: “... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”
Hämta fulltext

Elektronisk E-bok

16

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Publicerad 2006

Innehållsförteckning: “... -- A Transformational Semantics of Static Embedded Implications of Normal Logic Programs -- Converting...”
Hämta fulltext

Elektronisk E-bok

17

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Hämta fulltext

Elektronisk E-bok

18

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... for Scientific Computations -- OpenMP 3.0 – A Preview of the Upcoming Standard -- Manycores in the Future...”
Hämta fulltext

Elektronisk E-bok

19

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”
Hämta fulltext

Elektronisk E-bok

20

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Publicerad 2005

Innehållsförteckning: “... Components -- Transactions -- A Trace Semantics for Long-Running Transactions -- Practical Application of CSP...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen