7080 search results - page 1334 / 1416 » Designing High Integrity Systems Using Aspects |
ICAPR
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
LCPC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. As processor complexity increases compilers tend to deliver suboptimal performance. Library generators such as ATLAS, FFTW and SPIRAL overcome this issue by empirically s...
77
Voted
CCS
2004
ACM
15 years 4 months ago
2004
ACM
WinZip is a popular compression utility for Microsoft Windows computers, the latest version of which is advertised as having “easy-to-use AES encryption to protect your sensitiv...
VMCAI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
DSD
2003
IEEE
15 years 4 months ago
2003
IEEE
Network on Chip (NoC) is a new paradigm for designing core based System on Chip which supports high degree of reusability and is scalable. In this paper we describe an efficient t...