2598 search results - page 328 / 520 » The Abstract Immune System Algorithm |
195
click to vote
LPAR
2005
Springer
16 years 6 hour ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
182
click to vote
CC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...
155
click to vote
HUC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. NearMe is a server, algorithms, and application programming interfaces (APIs) for clients equipped with 802.11 wireless networking (Wi-Fi) to compute lists of people and ...
169
click to vote
ECOOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
180
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Sparse matrix-vector multiplication is an important computational kernel that tends to perform poorly on modern processors, largely because of its high ratio of memory op...