1755 search results - page 262 / 351 » An efficient simulation algorithm based on abstract interpre... |
106
Voted
TODAES
2008
15 years 3 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
119
click to vote
MA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract: This paper deals with the problem of multivariate copula density estimation. Using wavelet methods we provide two shrinkage procedures based on thresholding rules for whi...
155
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
134
click to vote
APNOMS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Despite the importance of seamless connectivity in ubiquitous computing, research for seamless connectivity has not been considered properly. To provide seamless connecti...
227
click to vote
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
To use their pool of resources efficiently, distributed stream-processing systems push query operators to nodes within the network. Currently, these operators, ranging from simple...