10870 search results - page 2165 / 2174 » Model Checking Programs |
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
— Two major factors that limit the throughput in multi-hop wireless networks are the unreliability of wireless transmissions and co-channel interference. One promising technique ...
INTERNET
2010
13 years 6 months ago
2010
bstractions and mechanisms Webmachine supplies to RESTful Web services developers. Not Your Typical Framework Web services frameworks typically fall into one of the following broad...
JBCB
2010
13 years 6 months ago
2010
: Scattering of neutrons and x-rays from molecules in solution offers alternative approaches to the studying of a wide range of macromolecular structures in their solution state w...
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
Heterogeneous multi-core processors, such as the IBM Cell processor, can deliver high performance. However, these processors are notoriously difficult to program: different cores...
PC
2010
13 years 6 months ago
2010
Compute unified device architecture (CUDA) is a software development platform that allows us to run C-like programs on the nVIDIA graphics processing unit (GPU). This paper prese...