2343 search results - page 42 / 469 » Structure and Interpretation of Computer Programs |
155
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: RNA structure prediction problem is a computationally complex task, especially with pseudo-knots. The problem is well-studied in existing literature and predominantly ...
132
click to vote
INFORMATICALT
2007
15 years 2 months ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
118
click to vote
MPC
1995
Springer
15 years 6 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
130
Voted
POPL
2010
ACM
15 years 9 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
104
click to vote
ISORC
2003
IEEE
15 years 7 months ago
2003
IEEE
: Structuring real-time concurrent programs in the form of groups of fixed-priority processes is an old art which is appropriate for only a small fraction of modern real-time distr...