9110 search results - page 9 / 1822 » Formally-Based Design Evaluation |
ACL
2006
14 years 11 months ago
2006
We claim that existing specification languages for tree based grammars fail to adequately support identifier managment. We then show that XMG (eXtensible MetaGrammar) provides a s...
104
click to vote
SIGCOMM
2012
ACM
13 years 1 days ago
2012
ACM
As live streaming networks grow in scale and complexity, they are becoming increasingly difficult to evaluate. Existing evaluation methods including lab/testbed testing, simulati...
131
click to vote
IWMM
2011
Springer
14 years 15 days ago
2011
Springer
At the heart of all garbage collectors lies the process of identifying and processing reference fields within an object. Despite its key role, and evidence of many different impl...
WEBNET
2001
14 years 11 months ago
2001
: In this paper we evaluate educational software, available in the market, designed for the purpose of teaching programming that addresses mainly beginners and intermediate student...
SDM
2012
SIAM
13 years 8 hour ago
2012
SIAM
Outlier detection research is currently focusing on the development of new methods and on improving the computation time for these methods. Evaluation however is rather heuristic,...