Pallab Dasgupta – författare
Visar alla böcker från författaren Pallab Dasgupta. Handla med fri frakt och snabb leverans.
5 produkter
Roadmap for Formal Property Verification
Inbunden, 2006
1096 kr
Lägg i varukorg
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these …
Roadmap for Formal Property Verification
E-bok, 2007
1459 kr
Lägg i varukorg
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these …
Multiobjective Heuristic Search
An Introduction to intelligent Search Methods for Multicriteria Optimization
Av S. C. DeSarkar, P. P. Chakrabarti m. fl.
E-bok, 2013
755 kr
Lägg i varukorg
A large number of problems require the optimization of multiple criteria. These crite ria are often non-commensurate and sometimes conflicting in nature making the task of optimization more difficult. In such problems, the task of creating a combined opti mization function is often not easy. …
Multiobjective Heuristic Search
An Introduction to intelligent Search Methods for Multicriteria Optimization
Av Pallab Dasgupta, P. P. Chakrabarti m. fl.
Häftad, 1999
568 kr
Lägg i varukorg
A large number of problems require the optimization of multiple criteria. These crite ria are often non-commensurate and sometimes conflicting in nature making the task of optimization more difficult. In such problems, the task of creating a combined opti mization function is often not easy. …
Roadmap for Formal Property Verification
Häftad, 2010
1096 kr
Lägg i varukorg
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these …
