564 search results - page 80 / 113 » Runtime Verification of C Programs |
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Multiprocessor System on Chip (MPSoC) architecture is rapidly gaining momentum for modern embedded devices. The vulnerabilities in software on MPSoCs are often exploited to caus...
LCTRTS
2009
Springer
14 years 3 months ago
2009
Springer
Register file (RF) is extremely vulnerable to soft errors, and traditional redundancy based schemes to protect the RF are prohibitive not only because RF is often in the timing c...
MIDDLEWARE
2007
Springer
14 years 2 months ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...
ISLPED
2004
ACM
14 years 2 months ago
2004
ACM
Mobile, battery-powered devices such as personal digital assistants and web-enabled mobile phones have successfully emerged as new access points to the world’s digital infrastru...
ICSE
1997
IEEE-ACM
14 years 28 days ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...