1407 search results - page 153 / 282 » Using Use Cases in Executable Z |
162
click to vote
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordinatio...
117
click to vote
HPCN
1997
Springer
15 years 8 months ago
1997
Springer
The performance attained by parallel programs executed on multiprocessor systems is largely in uenced both by the characteristics of the code and by those of the system architectu...
108
click to vote
AINA
2006
IEEE
15 years 8 months ago
2006
IEEE
HMMer is a widely used tool for protein sequence homology detection, as well as functional annotation of homologous protein sequences, and protein family classification. The HMMer...
149
click to vote
ASAP
2008
IEEE
15 years 6 months ago
2008
IEEE
Automatic generation of custom instruction processors from high-level application descriptions enables fast design space exploration, while offering very favorable performance and...
145
click to vote
FCCM
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents the design of BORPH's file system layer for FPGA-based reconfigurable computers. BORPH provides user FPGA designs that execute as hardware processes acces...