1
Published 2010
Table of Contents: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Classification in a Manhattan World -- Online Learning for Fast Segmentation of Moving Objects -- A Linear...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...
View full text
Electronic eBook
4
Published 2011
Table of Contents: ...-Threshold Computing of ECRL Circuits for Ultralow-Power Applications -- A Dual-Threshold CMOS Technique of P...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ...: An Application to Gene Expression Data Analysis -- Local Pattern Discovery in Array-CGH Data -- Learning...
View full text
Electronic eBook
6
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