Sciweavers

4355 search results - page 539 / 871
» From Interpretation to Compilation
Sort
View
ESOP
2011
Springer
14 years 10 months ago
Measure Transformer Semantics for Bayesian Machine Learning
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
Johannes Borgström, Andrew D. Gordon, Michael...
NAR
2011
164views Computer Vision» more  NAR 2011»
14 years 9 months ago
PCDB: a database of protein conformational diversity
PCDB (http://www.pcdb.unq.edu.ar) is a database of protein conformational diversity. For each protein, the database contains the redundant compilation of all the corresponding cry...
Ezequiel I. Juritz, Sebastian Fernandez Alberti, G...
POPL
2011
ACM
14 years 9 months ago
Mathematizing C++ concurrency
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewe...
ACII
2011
Springer
14 years 6 months ago
Exploring the Relationship between Novice Programmer Confusion and Achievement
Abstract. Using a discovery-with-models approach, we study the relationships between novice Java programmers’ experiences of confusion and their achievement, as measured through ...
Diane Marie C. Lee, Ma. Mercedes T. Rodrigo, Ryan ...
CSFW
2011
IEEE
14 years 6 months ago
Modular Protections against Non-control Data Attacks
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
Cole Schlesinger, Karthik Pattabiraman, Nikhil Swa...