1264 search results - page 126 / 253 » Designing Safe, Reliable Systems using Scade |
167
click to vote
HOTOS
2003
IEEE
15 years 9 months ago
2003
IEEE
Two big problems with operating systems written in unsafe languages are that they crash too often and that adding features becomes much more difficult over time. One cause of bot...
151
click to vote
MEMICS
2010
14 years 11 months ago
2010
Abstract. Increasing integration densities and the emergence of nanotechnology cause issues related to reliability and power consumption to become dominant factors for the design o...
165
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
123
click to vote
ISCA
2010
IEEE
15 years 8 months ago
2010
IEEE
As leakage and other charge storage limitations begin to impair the scalability of DRAM, non-volatile resistive memories are being developed as a potential replacement. Unfortunat...
159
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...