5788 search results - page 171 / 1158 » High Performance Computing for the Masses |
101
click to vote
ICCSA
2004
Springer
15 years 9 months ago
2004
Springer
We report results for the in-silico screening of a database of 10000 flexible compounds against various crystal structures of the thymidine kinase receptor complexed with 10 know...
127
click to vote
ICPP
1997
IEEE
15 years 8 months ago
1997
IEEE
In this paper, we present a strongly fault-tolerant design for the k-ary n-cube multiprocessor and examine its reconfigurability. Our design augments the k-ary n-cube with k j ...
145
click to vote
DAC
1989
ACM
15 years 8 months ago
1989
ACM
- New algorithms for high-level synthesis are presented. The first performs scheduling under hardware resource constraints and improves on commonly used list scheduling techniques ...
146
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
132
click to vote
IADIS
2004
15 years 5 months ago
2004
The computer revolution and Internet expansion in parallel with multimedia advancement have radically changed the way that knowledge is disseminated. All over the world researches...