State-of-the-art integral-equation-based solvers rely on techniques that can perform a matrix-vector multiplication in O(N) complexity. In this work, a fast inverse of linear comp...
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
—Discrete gate sizing is one of the most commonly used, flexible, and powerful techniques for digital circuit optimization. The underlying problem has been proven to be NP-hard ...
Puneet Gupta, Andrew B. Kahng, Amarnath Kasibhatla...
We present the results and the lessons learned from two separate and independent studies into the design, development, and evaluation of electronic books for information access: th...
: This paper addresses the problem of attitude and heading restitution for a VTOL UAV. We describe an observation strategy to restitute the complete attitude matrix of the vehicle ...
Jean Michel Pflimlin, Tarek Hamel, Philippe Sou&eg...