1403 search results - page 121 / 281 » Quantitative Interprocedural Analysis |
CHI
2005
ACM
14 years 10 months ago
2005
ACM
Inking and gesturing are two central tasks in pen-based user interfaces. Switching between modes for entry of uninterpreted ink and entry of gestures is required by many pen-based...
ICCD
2006
IEEE
14 years 7 months ago
2006
IEEE
Abstract— Gate leakage (direct tunneling current for sub65nm CMOS) can severely affect both the transient and steady state behaviors of CMOS circuits. In this paper we quantify t...
IPPS
2009
IEEE
14 years 5 months ago
2009
IEEE
Pipelined wavefront computations are a ubiquitous class of parallel algorithm used for the solution of a num ber of scientific and engineering applications. This paper investig...
QEST
2008
IEEE
14 years 4 months ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
ICSM
2007
IEEE
14 years 4 months ago
2007
IEEE
Test suite reduction seeks to reduce the number of test cases in a test suite while retaining a high percentage of the original suite’s fault detection effectiveness. Most appro...