15777 search results - page 2675 / 3156 » The Reformulation-Optimization Software Engine |
166
click to vote
TCBB
2010
15 years 1 months ago
2010
Abstract-The discovery of motifs in biosequences is frequently torn between the rigidity of the model on the one hand and the abundance of candidates on the other. In particular, m...
170
click to vote
SIAMSC
2011
15 years 25 days ago
2011
In order to compute polarization energy of biomolecules, we describe a boundary element approach to solving the linearized Poisson–Boltzmann equation. Our approach combines sever...
172
Voted
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
233
click to vote
SIGMOD
2012
ACM
13 years 8 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
146
click to vote
SE
2007
15 years 7 months ago
2007
Abstract: In diesem Artikel erl¨autern wir die Erfahrungen, die wir bis zum jetzigen Zeitpunkt im Zuge der Portierung einer komplexen Anwendung auf die .NETPlattform sammeln konnt...