90 search results - page 1 / 18 » Raising the Level of Abstraction of GPU-programming |
VMV
2004
13 years 6 months ago
2004
In the last few years, GPUs have become new, promising targets for general purpose programming. Their inherent parallel architecture makes them particularly suited for scientific ...
SIGMOD
2007
ACM
14 years 5 months ago
2007
ACM
PDPTA
2010
13 years 3 months ago
2010
TPHOL
2003
IEEE
13 years 10 months ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
SAMOS
2004
Springer
13 years 10 months ago
2004
Springer
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...