1991 search results - page 218 / 399 » Using a Coding Standard to Improve Program Quality |
169
click to vote
EUROMICRO
2005
IEEE
15 years 12 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
173
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Cray X1 Fortran and C/C++ compilers provide a number of loop transformations, notably vectorization and multistreaming, in order to exploit the multistreaming processor (MSP) hard...
153
click to vote
SOSP
1997
ACM
15 years 7 months ago
1997
ACM
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...
187
click to vote
GECCO
2009
Springer
16 years 24 days ago
2009
Springer
The concept of artificial evolution has been applied to numerous real world applications in different domains. In this paper, we use this concept in the domain of virology to ev...
148
Voted
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present some techniques for handling planning problems with numerical expressions that can be specified using the standard planning language PDDL. These techniques ar...