3516 search results - page 565 / 704 » Programming Languages: Application and Interpretation |
171
click to vote
SIGSOFT
2006
ACM
16 years 10 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
161
click to vote
GPCE
2003
Springer
15 years 11 months ago
2003
Springer
Dynamic AOP (Aspect-Oriented Programming) is receiving growing interests in both the academia and the industry. Since it allows weaving aspects with a program at runtime, it is use...
189
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
Diffusion Tensor Imaging (DTI) is a magnetic resonance imaging method that can be used to measure local information about the structure of white matter within the human brain. Com...
265
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
Information and specifically Web pages may be organized, indexed, searched, and navigated using various metadata aspects, such as keywords, categories (themes), and also space. Wh...
218
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
GPGPUs have recently emerged as powerful vehicles for generalpurpose high-performance computing. Although a new Compute Unified Device Architecture (CUDA) programming model from N...