428 search results - page 72 / 86 » Validating High-Level Synthesis |
101
click to vote
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...
119
click to vote
IJES
2006
14 years 12 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
119
click to vote
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
Detecting moving objects using stationary cameras is an important precursor to many activity recognition, object recognition and tracking algorithms. In this paper, three innovati...
184
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Basic message processing tasks, such as wellformedness checking and grammar validation, can be off-loaded from the service providers' own infrastructures. To enable effective...
139
click to vote
RTAS
2009
IEEE
15 years 6 months ago
2009
IEEE
In recent years, there has been an increase in video surveillance systems in public and private environments due to a heightened sense of security. The next generation of surveill...