672 search results - page 113 / 135 » Property-aware program sampling |
ICCAD
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, we propose a new technique, referred to as virtual probe (VP), to efficiently measure, characterize and monitor both inter-die and spatially-correlated intra-die va...
ACMSE
2010
ACM
13 years 2 months ago
2010
ACM
The ranking problem appears in many areas of study such as customer rating, social science, economics, and information retrieval. Ranking can be formulated as a classification pro...
CDC
2010
IEEE
2010
IEEE
Convergence of discrete-time approximations of constrained linear-quadratic optimal control problems
13 years 2 months ago
Abstract-- Continuous-time linear constrained optimal control problems are in practice often solved using discretization techniques, e.g. in model predictive control (MPC). This re...
MCFNS
2010
13 years 2 months ago
2010
Recent advances in LiDAR (Light Detection and Ranging) technology have allowed for the remote sensing of important forest characteristics to be more reliable and commercially avail...
CHI
2011
ACM
12 years 11 months ago
2011
ACM
MobileASL, a software program enabling sign-language video on mobile devices over conventional U.S. cellular networks, was evaluated in a three-week field study during the summer ...