7892 search results - page 266 / 1579 » Programming with Models |
156
click to vote
BMCBI
2002
15 years 1 months ago
2002
Background: Covariance models (CMs) are probabilistic models of RNA secondary structure, analogous to profile hidden Markov models of linear sequence. The dynamic programming algo...
100
click to vote
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
As multicore architectures enter the mainstream, there is a pressing demand for high-level programming models that can effectively map to them. Stream programming offers an attrac...
98
Voted
DAIS
2010
15 years 3 months ago
2010
Our everyday environments will soon be pervaded with RFID tags integrated in physical objects. These RFID tags can store a digital representation of the physical object and transmi...
145
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
118
click to vote
FPL
2007
Springer
15 years 8 months ago
2007
Springer
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...