2620 search results - page 130 / 524 » Efficient Hardware Voxelization |
121
Voted
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
124
click to vote
ICCAD
2010
IEEE
15 years 2 months ago
2010
IEEE
Clock skew minimization has been an important design constraint. However, due to the complexity of Process, Voltage, and Temperature (PVT) variations, the minimization of clock sk...
150
Voted
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper introduces a new SAT solver that integrates logicbased reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an eff...
138
Voted
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
Domino logic is a high-performance circuit configuration that is usually embedded in static logic environment and tightly coupled with the clocking scheme. In this paper, the timi...
115
click to vote
ASPDAC
1995
ACM
15 years 8 months ago
1995
ACM
- Due to efficient interconnect structure and internal parallelism bus-partitioned architectures are very beneficial for sub-micron chip design. This paper presents a new approach ...