1638 search results - page 276 / 328 » A General Semantics for Evaluation Logic |
122
click to vote
ISCA
2012
IEEE
13 years 1 months ago
2012
IEEE
Wide SIMD-based GPUs have evolved into a promising platform for running general purpose workloads. Current programmable GPUs allow even code with irregular control to execute well...
100
click to vote
DAC
2012
ACM
13 years 1 months ago
2012
ACM
In this work we address the problem of managing interconnect timing in high-level synthesis by generating a layoutfriendly microarchitecture. A metric called spreading score is pr...
129
click to vote
CIVR
2010
Springer
15 years 4 months ago
2010
Springer
This paper describes an approach to optimize query by visual example results, by combining visual features and implicit user feedback in interactive video retrieval. To this end, ...
IPM
2007
14 years 11 months ago
2007
Information retrieval systems consist of many complicated components. Research and development of such systems is often hampered by the difficulty in evaluating how each particula...
202
click to vote
POPL
2009
ACM
16 years 4 days ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...