Arama Sonuçları - parallel java programming functional transformations https

Şunu mu demek istediniz:
functional transformations » fractional transformations , function transformations , functionals transformation
programming functional » programming vocational , programs functional , programming foundations
transformations https » transformations static , transformations data , transformations 4th
java programming » c programming
parallel java » parallel data , parallel scara , parallel a

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Applications to a Configurable Multiprocessor Platform -- Towards a Transformation Chain Modeling Language...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt