678 search results - page 122 / 136 » Lock-free parallel dynamic programming |
140
click to vote
FPL
2010
Springer
14 years 9 months ago
2010
Springer
We demonstrate how Field Programmable Gate Arrays (FPGAs) may be used to address the computing challenges associated with assembling genome sequences from recent ultra-high-through...
119
click to vote
ISCA
2011
IEEE
14 years 3 months ago
2011
IEEE
As we move to large manycores, the hardware-based global checkpointing schemes that have been proposed for small shared-memory machines do not scale. Scalability barriers include ...
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
112
click to vote
SP
2010
IEEE
14 years 9 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
125
click to vote
COORDINATION
2009
Springer
16 years 8 days ago
2009
Springer
: Heterogeneous wireless sensor networks represent a challenging programming environment. Servilla addresses this by offering a new middleware framework that provides service provi...