1. A code mapping scheme for dataflow software pipelining
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer architecture,Parallel processing )Electronic computers(,Computer software
2. A code mapping scheme for dataflow software pipelining
پدیدآورنده : / G.R. Gao
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer architecture,Parallel processing (Electronic Computers),Software computing
رده :
QA76
.
9
.
A73G36
1991
3. Languages and compilers for parallel computing
پدیدآورنده : \ Xipeng Shen , Frank Mueller, James Tuck (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Parallel programming (Computer science) -- Congresses.,Parallel processing (Electronic computers) -- Congresses,Computer software -- Congresses.,برنامهنویسی موازی -- کنگره ها ,پردازش موازی -- کنگره ها ,نرمافزار -- کنگره ها
رده :
QA
76
.
642
.
L32
2016
E-Book
,
4. Languages compilers and run time systems for scalable computers th International Workshop LCR Pittsburgh PA USA May sel
پدیدآورنده : David O'Hallaron )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Software engineering,Congresses ، Computer architecture
رده :
QA
76
.
L28
Vol
.
1511
5. Partial order methods for the verification of concurrent systems an approach to the state explosion problem
پدیدآورنده : Godefroid, Patrice
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
1032
6. Proceedings of the international conference on parallel processing August
پدیدآورنده : K.C. Tai
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (تهران)
موضوع : Parallel processing)electronic computers(,Computer architecture,Computer software - Geotools,Electronic data processing,Computer networks
رده :
QA
76
.
6
.
I5
1994
7. Proceedings rd Euromicro Conference new frontiers of information technology short contributions Budapest Hungary Septem
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer architecture,Congresses ، Multimedia systems,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
758
.
S98
1997
8. Second International Workshop on Software Engineering for Parallel and Distributed Systems May Boston MA USA
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Computer software-- Development
رده :
QA
76
.
58
.
I5768
1997
9. Software engineering artificial intelligence networking and parallel distributed computing
پدیدآورنده : Roger Lee (Ed.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Software engineering,Artificial intelligence,Parallel processing (Electronic computers),Computer networks, Congresses,Electronic data processing, Distributed processing, Congresses
رده :
QA
،
76
.
758
،.
S6457
،
2011
10. Software for parallel computers
پدیدآورنده : Edited by R. H. Perrott
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Parallel processing (electronic computers),Computer software
رده :
QA
,
76
.
58
,.
S629
,
1992
11. Software pipelines and SOA
پدیدآورنده : Cory Isaacson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development,Parallel processing (Electronic computers),Web services
رده :
QA76
.
58
.
I82
2009
12. Temporal verification of reactive systems safety
پدیدآورنده : Manna, Zohar
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Verification,، Parallel processing )Electronic computers(
رده :
QA
76
.
76
.
V47
.
M36
1995