3909 search results - page 600 / 782 » Extreme Model Checking |
154
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
The exponential distribution is a key distribution in many event-driven Monte-Carlo simulations, where it is used to model the time between random events in the system. This paper...
149
click to vote
BCSHCI
2007
15 years 8 months ago
2007
We seek to close the gap between software engineering (SE) and human-computer interaction (HCI) by indicating interdisciplinary interfaces throughout the different phases of SE an...
176
click to vote
CCCG
2010
15 years 8 months ago
2010
We investigate experimentally the Domatic Partition (DP) problem, the Independent Domatic Partition (IDP) problem and the Idomatic partition problem in Random Geometric Graphs (RG...
187
click to vote
BIS
2007
15 years 8 months ago
2007
Business intelligence requires the collecting and merging of information from many different sources, both structured and unstructured, in order to analyse for example financial ...
195
click to vote
CCCG
2007
15 years 8 months ago
2007
We consider the problem of two-dimensional outputsensitive convex hull in the cache-oblivious model. That is, we are interested in minimizing the number of cache faults caused whe...