Resultados de búsqueda - parallel based programming functionals java https

1

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Publicado 2010

Tabla de Contenidos: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Enlace del recurso

Electrónico eBook

2

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

Publicado 2006

Tabla de Contenidos: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Enlace del recurso

Electrónico eBook

3

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

Publicado 2010

Tabla de Contenidos: “...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”
Enlace del recurso

Electrónico eBook

4

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

Publicado 2010

Tabla de Contenidos: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Enlace del recurso

Electrónico eBook

5

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

Publicado 2013

Tabla de Contenidos: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Enlace del recurso

Electrónico eBook

6

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

Publicado 2005

Tabla de Contenidos: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Enlace del recurso

Electrónico eBook

7

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

Publicado 2008

Tabla de Contenidos: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Enlace del recurso

Electrónico eBook

8

Beginning Haskell A Project-Based Approach /

por Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Publicado 2014

Materias: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Enlace del recurso

Electrónico eBook

9

Distributed, Embedded and Real-time Java Systems

Publicado 2012

Tabla de Contenidos: “... -- Parallel Real-time Garbage Collection -- Region-based Memory Management: An Evaluation of its Support...”
Enlace del recurso

Electrónico eBook

10

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

Publicado 2005

Tabla de Contenidos: “... and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting -- Race Conditions in Message...”
Enlace del recurso

Electrónico eBook

11

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Publicado 2014

Tabla de Contenidos: “... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”
Enlace del recurso

Electrónico eBook

12

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

Publicado 2013

Tabla de Contenidos: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Enlace del recurso

Electrónico eBook

13

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

Publicado 2005

Tabla de Contenidos: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Enlace del recurso

Electrónico eBook

14

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

Publicado 2013

Tabla de Contenidos: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
Enlace del recurso

Electrónico eBook

15

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Publicado 2014

Tabla de Contenidos: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Enlace del recurso

Electrónico eBook

16

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Publicado 2015

Tabla de Contenidos: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Enlace del recurso

Electrónico eBook

17

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Publicado 2013

Tabla de Contenidos: “... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”
Enlace del recurso

Electrónico eBook

18

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

Publicado 2014

Tabla de Contenidos: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Enlace del recurso

Electrónico eBook

19

Advanced Techniques in Computing Sciences and Software Engineering

Publicado 2010

Tabla de Contenidos: “... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...”
Enlace del recurso

Electrónico eBook

20

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 /

Publicado 2007

Tabla de Contenidos: “... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados