Rezultaty - parallel java program function state https*

Inne możliwości wyszukiwania:
program function » programme function , programs functional , program foundation
function state » functional state , function status , function space
parallel java » parallel data , parallel scara , parallel a
java program » java programs , a program , java programming
https* » http*

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

Wydane 2013

Spis treści: “...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Wydane 2010

Spis treści: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Distributed, Embedded and Real-time Java Systems

Wydane 2012

Spis treści: “...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2013

Spis treści: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Wydane 2005

Spis treści: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Practical Clojure

od VanderHart, Luke., VanderHart, Luke., Sierra, Stuart.
Wydane 2010

Spis treści: “... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2014

Spis treści: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advanced Techniques in Computing Sciences and Software Engineering

Wydane 2010

Spis treści: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Handbook of Data Visualization

Wydane 2008

Spis treści: “... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Wydane 2006

Spis treści: “...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Nature Inspired Cooperative Strategies for Optimization (NICSO 2007)

Wydane 2008

Spis treści: “... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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 /

Wydane 2007

Spis treści: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty