2255 search results - page 102 / 451 » High Assurance Software Systems |
WORDS
2005
IEEE
14 years 3 months ago
2005
IEEE
The increasing complexity of embedded systems calls for software design and implementation techniques that support specialization without abandonment of reusability. This brings u...
ESEM
2007
ACM
13 years 11 months ago
2007
ACM
Can we predict locations of future refactoring based on the development history? In an empirical study of open source projects we found that attributes of software evolution data ...
LCPC
2005
Springer
14 years 3 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
FCCM
2006
IEEE
14 years 4 months ago
2006
IEEE
Field-Programmable Gate Arrays (FPGAs) are being employed in high performance computing systems owing to their potential to accelerate a wide variety of long-running routines. Par...
VCIP
2003
13 years 11 months ago
2003
This paper presents a visual color image quality metric assessment with full reference image. The metric is highly based on human visual system properties in order to get the best...