2343 search results - page 415 / 469 » Structure and Interpretation of Computer Programs |
143
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: The number of protein targets with a known or predicted tri-dimensional structure and of drug-like chemical compounds is growing rapidly and so is the need for new the...
152
click to vote
RV
2010
Springer
15 years 3 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
215
Voted
IWCMC
2010
ACM
15 years 2 months ago
2010
ACM
Load imbalance that deteriorates the system performance is a severe problem existing in 3GPP LTE networks. To deal with this problem, we propose in this paper a load balancing fra...
145
click to vote
PPOPP
2012
ACM
14 years 5 days ago
2012
ACM
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...
138
click to vote
IEEEHPCS
2010
15 years 3 months ago
2010
Abstract—GPUs have recently been used to accelerate dataparallel applications for they provide easier programmability and increased generality while maintaining the tremendous me...