Результаты поиска - parallel blocking programs functional java https

Альтернативы поиска:
programs functional » programming functional , proteins functional , processes functional
parallel blocking » parallel block , parallel tracking , parallel working
blocking programs » clothing programs , checking programs , linking programs
functional java » foundational java , functional renal
https » http

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...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2010

Оглавление: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2008

Оглавление: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2007

Оглавление: “... -- SC2SCFL: Automated SystemC to Translation -- VLSI Architectures -- Model and Validation of Block...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска