Sciweavers

1158 search results - page 135 / 232
» Software is discrete mathematics
Sort
View
LISA
2000
15 years 2 months ago
Aberrant Behavior Detection in Time Series for Network Monitoring
The open-source software RRDtool and Cricket provide a solution to the problem of collecting, storing, and visualizing service network time series data for the real-time monitorin...
Jake D. Brutlag
PPSC
1997
15 years 2 months ago
ScaLAPACK: A Linear Algebra Library for Message-Passing Computers
This article outlines the content and performance of some of the ScaLAPACK software. ScaLAPACK is a collection of mathematical software for linear algebra computations on distribu...
L. Susan Blackford, Jaeyoung Choi, Andrew J. Clear...
80
Voted
FSTTCS
2008
Springer
15 years 1 months ago
Solvency Games
Abstract. We study the decision theory of a maximally risk-averse investor — one whose objective, in the face of stochastic uncertainties, is to minimize the probability of ever ...
Noam Berger, Nevin Kapur, Leonard J. Schulman, Vij...
CORR
2010
Springer
122views Education» more  CORR 2010»
15 years 25 days ago
Specifying Reusable Components
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
95
Voted
CORR
2010
Springer
132views Education» more  CORR 2010»
15 years 25 days ago
Bayesian Network Based XP Process Modelling
A Bayesian Network based mathematical model has been used for modelling Extreme Programming software development process. The model is capable of predicting the expected finish ti...
Mohamed Abouelela, Luigi Benedicenti