2661 search results - page 382 / 533 » Model Checking Performability Properties |
ISCAS
1999
IEEE
14 years 2 months ago
1999
IEEE
The problem of optimization of subband coders for given input statistics has received considerable attention in recent literature. The goal in these works has been to maximize the...
LCPC
1999
Springer
14 years 2 months ago
1999
Springer
In this paper, we present an efficient technique for optimising data replication under the data parallel programming model. We propose a precise mathematical representation for da...
IJCAI
1997
13 years 11 months ago
1997
Max and min operations have interesting properties that facilitate the exchange of information between the symbolic and real-valued domains. As such, neural networks that employ m...
SIGCOMM
1996
ACM
14 years 2 months ago
1996
ACM
There is much experimental evidence that network traffic processes exhibit ubiquitous properties of self-similarity and long-range dependence, i.e., of correlations over a wide ran...
POPL
2009
ACM
14 years 5 months ago
2009
ACM
Speculative execution is an important technique that has historically been used to extract concurrency from sequential programs. While techniques to support speculation work well ...