699 search results - page 49 / 140 » Computation of Interprocedural Control Dependence |
CF
2005
ACM
14 years 11 days ago
2005
ACM
As technology scales down at an exponential rate, leakage power is fast becoming the dominant component of the total power budget. A large share of the total leakage power is diss...
PG
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper, we propose a set of free-form shape deformation techniques. The basic approach can be described as follows. Given a surface represented by a mesh and a control poin...
BIRTHDAY
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
CSMR
2006
IEEE
14 years 4 months ago
2006
IEEE
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
DATE
1999
IEEE
14 years 2 months ago
1999
IEEE
Dynamic Power Management is a design methodology aiming at reducing power consumption of electronic systems, by performing selective shutdown of the idle system resources. The eff...