36320 search results - page 119 / 7264 » From Code to Models |
161
click to vote
COCO
2007
Springer
16 years 16 days ago
2007
Springer
We give an improved explicit construction of highly unbalanced bipartite expander graphs with expansion arbitrarily close to the degree (which is polylogarithmic in the number of ...
215
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
168
click to vote
KBSE
2006
IEEE
16 years 11 days ago
2006
IEEE
Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This paper presents a new, fully automated patter...
193
click to vote
TIT
2008
15 years 6 months ago
2008
Error-correcting codes and matroids have been widely used in the study of ordinary secret sharing schemes. In this paper, the connections between codes, matroids, and a special cla...
153
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
The existing software engineering literature has empirically shown that a proper choice of identifiers influences software understandability and maintainability. Researchers have n...