311 search results - page 39 / 63 » Open Issues in MPI Implementation |
110
Voted
FLAIRS
2004
15 years 4 months ago
2004
It is a vital and challenging issue in AI community to get the "Right Information" to the "Right People" in the "Right Language" in the "Right T...
158
Voted
SDL
2001
15 years 4 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
SEC
2004
15 years 4 months ago
2004
The systrace system-call interposition mechanism has become a popular method for containing untrusted code through program-specific policies enforced by user-level daemons. We desc...
129
Voted
CI
2010
15 years 3 months ago
2010
Some domains, such as real-time strategy (RTS) games, pose several challenges to traditional planning and machine learning techniques. In this paper, we present a novel on-line ca...
132
click to vote
IEEEHPCS
2010
15 years 1 months ago
2010
In the last decades, Digital Rights Management (DRM) technology has been laid emphasis on digital contents protection and related security policies, mechanisms and implementation....