1527 search results - page 45 / 306 » From Requirements to Design: Formalizing the Key Steps |
170
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
162
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
159
click to vote
RTAS
2010
IEEE
15 years 3 months ago
2010
IEEE
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...
154
click to vote
HASE
2007
IEEE
15 years 7 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
139
click to vote
CVPR
2000
IEEE
15 years 10 months ago
2000
IEEE
Croma keying is the process of segmenting objects from images and video using color cues. A blue (or green) screen placed behind an object during recording is used in special effe...