檢索結果 - parallel compiler framework functionals function https

搜索替代詞:
framework functionals » framework functionality , framework functioning , framework rationale
functionals function » function function , functions functional , function dysfunction
compiler framework » component framework , composite framework , compilation framework
parallel compiler » parallel computer , parallel computers , parallel coupled
function https » functions https , fiction https

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

出版 2010

書本目錄: “...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”
獲取全文

電子電子書

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

出版 2006

書本目錄: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
獲取全文

電子電子書

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /

出版 2015

書本目錄: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
獲取全文

電子電子書

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

出版 2006

書本目錄: “...: Adapting Object-Oriented Frameworks to Functional Reactive Languages -- WASH Server Pages....”
獲取全文

電子電子書

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

出版 2010

書本目錄: “... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...”
獲取全文

電子電子書

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

出版 2006

書本目錄: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
獲取全文

電子電子書

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...”
獲取全文

電子電子書

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...”
獲取全文

電子電子書

Transactions on High-Performance Embedded Architectures and Compilers IV

出版 2011

書本目錄: “... Transactional Memory -- A Parallelizing Compiler Cooperative Heterogeneous Multicore Processor Architecture -- A...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “... to an Octree-Based CSCW Framework -- Parallel Modeling of Transient States Analysis in Electrical Circuits...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”
獲取全文

電子電子書

Beginning F#

由 Pickering, Robert., Pickering, Robert.
出版 2010

書本目錄: “...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...”
獲取全文

電子電子書

Beginning Haskell A Project-Based Approach /

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

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

電子電子書

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

出版 2006

書本目錄: “... Framework for Coverability Properties of WSTS -- Complexity Results on Branching-Time Pushdown Model...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
獲取全文

電子電子書

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

出版 2015

書本目錄: “... Framework -- SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform...”
獲取全文

電子電子書

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

出版 2010

書本目錄: “... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...”
獲取全文

電子電子書

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

出版 2013

書本目錄: “... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”
獲取全文

電子電子書

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

出版 2006

書本目錄: “... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”
獲取全文

電子電子書

縮小搜索