4693 search results - page 162 / 939 » Verifying Hybrid Systems |
138
click to vote
ICC
2011
IEEE
14 years 4 months ago
2011
IEEE
—In order to reduce the long runtimes required to simulate hybrid automatic repeat-request (ARQ) systems, such as high-speed downlink packet access (HSDPA), we propose an informa...
144
click to vote
IUI
2006
ACM
15 years 11 months ago
2006
ACM
The TaskTracer system seeks to help multi-tasking users manage the resources that they create and access while carrying out their work activities. It does this by associating with...
140
click to vote
HPCA
2009
IEEE
16 years 5 months ago
2009
IEEE
Linked data structure (LDS) accesses are critical to the performance of many large scale applications. Techniques have been proposed to prefetch such accesses. Unfortunately, many...
145
click to vote
FPGA
1998
ACM
15 years 9 months ago
1998
ACM
Multi-FPGA systems (MFSs) are used as custom computing machines, logic emulators and rapid prototyping vehicles. A key aspect of these systems is their programmable routing archit...
130
click to vote
AMTA
1998
Springer
15 years 9 months ago
1998
Springer
This paper describes the progress of a machine translation system from Chinese to English. The system is based on a reusable platform of MT software components. It's a rule-ba...