3863 search results - page 622 / 773 » Function in Device Representation |
161
Voted
ICCAD
2002
IEEE
16 years 2 months ago
2002
IEEE
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
153
click to vote
FPGA
2007
ACM
16 years 6 days ago
2007
ACM
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...
155
click to vote
FOCS
2006
IEEE
16 years 3 days ago
2006
IEEE
We study compression that preserves the solution to an instance of a problem rather than preserving the instance itself. Our focus is on the compressibility of NP decision problem...
176
click to vote
VISUALIZATION
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a robust method for 3D reconstruction of closed surfaces from sparsely sampled parallel contours. A solution to this problem is especially important for medical segment...
193
click to vote
CPM
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we investigate the protein sequence design (PSD) problem (also known as the inverse protein folding problem) under the Canonical model 4 on 2D and 3D lattices [12, 25...