5326 search results - page 778 / 1066 » On what we can ensure |
188
click to vote
ISQED
2007
IEEE
16 years 28 days ago
2007
IEEE
We present a novel technique to exploit the power-performance tradeoff. The technique can be used stand-alone or in conjunction with dynamic voltage scaling, the mainstream techn...
188
click to vote
PLDI
2006
ACM
16 years 18 days ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
165
click to vote
SMI
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper considers computation of visibility for twodimensional shapes whose boundaries are C1 continuous curves. We assume we are given a one-parameter family of candidate view...
271
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Large scale distributed real time and embedded (DRE) applications are complex entities that are often composed of different subsystems and have stringent Quality of Service (QoS) r...
181
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
We consider the problem of learning incoherent sparse and lowrank patterns from multiple tasks. Our approach is based on a linear multi-task learning formulation, in which the spa...