1933 search results - page 328 / 387 » High-performance computing using accelerators |
AIMSA
2004
Springer
14 years 1 months ago
2004
Springer
Nowadays, many real problem in Artificial Intelligence can be modeled as constraint satisfaction problems (CSPs). A general rule in constraint satisfaction is to tackle the hardes...
COOPIS
2002
IEEE
14 years 20 days ago
2002
IEEE
Because the ultimate purpose of the Semantic Web is to help users locate, organize, and process information, we strongly believe that it should be grounded in the information acces...
ASAP
2007
IEEE
13 years 11 months ago
2007
IEEE
Software-based, fine-grain control flow integrity (CFI) validation technique has been proposed to enforce control flow integrity of program execution. By validating every indirect...
ASPDAC
2006
ACM
13 years 11 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
VVS
1995
IEEE
13 years 11 months ago
1995
IEEE
We introduce a framework for texturing volumetric objects with displacement maps and texture maps, which are introduced as volume modeling tools. In this framework, an implicit-to...