268 search results - page 17 / 54 » Supporting multiple accelerators in high-level programming m... |
ENTCS
2008
14 years 10 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
CODES
2006
IEEE
15 years 21 days ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
176
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
CF
2009
ACM
15 years 5 months ago
2009
ACM
SIMT (Single-Instruction Multiple-Thread) is an emerging programming paradigm for high-performance computational accelerators, pioneered in current and next generation GPUs and hy...
HIPS
1998
IEEE
15 years 3 months ago
1998
IEEE
Industrial applications use specific problem-oriented implementations of large sparse and irregular data structures. Hence there is a need for tools that make it possible for deve...