28888 search results - page 5584 / 5778 » Computability and complexity in analysis |
157
click to vote
SSDBM
2010
IEEE
15 years 8 months ago
2010
IEEE
The Resource Description Framework (RDF) format is being used by a large number of scientific applications to store and disseminate their datasets. The provenance information, desc...
131
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative s...
150
Voted
TAMC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this paper, we give streaming algorithms for some problems which are known to be in deterministic log-space, when the number of passes made on the input is unbounded. ...
129
Voted
TRUST
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Increasing adoption of smartphones in recent times has begun to attract more and more malware writers towards these devices. Among the most prominent and widely adopted o...
157
Voted
WOLLIC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...