3399 search results - page 470 / 680 » Requirements Development in Scenario-Based Design |
176
click to vote
EMSOFT
2007
Springer
16 years 18 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
167
click to vote
CASES
2006
ACM
16 years 12 days ago
2006
ACM
The architectural design of embedded systems is becoming increasingly idiosyncratic to meet varying constraints regarding energy consumption, code size, and execution time. Tradit...
212
click to vote
HRI
2006
ACM
16 years 12 days ago
2006
ACM
The design and development of social robots that interact and assist people in daily life requires moving into unconstrained daily-life environments. This presents unexplored meth...
212
click to vote
SIGGRAPH
1992
ACM
15 years 10 months ago
1992
ACM
To reduce the cost of correcting design errors, assemblies of mechanical parts are modeled using CAD systems and verified electronically before the designs are sent to manufacturi...
183
click to vote
FPGA
2006
ACM
15 years 10 months ago
2006
ACM
The development of Reed-Solomon (RS) codes has allowed for improved data transmission over a variety of communication media. Although Reed-Solomon decoding provides a powerful def...