Result 1 to 20 of 303 total
Semantic subtyping with an SMT solver. (English)
J. Funct. Program. 22, No. 1, 31-105 (2012).
1
Verifying cryptographic code in C: some experience and the csec challenge. (English)
Barthe, Gilles (ed.) et al., Formal aspects of security and trust. 8th international workshop, FAST 2011, Leuven, Belgium, September 12‒14, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29419-8/pbk). Lecture Notes in Computer Science 7140, 1-20 (2012).
2
On solving stochastic collocation systems with algebraic multigrid. (English)
IMA J. Numer. Anal. 32, No. 3, 1051-1070 (2012).
3
Elastic Phoenix: malleable MapReduce for shared-memory systems. (English)
Altman, Erik (ed.) et al., Network and parallel computing. 8th IFIP international conference, NPC 2011, Changsha, China, October 21‒23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24402-5/pbk). Lecture Notes in Computer Science 6985, 1-16 (2011).
4
Cryptographic verification by typing for a sample protocol implementation. (English)
Aldini, Alessandro (ed.) et al., Foundations of security analysis and design VI. FOSAD tutorial lectures. Berlin: Springer (ISBN 978-3-642-23081-3/pbk). Lecture Notes in Computer Science 6858, 66-100 (2011).
5
Maintaining database integrity with refinement types. (English)
Mezini, Mira (ed.), ECOOP 2011 ‒ object-oriented programming. 25th European conference, Lancaster, UK, July 25‒29, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22654-0/pbk). Lecture Notes in Computer Science 6813, 484-509 (2011).
6
Roles, stacks, histories: a triple for Hoare. (English)
J. Funct. Program. 21, No. 2, 159-207 (2011).
7
Electron localization function and electron localizability indicator applied to study the bonding in the peroxynitrous acid HOONO. (English)
J. Comput. Chem. 32, No. 8, 1528-1540 (2011).
8
Measure transformer semantics for Bayesian machine learning. (English)
Barthe, Gilles (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 ‒ April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). Lecture Notes in Computer Science 6602, 77-96 (2011).
9
An analytical framework to assist decision makers in the use of forest ecosystem model predictions (English)
Environmental Modelling and Software 26, No. 3, 280-288 (2011).
10
Refinement types for secure implementations (English)
ACM Trans. Program. Lang. Syst. 33, No. 2, 8 (2011).
11
Elastic phoenix: malleable mapreduce for shared-memory systems (English)
NPC, 1-16 (2011).
12
It is not the length that matters, it is how you control it (English)
ICST, 150-159 (2011).
13
Local actions for a curry-style operational semantics (English)
PLPV, 31-42 (2011).
14
Causal markers across domains and genres of discourse (English)
K-CAP, 183-184 (2011).
15
Robin milner 1934‒2010: verification, languages, and concurrency (English)
POPL, 473-474 (2011).
16
An outline for an intelligent system performing peg-in-hole actions with flexible objects (English)
ICIRA (2), 430-441 (2011).
17
Guiding a general-purpose C verifier to prove cryptographic protocols (English)
CSF, 3-17 (2011).
18
Evolutionary generation of whole test suites (English)
QSIC, 31-40 (2011).
19
Maintaining database integrity with refinement types (English)
ECOOP, 484-509 (2011).
20
Result 1 to 20 of 303 total
Start
Contact
Print
General Help
