2255 search results - page 39 / 451 » High Assurance Software Systems |
133
click to vote
CHES
2006
Springer
15 years 6 months 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...
139
click to vote
TRUST
2009
Springer
15 years 9 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...
128
click to vote
WOSS
2004
ACM
15 years 8 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 ...
105
click to vote
HIPEAC
2007
Springer
15 years 9 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,...
102
click to vote
IWSSD
2000
IEEE
15 years 7 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...