4940 search results - page 732 / 988 » On the Complexity of Universal Programs |
164
click to vote
WABI
2005
Springer
16 years 19 hour ago
2005
Springer
Abstract. In this paper, we use integer programming approach for solving a hard combinatorial optimization problem, namely protein threading. For this sequence-to-structure alignme...
145
click to vote
SIGCSE
2004
ACM
15 years 12 months ago
2004
ACM
An important question that must be addressed in a coherent computing curriculum is which programming environments to use across the curriculum. For Java, currently the most widely...
155
click to vote
AIS
2004
Springer
15 years 12 months ago
2004
Springer
The paper proposes three dimensional extension to High Level ARchitecture (HLA) and Runtime Infrastructure (RTI) to solve several issues such as security, information hiding proble...
184
click to vote
CC
2004
Springer
15 years 12 months ago
2004
Springer
When a compiler translates a procedure, it must lay out the procedure’s stack frame in a way that respects the calling convention. Many compilers respect the convention either by...
163
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...