𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE IEEE INDICON 2004. First India Annual Conference, 2004. - Kharagpur, India (Dec. 20-22, 2004)] Proceedings of the IEEE INDICON 2004. First India Annual Conference, 2004. - Assertion based verification: Have I written enough properties?

✍ Scribed by Banerjee, A.; Pal, B.; Kamarapu, C.; Dasgupta, P.; Chakrabarti, P.P.; Jha, M.

Book ID: 126607344
Publisher: IEEE
Year: 2004
Weight: 867 KB
Category: Article
ISBN-13: 9780780389090
DOI: 10.1109/INDICO.2004.1497773

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE IEEE INDICON 2004. First India Ann

[IEEE IEEE INDICON 2004. First India Annual Conference, 2004. - Kharagpur, India (Dec. 20-22, 2004)] Proceedings of the IEEE INDICON 2004. First India Annual Conference, 2004. - Single signon for grid services

✍ Jana, D.; Bhaumik, B.B. 📂 Article 📅 2004 🏛 IEEE ⚖ 850 KB

[IEEE IEEE INDICON 2004. First India Ann

[IEEE IEEE INDICON 2004. First India Annual Conference, 2004. - Kharagpur, India (Dec. 20-22, 2004)] Proceedings of the IEEE INDICON 2004. First India Annual Conference, 2004. - Automatic speech recognition using audio visual cues

✍ Yashwanth, H.; Mahendrakar, H.; David, S. 📂 Article 📅 2004 🏛 IEEE ⚖ 773 KB

[IEEE IEEE INDICON 2004. First India Ann

[IEEE IEEE INDICON 2004. First India Annual Conference, 2004. - Kharagpur, India (Dec. 20-22, 2004)] Proceedings of the IEEE INDICON 2004. First India Annual Conference, 2004. - Best repair: an efficient reconfiguration for RRAM

✍ Banerjee, S.; Mukhopadhyay, D.; Chowdhury, D.R. 📂 Article 📅 2004 🏛 IEEE ⚖ 515 KB

[IEEE IEEE INDICON 2004. First India Ann

[IEEE IEEE INDICON 2004. First India Annual Conference, 2004. - Kharagpur, India (Dec. 20-22, 2004)] Proceedings of the IEEE INDICON 2004. First India Annual Conference, 2004. - Indexing and searching in multimedia database management system

✍ Mukherjee, P.Kr.; Nasipuri, M.; Basu, D.K.; Kundu, M. 📂 Article 📅 2004 🏛 IEEE ⚖ 902 KB

[IEEE IEEE INDICON 2004. First India Ann

[IEEE IEEE INDICON 2004. First India Annual Conference, 2004. - Kharagpur, India (Dec. 20-22, 2004)] Proceedings of the IEEE INDICON 2004. First India Annual Conference, 2004. - An efficient heart sound segmentation algorithm for cardiac diseases

✍ Saha, G.; Kumar, P. 📂 Article 📅 2004 🏛 IEEE ⚖ 887 KB

[IEEE IEEE INDICON 2004. First India Ann

[IEEE IEEE INDICON 2004. First India Annual Conference, 2004. - Kharagpur, India (Dec. 20-22, 2004)] Proceedings of the IEEE INDICON 2004. First India Annual Conference, 2004. - Fault-tolerant routing in unique-path multistage interconnection networks

✍ Sadawarti, H.; Bansal, P.K. 📂 Article 📅 2004 🏛 IEEE ⚖ 636 KB