Resultados de procura - parallel java programs functionality transformation https

Search alternatives:
functionality transformation » functionals transformation , functional transformations , national transformation
programs functionality » program functionality , programs functional , properties functionality
transformation https » transportation https , transformation actors , translation https
parallel java » parallel data , parallel scara , parallel a
java programs » java programming

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

Publicado 2006

Table of Contents: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2013

Table of Contents: “... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2005

Table of Contents: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2014

Table of Contents: “... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2005

Table of Contents: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2013

Table of Contents: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2015

Table of Contents: “... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...”
Ligazón do recurso

Electrónico eBook

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Publicado 2014

Table of Contents: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2006

Table of Contents: “...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2006

Table of Contents: “... Applications to a Configurable Multiprocessor Platform -- Towards a Transformation Chain Modeling Language...”
Ligazón do recurso

Electrónico eBook

Resultados Agrupados