8125 search results - page 1227 / 1625 » Parallelism and evolutionary algorithms |
180
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
We consider the problem of checking whether a finite (or ultimately periodic) run satisfies a temporal logic formula. This problem is at the heart of “runtime verification” ...
166
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
Despite the growth of Internet and the advances in WWW technology, current methods for web users to make good use of information from so enormous web pages are not as efficient as ...
195
click to vote
DEBS
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents our experiences with building of the soft state XSiena publish/subscribe system. We provide a brief overview of our approach towards the soft state in publish/...
128
click to vote
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
The aim of this discussion paper is to stimulate (or perhaps to provoke) stronger interactions among theoreticians and practitioners interested in efficient problem solutions. We ...
187
click to vote
CAAN
2007
Springer
15 years 10 months ago
2007
Springer
We consider the problem of scheduling on parallel uniformly related machines, where preemptions are allowed and the machines are controlled by selfish agents. Our goal is to minimi...