1840 search results - page 89 / 368 » time 2002 |
126
Voted
FAC
2002
15 years 3 months ago
2002
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...
122
click to vote
IPL
2002
15 years 3 months ago
2002
We study the problem of scheduling unit time tasks of two types on m parallel identical machines. For each type, given numbers of tasks are required to be completed by the specifi...
122
click to vote
TPDS
2002
15 years 3 months ago
2002
This paper discusses a new work-scheduling algorithm for parallel search of single-agent state spaces, called Transposition-Table-Driven Work Scheduling, that places the transposit...
159
click to vote
DFT
2002
IEEE
15 years 9 months ago
2002
IEEE
Conversion of the flip-flops of the circuit into scan cells helps ease the test challenge; yet test application time is increased as serial shift operations are employed. Furthe...
188
click to vote
CGA
2002
15 years 3 months ago
2002
Populated urban environments are very important in many applications such as urban planning and entertainment. However rendering in real time many people in a complex environment ...