2713 search results - page 468 / 543 » Parameterized Tree Systems |
165
click to vote
RTCSA
2006
IEEE
15 years 12 months ago
2006
IEEE
We propose a new execution time prediction method that combines measurement-based execution time analysis and simulation-based memory access analysis. In measurement-based executi...
138
click to vote
IMC
2006
ACM
15 years 11 months ago
2006
ACM
Remote code injection exploits inflict a significant societal cost, and an active underground economy has grown up around these continually evolving attacks. We present a method...
151
click to vote
ML
2006
ACM
15 years 11 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
141
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
Clinical medical records contain a wealth of information, largely in free-text form. Means to extract structured information from free-text records is an important research endeav...
139
click to vote
ARITH
2005
IEEE
15 years 11 months ago
2005
IEEE
We introduce an inheritance property and related table lookup structures applicable to simplified evaluation of the modular operations “multiplicative inverse”, “discrete l...