5553 search results - page 726 / 1111 » Parallel Implementation of Sch |
294
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
188
click to vote
IEEEPACT
1999
IEEE
15 years 11 months ago
1999
IEEE
Trace cache, an instruction fetch technique that reduces taken branch penalties by storing and fetching program instructions in dynamic execution order, dramatically improves inst...
177
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
The automatic construction of classi ers programs able to correctly classify data collected from the real world is one of the major problems in pattern recognition and in a wide ar...
148
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a new arrangement of directory bits called the segment directory to improve directory storage efficiency: a segment directory can point to several sharing processors wi...
170
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present our experience of building a prototype system based on the Utility Model for adaptive multimedia. The Utility Model is proposed to capture the issues and dynamics in mul...