1678 search results - page 98 / 336 » An ASM Specification of C |
SP
2002
IEEE
13 years 9 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
HCI
2009
13 years 7 months ago
2009
This paper aims at contributing to the evaluation of web accessibility and thus promoting design for all, considering the design process as an iterative process containing evaluati...
HPDC
2009
IEEE
14 years 4 months ago
2009
IEEE
This paper presents the concept of pluggable parallelisation that allows scientists to develop “sequential like” codes that can take advantage of multi-core, cluster and grid ...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
Conventional high-level synthesis uses the worst case delay to relate all inputs to all outputs of an operation. This is a very conservative approximation of reality, especially i...
WOSP
2004
ACM
14 years 3 months ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...