1
Published 2005
Table of Contents: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ...-Aware Branch, Cut and Price Implementation -- An Optimal Broadcast Algorithm Adapted to SMP Clusters...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Architecture -- Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory -- Aggressive Function...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Logic: A Hardware Based Technique for Filtering Access to Branch Logic -- Exploiting Intra-function...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... with multiplicity structures -- Signature-based Method of Deciding Program Termination -- High-precision eigenvalue...
View full text
Electronic eBook