439 search results - page 76 / 88 » Engineering Comparators for Graph Clusterings |
POPL
2009
ACM
14 years 9 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
COMSWARE
2007
IEEE
14 years 3 months ago
2007
IEEE
—This paper deals with the topology formation schemes in the IEEE 802.11 based wireless mesh network. The recent standardization effort for specifying a wireless distribution sys...
AIED
2005
Springer
14 years 2 months ago
2005
Springer
Abstract: The problem of modeling and assessing an individual’s ability level is central to learning environments. Numerous approaches exists to this end. Computer Adaptive Testi...
ICWE
2010
Springer
14 years 1 months ago
2010
Springer
The recent proliferation of crowd computing initiatives on the web calls for smarter methodologies and tools to annotate, query and explore repositories. There is the need for scal...
TPDS
2008
13 years 9 months ago
2008
Multicore processors are an architectural paradigm shift that promises a dramatic increase in performance. But, they also bring an unprecedented level of complexity in algorithmic ...