1953 search results - page 244 / 391 » codes 2010 |
158
click to vote
ICTAC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
122
Voted
IJHPCA
2010
15 years 3 months ago
2010
We report on the development of a new computational framework for efficiently carrying out parallel data redistribution in a limited memory environment. This new library, MADRE (T...
190
click to vote
ISPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...
129
Voted
IWPC
2010
IEEE
15 years 3 months ago
2010
IEEE
Many software developers use a syntactical ‘diff’ in order to perform a quick review before committing changes to the repository. Others are notified of the change by email (...
138
click to vote
JOT
2010
15 years 3 months ago
2010
entional vulnerability detection fails to extend its generic form to an abstract level in coping with particular type of string validation. Consequently the security bypasses key ...