9316 search results - page 317 / 1864 » Analysis of traceback techniques |
175
click to vote
VLSID
2009
IEEE
16 years 7 months ago
2009
IEEE
We present the automatic test pattern generator TIGUAN based on a thread-parallel SAT solver. Due to a tight integration of the SAT engine into the ATPG algorithm and a carefully ...
168
click to vote
BROADNETS
2005
IEEE
16 years 11 days ago
2005
IEEE
— A Block ACK (BTA) scheme has been proposed in IEEE 802.11e to improve medium access control (MAC) layer performance. It is also a promising technique for next-generation high-s...
152
click to vote
CAMP
2005
IEEE
16 years 11 days ago
2005
IEEE
—This paper describes a task-independent controller that allows for an easy implementation of vision systems for processing video sequences. The controller does not have a fixed ...
184
click to vote
IPPS
2005
IEEE
16 years 10 days ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
158
click to vote
ISNN
2005
Springer
16 years 7 days ago
2005
Springer
This paper considers the robust stability of neural networks with multiple delays. Based on Lyapunov stability theory and linear matrix inequality technique, some new delay indepe...