10870 search results - page 1803 / 2174 » Model Checking Programs |
198
click to vote
UM
2007
Springer
16 years 27 days ago
2007
Springer
Users’ critiques to the current recommendation form a crucial feedback mechanism for refining their preference models and improving a system’s accuracy in recommendations that ...
160
click to vote
ANSS
2006
IEEE
16 years 26 days ago
2006
IEEE
Programs often call the same function with the same arguments, yielding the same results. We call this phenomenon, “function reuse”. Previously, we have shown such a behavior ...
140
click to vote
DATE
2006
IEEE
16 years 26 days ago
2006
IEEE
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
157
click to vote
ESCIENCE
2006
IEEE
16 years 26 days ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
163
click to vote
GLOBECOM
2006
IEEE
16 years 26 days ago
2006
IEEE
The emergence of multi-channel multi-radio wireless mesh networks has given us many new opportunities and challenges. Particularly, the issue on how to appropriately assign channel...