2607 search results - page 308 / 522 » Complete Functional Synthesis |
116
click to vote
CIBSE
2009
ACM
15 years 11 months ago
2009
ACM
In the Software Engineering (SE) domain, the Model Driven Engineering (MDE)1 paradigm focuses on using models as main software artifacts to provide a full description of software s...
112
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper is concerned with control applications over lossy data networks. Sensor data is transmitted to an estimation-control unit over a network, and control command...
154
click to vote
ICONS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
122
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Object tracking based on Mean Shift (MS) algorithm has been very successful and thus receives significant research interests. Unfortunately, traditional MS based tracking only ut...
124
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We study the problem of contour tracking with binary sensors, an important problem for monitoring spatial signals and tracking group targets. In particular, we track the...