Resultats de la cerca - parallel java programming functions blocking https

Alternatives de cerca:
programming functions » programming function , programming functionals , programming functional
functions blocking » function blocking , functional blocking , junction blocking
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 /

Publicat 2010

Taula de continguts: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Obtenir text complet

Electrònic eBook

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

Publicat 2010

Taula de continguts: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Obtenir text complet

Electrònic eBook

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

Publicat 2015

Taula de continguts: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Obtenir text complet

Electrònic eBook

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

Publicat 2013

Taula de continguts: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Obtenir text complet

Electrònic eBook

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

Publicat 2008

Taula de continguts: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Obtenir text complet

Electrònic eBook

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

Publicat 2014

Taula de continguts: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Obtenir text complet

Electrònic eBook

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

Publicat 2007

Taula de continguts: “... -- SC2SCFL: Automated SystemC to Translation -- VLSI Architectures -- Model and Validation of Block...”
Obtenir text complet

Electrònic eBook

Refinar cerca