Sciweavers

2899 search results - page 9 / 580
» Dynamic Trees in Practice
Sort
View
PLANX
2007
14 years 11 months ago
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice
J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt
SODA
2001
ACM
100views Algorithms» more  SODA 2001»
14 years 11 months ago
Practical approximation algorithms for zero- and bounded-skew trees
Alexander Zelikovsky, Ion I. Mandoiu
71
Voted
NSDI
2010
14 years 11 months ago
ElasticTree: Saving Energy in Data Center Networks
Networks are a shared resource connecting critical IT infrastructure, and the general practice is to always leave them on. Yet, meaningful energy savings can result from improving...
Brandon Heller, Srinivasan Seetharaman, Priya Maha...
INFOVIS
2003
IEEE
15 years 2 months ago
Visualizing Evolving Networks: Minimum Spanning Trees versus Pathfinder Networks
Network evolution is a ubiquitous phenomenon in a wide variety of complex systems. There is an increasing interest in statistically modeling the evolution of complex networks such...
Chaomei Chen, Steven Morris
HYBRID
2010
Springer
15 years 4 months ago
On the connections between PCTL and dynamic programming
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
Federico Ramponi, Debasish Chatterjee, Sean Summer...