3786 search results - page 552 / 758 » Structure Comparison and Structure Patterns |
159
Voted
ACL2
2006
ACM
15 years 9 months 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. ...
111
Voted
ERLANG
2006
ACM
15 years 9 months 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 ...
103
Voted
MSR
2006
ACM
15 years 9 months 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...
142
Voted
SIGIR
2006
ACM
15 years 9 months 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...
140
Voted
ICPP
2005
IEEE
15 years 9 months 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...