Kết quả tìm kiếm - parallel evaluating programming functionals java https

Tìm kiếm thay thế:
programming functionals » programming functional , programming function , programming fundamentals
evaluating programming » computing programming , exploring programming
parallel evaluating » parallel evaluation , parallel valuation , partially evaluating
functionals java » functionals a , functionals part , functionals _
https » http

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

Được phát hành 2010

Mục lục: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2006

Mục lục: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
lấy văn bản

Điện tử eBook

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Được phát hành 2010

Mục lục: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
lấy văn bản

Điện tử eBook

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Được phát hành 2010

Mục lục: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2005

Mục lục: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
lấy văn bản

Điện tử eBook

Distributed, Embedded and Real-time Java Systems

Được phát hành 2012

Mục lục: “... -- Parallel Real-time Garbage Collection -- Region-based Memory Management: An Evaluation of its Support...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2005

Mục lục: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2014

Mục lục: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2013

Mục lục: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2014

Mục lục: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
lấy văn bản

Điện tử eBook

Advanced Techniques in Computing Sciences and Software Engineering

Được phát hành 2010

Mục lục: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2006

Mục lục: “... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2007

Mục lục: “... and Programming Model -- Multi-processor Architectures -- Mapping and Performance Evaluation for Heterogeneous MP...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2014

Mục lục: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
lấy văn bản

Điện tử eBook

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Được phát hành 2010

Mục lục: “... -- Implementation and Evaluation of Agent Interoperability Mechanism among Heterogeneous Agent Platforms...”
lấy văn bản

Điện tử eBook

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Được phát hành 2005

Mục lục: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
lấy văn bản

Điện tử eBook

Applications of Evolutionary Computing 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

Được phát hành 2013

Mục lục: “... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”
lấy văn bản

Điện tử eBook

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings /

Được phát hành 2006

Mục lục: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
lấy văn bản

Điện tử eBook

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Được phát hành 2005

Mục lục: “... for Performance Evaluation of Parallel and Distributed Systems -- Integrating Distributed Composite Objects...”
lấy văn bản

Điện tử eBook

Tìm kiếm hẹp