3600 search results - page 272 / 720 » The settling-time reducibility ordering |
168
click to vote
HICSS
1998
IEEE
15 years 11 months ago
1998
IEEE
In recent years, electric utility industry in the whole world has been facing pressure to be deregulated or restructured in order to increase its efficiency, to reduce operational...
167
Voted
ICDCS
1998
IEEE
15 years 11 months ago
1998
IEEE
Network applications and services need to be environment-aware in order to meet non-functional requirements in increasingly dynamic contexts. In this paper we consider partition a...
173
click to vote
TLCA
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we present a strongly normalising cut-elimination procedure for classical logic. This procedure adapts Gentzen’s standard cut-reductions, but is less restrictive th...
178
click to vote
PADS
1998
ACM
15 years 11 months ago
1998
ACM
This paper presents a sparse state saving scheme for Time Warp parallel discrete event simulation. The scheme bases the selection of the states to be recorded on the event history...
146
click to vote
SIGMOD
1998
ACM
15 years 11 months ago
1998
ACM
We present new algorithms for computing approximate quantiles of large datasets in a single pass. The approximation guarantees are explicit, and apply without regard to the value ...