21379 search results - page 604 / 4276 » The profession of IT - Evolutionary system development |
185
click to vote
QUESTA
2006
15 years 7 months ago
2006
The present paper deals with the problem of calculating mean delays in polling systems with either exhaustive or gated service. We develop a mean value analysis (MVA) to compute t...
153
click to vote
JOT
2007
15 years 7 months ago
2007
ome this restriction, we develop so-called loose domains which abstract over several precise domains. Similar to the relation between supertypes and subtypes, we get a relation bet...
193
click to vote
JUCS
2007
15 years 7 months ago
2007
: Multi-processor systems have become the standard in current computer architectures. Software developers have the possibility to take advantage of the additional computing power a...
212
click to vote
ASE
2004
15 years 7 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
178
click to vote
AUTOMATICA
2002
15 years 7 months ago
2002
The objective of this paper is twofold. First, the problem of generation of real random matrix samples with uniform distribution in structured (spectral) norm bounded sets is stud...