966 search results - page 188 / 194 » Communicating Answer Set Programs |
158
Voted
ICS
2009
Tsinghua U.
16 years 17 days ago
2009
Tsinghua U.
Several existing compiler transformations can help improve communication-computation overlap in MPI applications. However, traditional compilers treat calls to the MPI library as ...
194
click to vote
CODES
2009
IEEE
16 years 17 days ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...
164
Voted
CSFW
2009
IEEE
16 years 17 days ago
2009
IEEE
We consider using trust information to improve the anonymity provided by onion-routing networks. In particular, we introduce a model of trust in network nodes and use it to design...
150
click to vote
IPPS
2009
IEEE
16 years 13 days ago
2009
IEEE
A reduction is a computation in which a common operation, such as a sum, is to be performed across multiple pieces of data, each supplied by a separate task. We introduce phaser a...
168
Voted
CASES
2009
ACM
16 years 10 days ago
2009
ACM
Embedded processors have become increasingly complex, resulting in variable execution behavior and reduced timing predictability. On such processors, safe timing specifications e...