5243 search results - page 774 / 1049 » Reasoning About Strategies |
168
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
4 Automatic diļ¬erentiation is the primary means of obtaining analytic5 derivatives from a numerical model given as a computer program. There-6 fore, it is an essential productivi...
187
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we empirically evaluate fundamental design trade-offs among the most recent multicore processors and accelerator technologies. Our primary aim is to aid application...
198
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
225
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
202
click to vote
ACIVS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Prematurely born infants are observed at a Neonatal Intensive Care Unit (NICU) for medical treatment. Whereas vital body functions are continuously monitored, their incub...