Resultados de búsqueda - parallel java program functionals transformation https

Buscar alternativas:
functionals transformation » functional transformations , national transformation , fractional transformations
transformation https » transportation https , transformation actors , translation https
program functionals » programs functional , program functionality , problem functionals
parallel java » parallel data , parallel scara , parallel a
java program » java programs , a program , 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

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

Electrónico eBook

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

Publicado 2013

Tabla de Contenidos: “... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...”
Enlace del recurso

Electrónico eBook

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

Publicado 2005

Tabla de Contenidos: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Enlace del recurso

Electrónico eBook

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

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

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

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: “... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...”
Enlace del recurso

Electrónico eBook

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

Publicado 2014

Tabla de Contenidos: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Enlace del 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

Tabla de Contenidos: “...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”
Enlace del 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

Tabla de Contenidos: “... Applications to a Configurable Multiprocessor Platform -- Towards a Transformation Chain Modeling Language...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados