9145 search results - page 1652 / 1829 » Description Logic Systems |
ICNP
2006
IEEE
14 years 3 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
ISCC
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
MICRO
2006
IEEE
14 years 3 months ago
2006
IEEE
Although processor design verification consumes ever-increasing resources, many design defects still slip into production silicon. In a few cases, such bugs have caused expensive...
MICRO
2006
IEEE
14 years 3 months ago
2006
IEEE
We present and evaluate the idea of adaptive processor cache management. Specifically, we describe a novel and general scheme by which we can combine any two cache management alg...
ROBIO
2006
IEEE
14 years 3 months ago
2006
IEEE
- The implementation of inverse kinematics and servo controller for robot manipulator using FPGA (Field Programmer Gate Array) is investigated in this paper. Firstly, the mathemati...