1638 search results - page 243 / 328 » A General Semantics for Evaluation Logic |
125
click to vote
TMM
2010
14 years 6 months ago
2010
This paper describes a novel method for browsing a large video collection. It links various forms of related video fragments together as threads. These threads are based on query r...
121
click to vote
SIGSOFT
2007
ACM
16 years 13 days ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
103
click to vote
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
Heterogeneous computing combines general purpose CPUs with accelerators to efficiently execute both sequential control-intensive and data-parallel phases of applications. Existin...
117
click to vote
CASES
2005
ACM
15 years 1 months ago
2005
ACM
Instruction set customization accelerates the performance of applications by compressing the length of critical dependence paths and reducing the demands on processor resources. W...
WWW
2005
ACM
16 years 11 days ago
2005
ACM
Continuing changes in the domains of consumer devices and multimedia formats demand for a new approach to media adaptation. The publication of customized content on a device requi...