7393 search results - page 1011 / 1479 » Synthesis-for-testability using transformations |
140
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
140
Voted
DRM
2003
Springer
15 years 10 months ago
2003
Springer
Protection of digital data from unauthorized access is of paramount importance. In the past several years, much research has concentrated on protecting data from the standpoint of...
148
Voted
IMR
2003
Springer
15 years 10 months ago
2003
Springer
We present a new mesh warping algorithm for tetrahedral meshes based upon weighted laplacian smoothing. We start with a 3D domain which is bounded by a triangulated surface mesh a...
134
click to vote
ICS
2001
Tsinghua U.
15 years 9 months ago
2001
Tsinghua U.
At Rice University, we have undertaken a project to construct a framework for generating high-level problem solving languages that can achieve high performance on a variety of pla...
140
Voted
WMCSA
2000
IEEE
15 years 9 months ago
2000
IEEE
The Post-PC revolution is bringing information access to a wide-range of devices beyond the desktop, such as public kiosks, and mobile devices like cellular telephones, PDAs, and ...