檢索結果 - parallelism compilers programming functionals java https

搜索替代詞:
programming functionals » programming functional , programming function , programming fundamentals
parallelism compilers » parallelism compiling , parallelism computer , parallelizing compilers
compilers programming » computers programming , computers programminng , computer programming
functionals java » functionals a , functionals part , functionals _
https » http

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

出版 2006

書本目錄: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
獲取全文

電子電子書

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

出版 2013

書本目錄: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
獲取全文

電子電子書

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

出版 2013

書本目錄: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
獲取全文

電子電子書

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

出版 2008

書本目錄: “... Processors and Application Parallelization -- Compilation Strategies for Reducing Code Size on a VLIW...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
獲取全文

電子電子書

Beginning Haskell A Project-Based Approach /

由 Serrano Mena, Alejandro., Serrano Mena, Alejandro.
出版 2014

主題: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
獲取全文

電子電子書

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

出版 2013

書本目錄: “... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”
獲取全文

電子電子書

Practical Clojure

由 VanderHart, Luke., VanderHart, Luke., Sierra, Stuart.
出版 2010

書本目錄: “... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
獲取全文

電子電子書

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

出版 2014

書本目錄: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
獲取全文

電子電子書

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

出版 2013

書本目錄: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
獲取全文

電子電子書

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

出版 2015

書本目錄: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
獲取全文

電子電子書

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

出版 2013

書本目錄: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
獲取全文

電子電子書

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

出版 2014

書本目錄: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
獲取全文

電子電子書

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

出版 2007

書本目錄: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
獲取全文

電子電子書

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

出版 2006

書本目錄: “... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”
獲取全文

電子電子書

縮小搜索