4421 search results - page 452 / 885 » Libraries |
159
click to vote
IPPS
2003
IEEE
16 years 6 days 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...
178
click to vote
IPPS
2003
IEEE
16 years 6 days 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...
195
click to vote
ISQED
2003
IEEE
16 years 5 days 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...
166
click to vote
ITC
2003
IEEE
16 years 5 days 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...
160
click to vote
PDP
2003
IEEE
16 years 5 days 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...