2255 search results - page 39 / 451 » High Assurance Software Systems |
CHES
2006
Springer
14 years 12 days ago
2006
Springer
Abstract. Many Field-Programmable Gate Array (FPGA) based systems utilize third-party intellectual property (IP) in their development. When they are deployed in non-networked envir...
TRUST
2009
Springer
14 years 3 months ago
2009
Springer
During many crises, access to sensitive emergency-support information is required to save lives and property. For example, for effective evacuations first responders need the name...
WOSS
2004
ACM
14 years 2 months ago
2004
ACM
Currently, paradigms such as component-based software development and service-oriented software architectures promote modularization of software systems into highly decoupled and ...
HIPEAC
2007
Springer
14 years 2 months ago
2007
Springer
Voltage scaling reduces leakage power for cache lines unlikely to be referenced soon. Partitioning reduces dynamic power via smaller, specialized structures. We combine approaches,...
IWSSD
2000
IEEE
14 years 1 months ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...