1
Published 2010
Table of Contents: ... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...
View full text
Electronic eBook