1178 search results - page 28 / 236 » Static and Dynamic Evaluation of Data Dependence Analysis |
130
click to vote
CSMR
2006
IEEE
15 years 7 months ago
2006
IEEE
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
134
click to vote
EDBT
2000
ACM
15 years 5 months ago
2000
ACM
In high-dimensional query processing, the optimization of the logical page-size of index structures is an important research issue. Even very simple query processing techniques suc...
110
click to vote
ICDAR
2003
IEEE
15 years 6 months ago
2003
IEEE
It is generally agreed that an on-line recognition system is always reliable than an off-line one. It is due to the availability of the dynamic information, especially the writing...
110
click to vote
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
107
click to vote
ICDCS
2003
IEEE
15 years 6 months ago
2003
IEEE
Mobile code carried by a mobile agent can automatically travel to several data sources in order to complete a designated program. Traditionally, most mobile agent systems [7][8][1...