19 search results - page 4 / 4 » Infinite Limits and Adjacency Properties of a Generalized Co... |
POPL
2005
ACM
14 years 5 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
CCS
2009
ACM
14 years 3 days ago
2009
ACM
Network information distribution is a fundamental service for any anonymization network. Even though anonymization and information distribution about the network are two orthogona...
SIGMETRICS
2002
ACM
13 years 5 months ago
2002
ACM
Scheduling in large-scale parallel systems has been and continues to be an important and challenging research problem. Several key factors, including the increasing use of off-the...
CIKM
2011
Springer
12 years 5 months ago
2011
Springer
Today, a number of algorithms exist for constructing tag hierarchies from social tagging data. While these algorithms were designed with ontological goals in mind, we know very li...