Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
многопотоковый
Связанные издания:
Advanced Parallel Processing Technologies: Proc./7th International Symposium, APPT 2007. Guangzhou, China, November 2007
A Scalable Nonuniform Pointer Analysis for Embedded Systems
Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/6th International Workshop, CLIMA VI. London, UK, June 2005
Extending JML for Modular Specification and Verification of Multi-threaded Programs
High Performance Computing - HiPC 2005: Proc./12th International Conference. Goa, India, December 2005
High Performance Computing: Revised Selected Papers/6th Intl Symposium ISHPC @ Nara, Japan, Sept 2005 & 1st Intl WS on Advanced Low Power Systems, ALPS 2006
High-Performance Embedded Software Architectures and Compilers: Proc./Third International Conference, HiPEAC 2008. Goeteborg, Sweden, January 2008
OpenMP in a New Era of Parallelism: Proc./4th International Workshop, IWOMP 2008. West Lafayette, IN, USA, May 2008
Thread-Sensitive Points-to Analysis for Multithreased Java Programs
Threads Without the Pain