840 search results - page 108 / 168 » Test suite oscillations |
146
click to vote
CL
2004
Springer
15 years 6 months ago
2004
Springer
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
151
click to vote
CGF
2002
15 years 6 months ago
2002
In this paper, we describe a method for cloth animation in real-time. The algorithm works in a hybrid manner exploiting the merits of both the physical-based and geometric deforma...
157
click to vote
SIAMJO
2000
15 years 6 months ago
2000
Abstract. We consider column sufficient linear complementarity problems and study the problem of identifying those variables that are zero at a solution. To this end we propose a n...
168
click to vote
TISSEC
2002
15 years 6 months ago
2002
IPsec is the standard suite of protocols for networklayer confidentiality and authentication of Internet traffic. The IPsec protocols, however, do not address the policies for how...
160
click to vote
TVLSI
2002
15 years 6 months ago
2002
We propose a technique for reducing the energy spent in the memory-processor interface of an embedded system during the execution of firmware code. The method is based on the idea ...