4502 search results - page 321 / 901 » Regular Model Checking |
175
click to vote
SIPS
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— In this paper, we propose partly parallel architectures based on optimal overlapped sum-product (OSP) decoding. To ensure high throughput and hardware utilization effi...
144
click to vote
ASIAN
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
184
click to vote
BDA
2006
15 years 8 months ago
2006
Surprisingly enough, there has been few investigations for typing references of semistructured data and XML documents. This paper build on a previous proposal [7] introducing simp...
161
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper, we discuss a structural approach to automatic performance modelling of skeleton based applications. This uses a synthesis of performance evaluation process algebra ...
185
click to vote
TSP
2008
15 years 6 months ago
2008
In this paper, we consider the problem of estimating an unknown deterministic parameter vector in a linear regression model with random Gaussian uncertainty in the mixing matrix. W...