1901 search results - page 50 / 381 » Predicting Program Properties from |
SIGSOFT
2000
ACM
15 years 3 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
FUIN
2002
14 years 10 months ago
2002
This paper presents a new model of computation that differs from prior models in that it emphasizes data over flow control, has no named variables and has an object-oriented flavo...
120
click to vote
BMCBI
2008
14 years 11 months ago
2008
Background: Protein-protein interactions are ubiquitous and essential for all cellular processes. High-resolution X-ray crystallographic structures of protein complexes can reveal...
75
Voted
ISSTA
1996
ACM
15 years 3 months ago
1996
ACM
In assessing the quality of software, we would like to make engineering judgements similar to those based on statistical quality control. Ideally, we want to support statements li...
100
click to vote
BIOCOMP
2009
15 years 4 days ago
2009
The accurate computational prediction of RNA secondary structures is a difficult task, but an important one, since RNA structure is usually more evolutionarily conserved than prima...