Browsing Sciences Exactes et Sciences Appliquées by Subject "On-line"

Now showing items 1-2 of 2

Computer validated proofs of a toolset for adaptable arithmetic

Laboratoire de l'informatique du parallélisme; Daumas, Marc; Moreau-Finot, Claire; Théry, Laurent (2001-01)

(eng) Most existing implementations of multiple precision arithmetic demand that the user sets the precision a priori. A solution is to use the largest precision necessary to reach target accuracy. Some libraries are said ...
Off-line and on-line scheduling on heterogeneous master-slave platforms

Pineau, Jean-François; Robert, Yves; Vivien, Frédéric; Laboratoire de l'informatique du parallélisme (2005-07)

'eng) In this work, we deal with the problem of scheduling independent tasks on heterogeneous master-slave platforms. We target both off-line and on-line problems, with several objective functions (makespan, maximum response ...

Now showing items 1-2 of 2

Search DSpace