2523 search results - page 250 / 505 » Correct Development of Embedded Systems |
144
click to vote
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
118
Voted
CVPR
2006
IEEE
15 years 9 months ago
2006
IEEE
In multi-target tracking, the maintaining of the correct identity of targets is challenging. In the presented tracking method, accurate target identification is achieved by incor...
125
click to vote
WSC
2004
15 years 4 months ago
2004
Mortgage-Backed-Securities (MBS), as the largest investment class of fixed income securities, have always been hard to price. Because of the following reasons, normal numerical me...
108
click to vote
PAMI
2008
15 years 3 months ago
2008
We develop a novel method for class-based feature matching across large changes in viewing conditions. The method (called MBE) is based on the property that when objects share a si...
112
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Applications for constrained embedded systems are subject to strict time constraints and restrictive resource utilization. With soft core processors, application developers can cu...