2343 search results - page 127 / 469 » Structure and Interpretation of Computer Programs |
127
Voted
WIOPT
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— The inherent nature of the physical setup and transmission mechanism in wireless ad hoc networks with random channel access, results in correlation between the link met...
132
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
To find the best lattice model representation of a given full atom protein structure is a hard computational problem. Several greedy methods have been suggested where results are ...
156
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
Designing debugging tools for lazy functional programming languages is a complex task which is often solved by expensive tracing of lazy computations. We present a new approach in...
137
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
138
Voted
CCE
2006
15 years 4 months ago
2006
The class of stochastic nonlinear programming (SNLP) problems is important in optimization due to the presence of nonlinearity and uncertainty in many applications, including thos...