623 search results - page 59 / 125 » Relational Parametricity for Control Considered as a Computa... |
120
click to vote
CODES
2010
IEEE
14 years 10 months ago
2010
IEEE
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Physical agents (such as wheeled vehicles, UAVs, hovercraft, etc.) with simple control systems are often sensitive to changes in their physical design and control parameters. As s...
ISCAS
2005
IEEE
15 years 5 months ago
2005
IEEE
—In this paper, we describe an automated and formalized methodology for partitioning computational intensive applications between reconfigurable hardware blocks of different gran...
104
click to vote
MOBIHOC
2006
ACM
15 years 11 months ago
2006
ACM
Location knowledge of nodes in a network is essential for many tasks such as routing, cooperative sensing, or service delivery in ad hoc, mobile, or sensor networks. This paper in...
141
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
This paper proposes a methodology to estimate the correlation model between a pair of images that are given under the form of linear measurements. We consider an image pair whose ...