8828 search results - page 1576 / 1766 » Formal methods in practice |
127
click to vote
SIAMREV
2011
14 years 7 months ago
2011
This paper deals with efficient numerical representation and manipulation of differential and integral operators as symbols in phase-space, i.e., functions of space x and frequen...
151
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
Compressive sampling (CS) aims at acquiring a signal at a sampling rate that is significantly below the Nyquist rate. Its main idea is that a signal can be decoded from incomplet...
227
click to vote
AES
2011
Springer
14 years 4 months ago
2011
Springer
We propose a model for describing and predicting the parallel performance of a broad class of parallel numerical software on distributed memory architectures. The purpose of this ...
152
click to vote
CIKM
2011
Springer
14 years 4 months ago
2011
Springer
Streaming user-generated content in the form of blogs, microblogs, forums, and multimedia sharing sites, provides a rich source of data from which invaluable information and insig...
157
click to vote
ECOOP
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....