1715 search results - page 307 / 343 » Domain-Specific Program Checking |
COLCOM
2009
IEEE
14 years 10 days ago
2009
IEEE
Abstract—Data movement within high performance environments can be a large bottleneck to the overall performance of programs. With the addition of continuous storage and usage of...
IWVF
2001
Springer
14 years 2 days ago
2001
Springer
We consider the problem of recognizing an object from its silhouette. We focus on the case in which the camera translates, and rotates about a known axis parallel to the image, suc...
VLDB
2001
ACM
14 years 2 days ago
2001
ACM
Cleaning data of errors in structure and content is important for data warehousing and integration. Current solutions for data cleaning involve many iterations of data “auditing...
ASAP
2000
IEEE
14 years 2 days ago
2000
IEEE
MicroSIMD architectures incorporating subword parallelism are very efficient for application-specific media processors as well as for fast multimedia information processing in gen...
SIGSOFT
2000
ACM
14 years 2 hour ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...