3786 search results - page 552 / 758 » Structure Comparison and Structure Patterns |
213
click to vote
ACL2
2006
ACM
16 years 15 days ago
2006
ACM
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
146
click to vote
ERLANG
2006
ACM
16 years 14 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
132
click to vote
MSR
2006
ACM
16 years 14 days ago
2006
ACM
The number of bugs (or fixes) is a common factor used to measure the quality of software and assist bug related analysis. For example, if software files have many bugs, they may b...
184
click to vote
SIGIR
2006
ACM
16 years 14 days ago
2006
ACM
For the task of near-duplicated document detection, both traditional fingerprinting techniques used in database community and bag-of-word comparison approaches used in information...
178
click to vote
ICPP
2005
IEEE
16 years 3 days ago
2005
IEEE
Structured P2P overlay networks based on a consistent hashing function have an aftermath load balance problem that needs to be dealt with. A load balancing method should take into...