10848 search results - page 309 / 2170 » Programming in Biomolecular Computation |
158
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
218
click to vote
ACIVS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Computer vision algorithms are currently developed by looking up the available operators from the literature and then arranging those operators such that the desired task...
147
click to vote
CANDC
1999
ACM
15 years 11 months ago
1999
ACM
Traditionally, the notion of home crafting connotes the use of "low-tech" materials and techniques; but increasingly, the once-distinct worlds of crafting and computatio...
199
click to vote
ICPP
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract—This paper describes an algorithm for deriving data and computation partitions on scalable shared memory multiprocessors. The algorithm establishes affinity relationshi...
176
click to vote
PARLE
1994
15 years 10 months ago
1994
Scientists are increasingly turning to numerical simulation in order to investigate and model complex environmental systems. Numerical simulation has enormous advantages over labor...