379 search results - page 52 / 76 » Strong reducibility of partial numberings |
IFL
2004
Springer
2004
Springer
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations
14 years 3 months ago
The message-passing paradigm is now widely accepted and used mainly for inter-process communication in distributed memory parallel systems. However, one of its disadvantages is the...
ITS
2004
Springer
14 years 3 months ago
2004
Springer
This work presents a model for student knowledge diagnosis that can be used in ITSs for student model update. The diagnosis is accomplished through Computerized Adaptive Testing (C...
ISQED
2003
IEEE
14 years 3 months ago
2003
IEEE
We discuss a non-intrusive methodology for concurrent fault detection in random combinational logic. The proposed method is similar to duplication, wherein a replica of the circui...
ECML
2003
Springer
14 years 2 months ago
2003
Springer
We consider supervised learning of a ranking function, which is a mapping from instances to total orders over a set of labels (options). The training information consists of exampl...
ESA
2009
Springer
14 years 2 months ago
2009
Springer
We consider online preemptive scheduling of jobs, arriving one by one, on m identical parallel machines. A buffer of a fixed size K > 0, which assists in partial reordering of...