2255 search results - page 149 / 451 » High Assurance Software Systems |
155
click to vote
HICSS
2007
IEEE
16 years 21 days ago
2007
IEEE
In spite of the overwhelming success of Free/Open Source Software (F/OSS) like Apache and GNU/Linux, there is a limited understanding of the processes and methodologies that speci...
161
click to vote
CGO
2005
IEEE
16 years 10 hour ago
2005
IEEE
In this work, we develop a secret sharing based compiler solution to achieve confidentiality, integrity and availability (intrusion tolerance) of critical data together, rather th...
195
click to vote
COMPSAC
2005
IEEE
16 years 9 hour ago
2005
IEEE
Distributed processing environments such as that of a traffic management network system (TMS) can be implemented easier, faster, and secure and perform better through use of auton...
182
click to vote
SC
2009
ACM
2009
ACM
Comparative study of one-sided factorizations with multiple software packages on multi-core hardware
15 years 11 months ago
The emergence and continuing use of multi-core architectures require changes in the existing software and sometimes even a redesign of the established algorithms in order to take ...
170
click to vote
CACM
2011
15 years 1 months ago
2011
This paper presents Sora, a fully programmable software radio platform on commodity PC architectures. Sora combines the performance and fidelity of hardware SDR platforms with th...