4421 search results - page 452 / 885 » Libraries |
117
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper proposes a general framework for searching large distributed repositories. Examples of such repositories include sites with music/video content, distributed digital lib...
134
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
We describe a prototype Web service for model reduction of very large-scale linear systems. Specifically, a userfriendly interface is designed so that model reduction can be easi...
153
click to vote
ISQED
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
125
click to vote
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we introduce a tool which is capable of verifying an 1149.1 test logic implementation and its compliance to the IEEE 1149.1 Standard [1][2] while providing a precise...
126
click to vote
PDP
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a programming interface, called PICA, which aims to reduce the production cycle duration for communication protocols. It offers a user-friendly API that is very intuiti...