188 search results - page 5 / 38 » Practical Two-Party Computation Based on the Conditional Gat... |
90
Voted
ICCAD
2000
IEEE
15 years 1 months ago
2000
IEEE
A high accuracy system for transistor-level static timing analysis is presented. Accurate static timing verification requires that individual gate and interconnect delays be accu...
90
Voted
ICDCSW
2005
IEEE
15 years 3 months ago
2005
IEEE
Recently, context-aware computing with information appliances is the topic of many research efforts. In order to realize context-aware systems, it is necessary to describe rules, ...
DAC
2008
ACM
15 years 10 months ago
2008
ACM
Current source based cell models are becoming a necessity for accurate timing and noise analysis at 65nm and below. Voltage waveform shapes are increasingly more difficult to repr...
PPDP
2001
Springer
15 years 1 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Don't-care conditions provide additional flexibility in logic synthesis and optimization. However, most work only focuses on the gate level because it is difficult to handle ...