57 search results - page 3 / 12 » Why is ATPG Easy |
APAL
1999
13 years 7 months ago
1999
We give a sound and complete propositional S5 tableau system of a particularly simple sort, having an easy completeness proof. It sheds light on why the satisfiability problem for...
CARDIS
1998
Springer
13 years 11 months ago
1998
Springer
We proposed a new block cipher, Serpent, as a candidate for the Advanced Encryption Standard. This algorithm uses a new structure that simultaneously allows a more rapid avalanche,...
CSCW
2000
ACM
13 years 11 months ago
2000
ACM
Companies are experimenting with putting teams into warrooms, hoping for some productivity enhancement. We conducted a field study of six such teams, tracking their activity, atti...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
This paper deals with some detection issues of watermark signals. We propose an easy way to implement an informed watermarking embedder whatever the detection function. This metho...
AGILEDC
2005
IEEE
14 years 1 months ago
2005
IEEE
Both agile development and User Centered Design stress collaboration between customers and product teams, but getting these methodologies to work well together is not easy. This p...