1
Published 2015
Table of Contents: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
View full text
Electronic eBook
2
Published 2011
Table of Contents: ... Recognition System -- Study on Architecture and Performances of Dual Track SAW Device -- Adaptive Function...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ...Coupled Problems -- Comparison of Model Reduction Methods with Applications to Circuit Simulation...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
View full text
Electronic eBook