840 search results - page 108 / 168 » Test suite oscillations |
80
Voted
CL
2004
Springer
15 years 12 days 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...
CGF
2002
15 years 11 days 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...
91
Voted
SIAMJO
2000
15 years 9 days 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...
106
Voted
TISSEC
2002
15 years 5 days 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...
105
Voted
TVLSI
2002
15 years 5 days 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 ...