11328 search results - page 1937 / 2266 » Timed Branching Processes |
146
click to vote
RULEML
2010
Springer
15 years 2 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...
122
click to vote
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
Virtually all histograms store for each bucket the number of distinct values it contains and their average frequency. In this paper, we question this paradigm. We start out by inv...
138
click to vote
SJ
2010
15 years 2 months ago
2010
—With the rapid increase of real-time applications, jitter, delay, and throughput have become the three important QoS criteria in the scheduling of input-queued (IQ) switches wit...
155
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
156
click to vote
TCS
2010
15 years 2 months ago
2010
We investigate the runtime of a Binary Particle Swarm Optimizer (PSO) for optimizing pseudo-Boolean functions f : {0, 1}n → R. The Binary PSO maintains a swarm of particles sear...