16159 search results - page 2526 / 3232 » Parallel computing with CUDA |
156
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Games via Three-Valued Abstraction Refinement Luca de Alfaro, Pritam Roy PII: S0890-5401(10)00018-0 DOI: 10.1016/j.ic.2009.05.007 Reference: YINCO 3711 To appear in: Information an...
176
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs (from now on, computational kernel...
214
click to vote
ISVC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Intrusion detection systems gather large quantities of host and network information in an attempt to detect and respond to attacks against an organization. The widely var...
229
click to vote
JSSPP
2007
Springer
16 years 1 months ago
2007
Springer
The TeraGrid is a closely linked community of diverse resources: computational, data, and experimental, e.g., the imminent very large computational system at the University of Tex...
175
click to vote
LCPC
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes the implementation of a runtime library for asynchronous communication in the Cell BE processor. The runtime library implementation provides with several servi...