1
Published 2015
Table of Contents: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
View full text
Electronic eBook
2
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Table of Contents: ... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...
View full text
Electronic eBook