3130 search results - page 22 / 626 » Design Correctness of Digital Systems |
JCDL
2003
ACM
14 years 24 days ago
2003
ACM
Expandability is one of the main requirements of future digital libraries. This paper introduces a digital library service system, OpenDLib, that has been designed to be highly ex...
ERCIMDL
2006
Springer
13 years 11 months ago
2006
Springer
The move towards integrated international Digital Libraries offers the opportunity of creating comprehensive data on citation networks. These data are not only invaluable pointers ...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
AUTOMATICA
2002
13 years 7 months ago
2002
This paper addresses the computation of the required trajectory correction maneuvers (TCM) for a halo orbit space mission to compensate for the launch velocity errors introduced b...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
: This paper presents a self-calibration method for designing high speed pipeline ADCs. Unlike all existing calibration algorithms, the proposed calibration does not insert any tes...