319 search results - page 16 / 64 » Precise Dynamic Slicing Algorithms |
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
—Temperature has a strong influence on integrated circuit (IC) performance, power consumption, and reliability. However, accurate thermal analysis can impose high computation co...
ICPPW
2002
IEEE
15 years 2 months ago
2002
IEEE
In large networks, maintaining precise global network state information is almost impossible. Many factors, such as non-negligible propagation delay, infrequent state updates due ...
ICML
2008
IEEE
15 years 10 months ago
2008
IEEE
The infinite hidden Markov model is a nonparametric extension of the widely used hidden Markov model. Our paper introduces a new inference algorithm for the infinite Hidden Markov...
SCAM
2003
IEEE
15 years 3 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
135
click to vote
DLS
2009
14 years 7 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...