8190 search results - page 247 / 1638 » From Timed to Hybrid Systems |
167
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
176
click to vote
ERSA
2004
15 years 8 months ago
2004
Modern reconfigurable computing systems feature powerful hybrid architectures with multiple microprocessor cores, large reconfigurable logic arrays and distributed memory hierarch...
173
click to vote
JCM
2008
15 years 6 months ago
2008
We compare four open-loop transmit diversity schemes in a coded Orthogonal Frequency Division Multiplexing (OFDM) system with four transmit antennas, namely cyclic shift diversity ...
162
click to vote
MEDINFO
2007
15 years 8 months ago
2007
The International Classification of Diseases 10th version (ICD-10) is one of the most standard and important disease classifications. Since computerized ICD-10 coding systems have...
285
click to vote
ICDE
2001
IEEE
16 years 8 months ago
2001
IEEE
LeSelect is a mediator system which allows scientists to publish their resources (data and programs) so they can be transparently accessed. The scientists can typically issue quer...