2903 search results - page 414 / 581 » On the univalence of an integral operator |
166
Voted
ICCAD
2008
IEEE
16 years 4 months ago
2008
IEEE
Functional decomposition is a fundamental operation in logic synthesis. Prior BDD-based approaches to functional decomposition suffer from the memory explosion problem and do not...
149
Voted
ICCAD
2002
IEEE
16 years 4 months ago
2002
IEEE
Abstract—A robust, efficient, and accurate inductance extraction and simulation tool, INDUCTWISE, is developed and described in this paper. This work advances the state-of-the-ar...
222
click to vote
TLDI
2010
ACM
16 years 4 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
201
Voted
TLDI
2009
ACM
16 years 4 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
158
click to vote
EDBT
2010
ACM
16 years 2 months ago
2010
ACM
Relational databases are periodically vacuumed to remove tuples that have expired. During the discovery phase of litigation, plaintiffs ask defendants for access to information re...