본문

  1. Home
1000 Results:PP:M B B 0.359 sec.
RSS 
Multilingual
 Расширенный поиск
 Новый поиск книги прибытия
Selected Print Select Export to Excel
941
A Direct Path to Dependable Software
A Direct Path to Dependable Software
Jackson, D., | Association for Computing Machinery | 2009 ,
942
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 ,
943
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 ,
944
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 ,
945
Database and Information-Retrieval Methods for Knowledge Discovery
Database and Information-Retrieval Methods for Knowledge Discovery
Weikum, G., | Association for Computing Machinery | 2009 ,
946
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 ,
947
Algorithmic Systems Biology
Algorithmic Systems Biology
Priami, C., | Association for Computing Machinery | 2009 ,
948
Computing Needs Time
Computing Needs Time
Lee, E.A., | Association for Computing Machinery | 2009 ,
949
Spending Moore's Dividend
Spending Moore's Dividend
Larus, J., | Association for Computing Machinery | 2009 ,
950
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 ,
처음이전90919293949596979899이후마지막