5451 search results - page 819 / 1091 » Typed Operational Semantics |
168
Voted
ISCA
2011
IEEE
14 years 9 months ago
2011
IEEE
Performance-asymmetric multi-cores consist of heterogeneous cores, which support the same ISA, but have different computing capabilities. To maximize the throughput of asymmetric...
272
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source b...
154
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
Many users are familiar with the interesting but limited functionality of Data Detector interfaces like Microsoft's Smart Tags and Google's AutoLink. In this paper we si...
189
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Schema matching identifies elements of two given schemas that correspond to each other. Although there are many algorithms for schema matching, little has been written about build...
166
click to vote
PODS
2006
ACM
16 years 6 months ago
2006
ACM
An intelligent agent will often be uncertain about various properties of its environment, and when acting in that environment it will frequently need to quantify its uncertainty. ...