331 search results - page 44 / 67 » Special Issue on Time-Delay Systems |
ASSETS
2004
ACM
15 years 3 months ago
2004
ACM
We report here on our progress on a project first described at the ASSETS 2002 conference. At that time, we had developed a prototype system in which a proxy server intermediary w...
CF
2005
ACM
14 years 11 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
CN
2007
14 years 9 months ago
2007
Determining an appropriate sending rate when beginning data transmission into a network with unknown characteristics is a fundamental issue in best-effort networks. Traditionally,...
IJCNN
2008
IEEE
15 years 4 months ago
2008
IEEE
—Since machine learning has become a tool to make more efficient design of sophisticated systems, we present in this paper a novel methodology to create powerful neural network ...
106
click to vote
CASES
2008
ACM
14 years 11 months ago
2008
ACM
Automatic vectorization of programs for partitioned-ALU SIMD (Single Instruction Multiple Data) processors has been difficult because of not only data dependency issues but also n...