Published 2012
| Version v1
Book
Automation of potential interlocks retrieval in the models of multicurrent software
Creators
- 1. Natsional'nyj Issledovatel'skij Yadernyj Univ. MIFI, Moscow (Russian Federation)
- 2. Topcon Positioning Systems, Moscow (Russian Federation)
Description
no abstract available
Additional details
Additional titles
- Original title (Russian)
- Автоматизация поиска потенциальных взаимных блокировок в моделях многопоточного программного обеспечения
Publishing Information
- Publisher
- NIYaU MIFI
- Imprint Place
- Moscow (Russian Federation)
- ISBN
- 978-5-7262-1626-3
- Imprint Title
- Scientific session of NRNU MEPHI-2012. Abstracts. In three volumes. Volume 2. Problems of fundamental science. Strategic information technologies
- Imprint Pagination
- 388 p.
- Journal Page Range
- p. 241
Conference
- Title
- Scientific session of NRNU
- Original Conference Title
- Nauchnaya sessiya NIYaU MIFI-2012
- Acronym
- MEPHI-2012
- Dates
- 2012
- Place
- Moscow (Russian Federation)
INIS
- Country of Publication
- Russian Federation
- Country of Input or Organization
- Russian Federation
- INIS RN
- 45057745
- Subject category
- S97: MATHEMATICAL METHODS AND COMPUTING;
- Resource subtype / Literary indicator
- No Abstract, Conference
- Descriptors DEI
- ALGORITHMS; COMPUTER CODES; INTERLOCKS; SYNCHRONIZATION
- Descriptors DEC
- MATHEMATICAL LOGIC
Optional Information
- Notes
- Imprint:Nauchnaya sessiya NIYaU MIFI-2012. Annotatsii dokladov. V 3-kh tomakh. Tom 2. Problemy fundamental'noj nauki. Strategicheskie informatsionnye tekhnologii