896 search results - page 102 / 180 » Stepwise Refinement of Processes |
173
click to vote
PLILP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
157
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
The Lagrangian multiplier based rate-distortion optimization has been proved to be an effective way in hybrid video coding. In this paper, an advanced Lagrange multiplier selectio...
172
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
151
click to vote
ATC
2006
Springer
15 years 10 months ago
2006
Springer
Multimedia streaming application is increasingly popular. P2P mode makes it much more suitable for large-scale users to participate into one single application. However, most effor...
146
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...