5722 search results - page 397 / 1145 » Dynamic inference control |
191
Voted
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
152
Voted
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
— A salient feature of upcoming communication networks is unprecedented dynamicity, which can only be handled in a large scale by introducing self-configuration and self-maintena...
249
click to vote
DATE
2005
IEEE
16 years 22 days ago
2005
IEEE
When applying Dynamic Power Management (DPM) technique to pervasively deployed embedded systems, the technique needs to be very efficient so that it is feasible to implement the t...
185
click to vote
FPT
2005
IEEE
16 years 22 days ago
2005
IEEE
A methodology for supporting dynamic voltage scaling (DVS) on commercial FPGAs is described. A logic delay measurement circuit (LDMC) is used to determine the speed of an inverter...
147
Voted
ISCAS
2005
IEEE
16 years 21 days ago
2005
IEEE
—Noise-tolerant XOR-based conditional keeper for high fan-in dynamic circuits is presented in this paper. Noise immunity is enhanced by conditionally turning on the conditional k...