4311 search results - page 253 / 863 » Code Generation for Distributed Systems |
191
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Rates of substitution in protein-coding sequences can provide important insights into evolutionary processes that are of biomedical and theoretical interest. Increased...
159
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
We present a modular approach to implement adaptive decisions with existing scientific codes. Using a sophisticated system software tool based on the function call interception t...
181
click to vote
CSL
2005
Springer
16 years 5 days ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
183
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
173
click to vote
IWDC
2001
Springer
15 years 11 months ago
2001
Springer
Considering that current end to end communication services are not adapted for supporting efficiently distributed multimedia application, this paper introduces a new family of gene...