9871 search results - page 1600 / 1975 » On the Structure of Low Sets |
224
click to vote
ACL2
2006
ACM
16 years 25 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. ...
179
click to vote
ACMSE
2006
ACM
16 years 25 days ago
2006
ACM
We propose an efficient and novel approach for discovering communities in real-world random networks. Communities are formed by subsets of nodes in a graph, which are closely rela...
156
click to vote
ERLANG
2006
ACM
16 years 25 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 ...
175
click to vote
ISSTA
2006
ACM
16 years 24 days ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
161
click to vote
MSR
2006
ACM
16 years 24 days ago
2006
ACM
An evolutionary development approach is increasingly commonplace in industry but presents increased difficulties in risk management, for both technical and organizational reasons...