2255 search results - page 372 / 451 » High Assurance Software Systems |
214
click to vote
PEPM
2007
ACM
17 years 2 months ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
148
click to vote
CVPR
1998
IEEE
16 years 6 months ago
1998
IEEE
We have designed and implemented a system for real-time detection of 2-D features on a reconfigurable computer based on Field Programmable Gate Arrays (FPGA `s). We envision this ...
133
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
This paper provides an objective evaluation of the performance impacts of binary XML encodings, using a fast stream-based XQuery processor as our representative application. Inste...
121
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Transmitter Leakage has a significant impact on the system performance in mobile devices using zero-IF receivers and thus requires a suitable compensation. In contrast to analo...
119
click to vote
MICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
Heterogeneous multiprocessors are growingly important in the multi-core era due to their potential for high performance and energy efficiency. In order for software to fully real...