1368 search results - page 10 / 274 » The Implicit Pipeline Method |
96
Voted
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
—This paper presents a method to optimize the power consumption of a pipelined ADC with kT/C noise constraint. The total power dependence on capacitor scaling and stage resolutio...
120
Voted
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Many embedded systems are subject to temporal constraints that require advance guarantees on meeting deadlines. Such systems rely on static analysis to safely bound worst-case exe...
149
Voted
VVS
1995
IEEE
15 years 7 months ago
1995
IEEE
We introduce a framework for texturing volumetric objects with displacement maps and texture maps, which are introduced as volume modeling tools. In this framework, an implicit-to...
118
Voted
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—This paper presents a method to investigate powerperformance tradeoffs in digital pipelined designs. The method is applied at the architectural level of the design. It w...
103
Voted
ENTCS
2007
15 years 3 months ago
2007
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...