8141 search results - page 125 / 1629 » Higher Order Generalization |
156
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
126
Voted
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
A key step in distributed video coding is the generation of the side information (SI) i.e. the estimation of the Wyner-Ziv frame (WZF). This step is also frequently called image i...
162
Voted
CGF
2011
14 years 7 months ago
2011
High-dimensional data visualization is receiving increasing interest because of the growing abundance of highdimensional datasets. To understand such datasets, visualization of th...
134
click to vote
PKC
2010
Springer
15 years 7 months ago
2010
Springer
We propose new and improved instantiations of lossy trapdoor functions (Peikert and Waters, STOC ’08), and correlation-secure trapdoor functions (Rosen and Segev, TCC ’09). Ou...
105
Voted
ISQED
2006
IEEE
15 years 9 months ago
2006
IEEE
— In this paper, we propose an efficient model order reduction (MOR) algorithm, called MTermMOR, for modeling interconnect circuits with large number of external ports. The prop...