10848 search results - page 1990 / 2170 » Programming in Biomolecular Computation |
157
click to vote
LOPSTR
2007
Springer
16 years 17 days ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
184
click to vote
CCGRID
2006
IEEE
16 years 15 days ago
2006
IEEE
With the increasing number of processors in modern HPC(High Performance Computing) systems, there are two emergent problems to solve. One is scalability, the other is fault tolera...
157
click to vote
FOCS
2006
IEEE
16 years 15 days ago
2006
IEEE
Learning an unknown halfspace (also called a perceptron) from labeled examples is one of the classic problems in machine learning. In the noise-free case, when a halfspace consist...
213
click to vote
IPPS
2006
IEEE
16 years 14 days ago
2006
IEEE
For decades now, the notion of “performance” has been synonymous with “speed” (as measured in FLOPS, short for floating-point operations per second). Unfortunately, this ...
156
click to vote
ISQED
2006
IEEE
16 years 14 days ago
2006
IEEE
— In this paper, we propose an efficient model order reduction (MOR) algorithm, called MTermMOR, for modeling interconnect circuits with large number of external ports. The prop...