Resultados da pesquisa - parallel java programming function blocking https*

Pesquisas alternativas:
programming function » programming functional , programming functionals , programme function
function blocking » junction blocking , functional blocking , function block
java programming » c programming
blocking https » blocking steps , banking https , blocking sets
parallel java » parallel data , parallel scara , parallel a

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

Publicado em 2010

Sumário: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2010

Sumário: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2015

Sumário: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2013

Sumário: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2014

Sumário: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2007

Sumário: “... -- SC2SCFL: Automated SystemC to Translation -- VLSI Architectures -- Model and Validation of Block...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa