200 search results - page 32 / 40 » Negative Cycle Detection Problem |
DATE
2007
IEEE
14 years 4 months ago
2007
IEEE
A high-level test synthesis (HLTS) method targeted for delay fault testability is presented. The proposed method, when combined with hierarchical test pattern generation for embed...
SPW
2001
Springer
14 years 2 months ago
2001
Springer
In the IPv6 world, the IP protocol itself, i.e., IPv6, is used for a number of functions that currently fall beyond the scope of the IPv4 protocol. These functions include address ...
CHI
2010
ACM
14 years 4 months ago
2010
ACM
In television shows, we are familiar with the sound of artificial laughter, the so called “canned laughter” or “laugh track”. It generally has an enhancing effect on the v...
SP
2005
IEEE
14 years 3 months ago
2005
IEEE
It is widely believed that content-signature-based intrusion detection systems (IDSes) are easily evaded by polymorphic worms, which vary their payload on every infection attempt....
KI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...