1777 search results - page 169 / 356 » Programming Cryptographic Protocols |
115
click to vote
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...
116
click to vote
PPOPP
2010
ACM
15 years 10 months ago
2010
ACM
Many large-scale parallel programs follow a bulk synchronous parallel (BSP) structure with distinct computation and communication phases. Although the communication phase in such ...
115
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Image analysis is an essential component in many biological experiments that study gene expression, cell cycle progression, and protein localization. A protocol for tr...
108
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: The number of protein targets with a known or predicted tri-dimensional structure and of drug-like chemical compounds is growing rapidly and so is the need for new the...
138
click to vote
TON
2012
13 years 3 months ago
2012
Abstract—Wireless networks (including wireless mesh networks) provide opportunities for using multiple paths. Multihoming of hosts, possibly using different technologies and prov...