1362 search results - page 215 / 273 » The Projection of Systolic Programs |
120
click to vote
CASSIS
2004
Springer
15 years 9 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
147
click to vote
DEXA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents an application that aims at identifying optimal locations based on partially ordered constraints. It combines a tool developed in this project that al...
147
click to vote
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
143
click to vote
VIZSEC
2004
Springer
15 years 9 months ago
2004
Springer
This paper concentrates on visualizing computer viruses without using virus specific signature information as a prior stage of the very important problem of detecting computer vi...
128
click to vote
CGO
2003
IEEE
15 years 9 months ago
2003
IEEE
Software dynamic translation (SDT) is a technology that permits the modification of an executing program’s instructions. In recent years, SDT has received increased attention, f...