Datapath synthesis for standard-cell design goes through extraction of arithmetic operations from RTL code, high-level arithmetic optimizations and netlist generation. Numerous ar...
Hot-carrier eects and electromigration are the two important failure mechanisms that signicantly impact the long-term reliability of high-density VLSI ICs. In this paper, we prese...
In this paper we introduce the concept of an optimal pairing, which by definition can be computed using only log2 r/(k) basic Miller iterations, with r the order of the groups invo...
In 1984, Peter Patel-Schneider published a paper [1] entitled Small can be Beautiful in Knowledge Representation in which he advocated for limiting the expressive power of knowledg...
— This paper demonstrates the automatic creation of a web service that chains together existing web services to achieve a particular goal. The generated service implements the ne...
Danny Gagne, Marwan Sabbouh, Scott R. Bennett, Sus...