9532 search results - page 1859 / 1907 » Logic, Graphs, and Algorithms |
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...
114
click to vote
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
VMCAI
2004
Springer
15 years 4 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
110
click to vote
CODES
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper describes a hardware-software co-design approach for flexible programmable Galois Field Processing for applications which require operations over GF(2m ), such as RS an...
102
click to vote
ISCA
2003
IEEE
15 years 4 months ago
2003
IEEE
To achieve high instruction throughput, instruction schedulers must be capable of producing high-quality schedules that maximize functional unit utilization while at the same time...