1312 search results - page 151 / 263 » Quantitative Comparison of Languages |
124
Voted
PDSE
1998
15 years 2 months ago
1998
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...
107
Voted
WSC
1998
15 years 2 months ago
1998
Many important characteristics of simulation models, including queuing models, can be investigated by the use of metamodels. Problems in qualitative analysis such as analyzing mod...
CORR
1999
Springer
15 years 11 days ago
1999
Springer
We recently presented a methodology to quantitatively reduce the average time and variance in the time required to execute electronic transactions in a network environment such as...
106
Voted
LR
2011
14 years 3 months ago
2011
Abstract Communities of autonomous units are devices for the visual modeling of interactive logistic processes. The framework is founded on rule-based graph transformation and allo...
121
Voted
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...