Sciweavers

3238 search results - page 537 / 648
» Not Enough Points Is Enough
Sort
View
DATE
2006
IEEE
158views Hardware» more  DATE 2006»
14 years 4 months ago
Modeling multiple input switching of CMOS gates in DSM technology using HDMR
Abstract— Continuing scaling of CMOS technology has allowed aggressive pursuant of increased clock rate in DSM chips. The ever shorter clock period has made switching times of di...
Jayashree Sridharan, Tom Chen
ECBS
2006
IEEE
158views Hardware» more  ECBS 2006»
14 years 4 months ago
Automated Translation of C/C++ Models into a Synchronous Formalism
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, L...
FOCS
2006
IEEE
14 years 4 months ago
On the Compressibility of NP Instances and Cryptographic Applications
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...
Danny Harnik, Moni Naor
ICPADS
2006
IEEE
14 years 4 months ago
Policy-Directed Data Movement in Grids
One of the guiding principles of the Grid is local (site) autonomy. Resource owners maintain control over their resources even when those resources are part of a larger Grid. In o...
Jun Feng, Lingling Cui, Glenn S. Wasson, Marty Hum...
IMSCCS
2006
IEEE
14 years 4 months ago
Frequency Distribution of TATA Box and Extension Sequences on Human Promoters
Background: TATA box is one of the most important transcription factor binding sites. But the exact sequences of TATA box are still not very clear. Results: In this study, we cond...
Wei Shi, Wanlei Zhou