102 search results - page 5 / 21 » Terminator: Beyond Safety |
Publication
Artificial neural networks, electronic circuits, and gene networks are some examples of systems that can be modeled as networks, that is, as collections of interconnected nodes. I...
HOTOS
2007
IEEE
13 years 11 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
ICSE
2007
IEEE-ACM
14 years 2 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
ISCA
1999
IEEE
14 years 5 days ago
1999
IEEE
By optimizing data layout at run-time, we can potentially enhance the performance of caches by actively creating spatial locality, facilitating prefetching, and avoiding cache con...
ISCC
2003
IEEE
14 years 1 months ago
2003
IEEE
The advent of the cooperating IP-enabled heterogeneous radio networks will offer, under the “Beyond 3G” vision, ubiquitous services. In this new challenging context, a novel a...