3328 search results - page 586 / 666 » On Plateaued Functions and Their Constructions |
POPL
2010
ACM
14 years 7 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
EUROSYS
2008
ACM
14 years 7 months ago
2008
ACM
Protecting shared sensitive information is a key requirement for today’s distributed applications. Our research uses virtualization technologies to create and maintain trusted d...
ICCAD
2006
IEEE
14 years 7 months ago
2006
IEEE
We present a novel incremental placement methodology called FlowPlace for significantly reducing critical path delays of placed standard-cell circuits. FlowPlace includes: a) a t...
ICCAD
2006
IEEE
14 years 7 months ago
2006
IEEE
Electrostatic analysis of complicated molecular surfaces arises in a number of nanotechnology applications including: biomolecule design, carbon nanotube simulation, and molecular...
ICCAD
2006
IEEE
14 years 7 months ago
2006
IEEE
Because of the increasing dominance of interconnect issues in advanced IC technology, placement has become a critical step in the IC design flow. To get accurate interconnect inf...