10848 search results - page 414 / 2170 » Programming in Biomolecular Computation |
213
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In the implementation of procedures, developers often assume that the input satisfies certain properties; for example, binary search assumes the array to be sorted. Such...
180
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
185
click to vote
DIS
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we consider finding a small set of substring patterns which classifies the given documents well. We formulate the problem as 1 norm soft margin optimization problem ...
155
click to vote
COR
2011
15 years 1 months ago
2011
Branching in mixed-integer (or integer) linear programming requires choosing both the branching variable and the branching direction. This paper develops a number of new methods f...
190
click to vote
PROCEDIA
2010
15 years 1 months ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...