본문

  1. Home
1000 Results:PP:M B B 0.312 sec.
RSS 
Multilingual
 Расширенный поиск
 Новый поиск книги прибытия
Selected Print Select Export to Excel
981
A Direct Path to Dependable Software
A Direct Path to Dependable Software
Jackson, D., | Association for Computing Machinery | 2009 ,
982
Memory Models: A Case for Rethinking Parallel Languages and Hardware: Solving the memory model problem will require an ambitious and cross-disciplinary research direction
Memory Models: A Case for Rethinking Parallel Languages and Hardware: Solving the memory model problem will require an ambitious and cross-disciplinary research direction
Adve, S.V., | Association for Computing Machinery | 2010 ,
983
Roofline: An Insightful Visual Performance Model for Multicore Architectures
Roofline: An Insightful Visual Performance Model for Multicore Architectures
Williams, S., | Association for Computing Machinery | 2009 ,
984
Predicting the Popularity of Online Content: Early patterns of Digg diggs and YouTube views reflect long-term user interest
Predicting the Popularity of Online Content: Early patterns of Digg diggs and YouTube views reflect long-term user interest
Szabo, G., | Association for Computing Machinery | 2010 ,
985
Database and Information-Retrieval Methods for Knowledge Discovery
Database and Information-Retrieval Methods for Knowledge Discovery
Weikum, G., | Association for Computing Machinery | 2009 ,
986
The Singularity System: Safe, modern programming languages let Microsoft rethink the architectural trade-offs in its experimental operating system
The Singularity System: Safe, modern programming languages let Microsoft rethink the architectural trade-offs in its experimental operating system
Larus, J., | Association for Computing Machinery | 2010 ,
987
Algorithmic Systems Biology
Algorithmic Systems Biology
Priami, C., | Association for Computing Machinery | 2009 ,
988
Computing Needs Time
Computing Needs Time
Lee, E.A., | Association for Computing Machinery | 2009 ,
989
Spending Moore's Dividend
Spending Moore's Dividend
Larus, J., | Association for Computing Machinery | 2009 ,
990
Performance Evaluation and Model Checking Join Forces: A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques
Performance Evaluation and Model Checking Join Forces: A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques
Baier, C., | Association for Computing Machinery | 2010 ,
처음이전949596979899100이후마지막