780 search results - page 53 / 156 » software 2011 |
172
Voted
TCBB
2011
14 years 9 months ago
2011
—Constructing accurate computational models that explain how ions permeate through a biological ion channel is an important problem in biophysics and drug design. Brownian dynami...
162
Voted
ARITH
2011
IEEE
14 years 2 months ago
2011
IEEE
—We consider the problem of short division — i.e., approximate quotient — of multiple-precision integers. We present ready-to-implement algorithms that yield an approximation...
147
click to vote
FOSSACS
2011
Springer
14 years 5 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
132
click to vote
PEPM
2011
ACM
14 years 5 months ago
2011
ACM
Passing multiple continuation arguments to a function in CPS form allows one to encode a wide variety of direct-style control constructs, such as conditionals, exceptions, and mul...
174
Voted
SOCO
2011
Springer
14 years 9 months ago
2011
Springer
The paper presents a new steganographic method called RSTEG (retransmission steganography), which is intended for a broad class of protocols that utilises retransmission mechanisms...