2963 search results - page 380 / 593 » An architecture for generic extensions |
185
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Variable ordering for BDDs has been extensively investigated. Recently, sampling based ordering techniques have been proposed to overcome problems with structure based static orde...
168
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
165
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Clustering is an effective method to increase the available parallelism in VLIW datapaths without incurring severe penalties associated with large number of register file ports. E...
134
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
We present a method for designing operational amplifiers using reversed geometric programming, which is an extension of geometric programming that allows both convex and non-conve...
127
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
In this poster, we describe WOOD (Web-based Objectoriented Desktop) which is a web-based personalization information system. It provides various types of application components to...