6059 search results - page 253 / 1212 » A Technique for Verifying Measurements |
176
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we introduce a new algorithm for model order reduction in the presence of parameter or process variation. Our analysis is performed using a graph interpretation of t...
141
click to vote
ISCAS
2006
IEEE
16 years 22 days ago
2006
IEEE
- In this paper, we propose a novel rate allocation method for compound image coding using Quality-biased Rate-Distortion Optimization (QRDO) technique to enhance visual quality. T...
138
click to vote
IAT
2005
IEEE
16 years 9 days ago
2005
IEEE
Being able to trust in a system behavior is of prime importance, particularly within the context of critical applications as embedded or real-time systems. We want to ensure that ...
166
click to vote
ADAEUROPE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
191
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...