2477 search results - page 291 / 496 » First-Order Interactive Programming |
122
Voted
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
145
click to vote
JVM
2004
15 years 3 months ago
2004
Modern Java programs, such as middleware and application servers, include many complex software components. Improving the performance of these Java applications requires a better ...
111
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: The regulatory map of a genome consists of the binding sites for proteins that determine the transcription of nearby genes. An initial regulatory map for S. cerevisiae...
105
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: The number of algorithms available to predict ligand-protein interactions is large and ever-increasing. The number of test cases used to validate these methods is usua...
126
click to vote
STVR
2010
15 years 23 days ago
2010
Failures triggered by hard to debug defects usually involve complex interactions between many program elements. We hypothesize that information flows present a good model for such ...