Search Results - parallel java java functional i https

1

Distributed, Embedded and Real-time Java Systems

Published 2012

Table of Contents: “...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”
View full text

Electronic eBook

2

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

by Sharan, Kishori., Sharan, Kishori.
Published 2014

Subjects: “...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...”
View full text

Electronic eBook

3

Beginning Haskell A Project-Based Approach /

by Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Published 2014

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

4

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

Published 2006

Table of Contents: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
View full text

Electronic eBook

5

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

Published 2013

Table of Contents: “...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”
View full text

Electronic eBook

6

Practical Clojure

by VanderHart, Luke., VanderHart, Luke., Sierra, Stuart.
Published 2010

Table of Contents: “... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
View full text

Electronic eBook

7

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”
View full text

Electronic eBook

8

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Paper...

Published 2014

Table of Contents: “... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”
View full text

Electronic eBook

9

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

Published 2013

Table of Contents: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
View full text

Electronic eBook

10

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Published 2008

Table of Contents: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
View full text

Electronic eBook

11

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Published 2010

Table of Contents: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
View full text

Electronic eBook

12

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Published 2007

Table of Contents: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
View full text

Electronic eBook

13

Handbook of Data Visualization

Published 2008

Table of Contents: “... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...”
View full text

Electronic eBook

14

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”
View full text

Electronic eBook

15

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
View full text

Electronic eBook

16

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
View full text

Electronic eBook

17

Java Closures and Lambda

by Fischer, Robert., Fischer, Robert.
Published 2015

Subjects: “...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...”
View full text

Electronic eBook

18

The Definitive Guide to Jython Python for the Java Platform /

by Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Published 2010

Table of Contents: “... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”
View full text

Electronic eBook

19

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Published 2013

Table of Contents: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
View full text

Electronic eBook

20

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Published 2013

Table of Contents: “...Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections...”
View full text

Electronic eBook

Narrow Search