1042 search results - page 186 / 209 » Representing real numbers in a generalized numeration system |
150
click to vote
SIGMOD
2012
ACM
13 years 3 months ago
2012
ACM
Cloud enabled systems have become a crucial component to efficiently process and analyze massive amounts of data. One of the key data processing and analysis operations is the Sim...
182
click to vote
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
Uncertain data arises in a number of domains, including data integration and sensor networks. Top-k queries that rank results according to some user-defined score are an important...
107
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
125
click to vote
MICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
Recent micro-architectural research has proposed various schemes to enhance processors with additional tags to track various properties of a program. Such a technique, which is us...
147
Voted
CASES
2006
ACM
15 years 7 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...