1573 search results - page 257 / 315 » Picture Programming Project |
129
Voted
DEXA
2004
Springer
15 years 7 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...
128
click to vote
PPDP
2004
Springer
15 years 7 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...
129
Voted
VIZSEC
2004
Springer
15 years 7 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...
109
click to vote
CGO
2003
IEEE
15 years 7 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...
112
click to vote
DFT
2003
IEEE
15 years 7 months ago
2003
IEEE
1 This paper presents a solution to the test time minimization problem for core-based systems that contain sequential cores with STUMPS architecture. We assume a hybrid BIST approa...