1004 search results - page 145 / 201 » High Performance Computing in Science and Engineering |
175
click to vote
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
142
click to vote
FOCS
1997
IEEE
15 years 8 months ago
1997
IEEE
A central issue in the design of modern communication networks is that of providing performance guarantees. This issue is particularly important if the networks support real-time t...
213
click to vote
GI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract: Intuitiveness, attractiveness and efficiency are in general important characteristics of high quality User Interfaces (UI). In the case of a Mass Casualty Incident (MCI)...
161
click to vote
VLSID
2007
IEEE
16 years 4 months ago
2007
IEEE
In the past, Field Programmable Gate Array (FPGA) circuits only contained a limited amount of logic and operated at a low frequency. Few applications running on FPGAs consumed exc...
146
click to vote
IMSCCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Background: Activities of drug molecules can be predicted by QSAR (quantitative structure activity relationship) models, which overcomes the disadvantages of high cost and long cy...