2255 search results - page 385 / 451 » High Assurance Software Systems |
116
click to vote
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
111
click to vote
ICCAD
2010
IEEE
14 years 10 months ago
2010
IEEE
Extreme technology scaling in silicon devices drastically affects reliability, particularly because of runtime failures induced by transistor wearout. Currently available online t...
131
Voted
ICPPW
2009
IEEE
14 years 10 months ago
2009
IEEE
Identifying peptides, which are short polymeric chains of amino acid residues in a protein sequence, is of fundamental importance in systems biology research. The most popular appr...
120
Voted
ERCIMDL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Optical music recognition (OMR) enables librarians to digitise early music sources on a large scale. The cost of expert human labour to correct automatic recognition erro...
95
Voted
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
Abstract Oliver Diessel1 and Hossam ElGindy2 1Department of Computer Science and Software Engineering 2Department of Electrical and Computer Engineering The University of Newcastle...