4880 search results - page 309 / 976 » Manuals as Structured Programs |
128
click to vote
TSE
2010
15 years 3 months ago
2010
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
184
click to vote
FORTE
2009
15 years 2 months ago
2009
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of...
176
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
180
click to vote
JCB
2000
15 years 4 months ago
2000
We present a novel method for predicting the secondary structure of a protein from its amino acid sequence. Most existing methods predict each position in turn based on a local wi...
176
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Evolutionary conservation of RNA secondary structure is a typical feature of many functional non-coding RNAs. Since almost all of the available methods used for predic...