4325 search results - page 721 / 865 » Incremental computation with names |
SIGCOMM
2010
ACM
14 years 11 months ago
2010
ACM
Online microblogging services, as exemplified by Twitter, have become immensely popular during the latest years. However, current microblogging systems severely suffer from perfor...
106
click to vote
ACTA
2010
14 years 11 months ago
2010
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
116
click to vote
ALGORITHMICA
2008
14 years 11 months ago
2008
The profile of a graph is an integer-valued parameter defined via vertex orderings; it is known that the profile of a graph equals the smallest number of edges of an interval supe...
CCR
2010
14 years 11 months ago
2010
The current Internet architecture focuses on communicating entities, largely leaving aside the information to be ex-changed among them. However, trends in communication scenarios ...
COR
2010
14 years 11 months ago
2010
The purpose of this paper is to apply the scatter search methodology to general classes of binary problems. We focus on optimization problems for which the solutions are represent...