19892 search results - page 3866 / 3979 » The POSTGRES Data Model |
149
click to vote
ISCA
2009
IEEE
15 years 11 months ago
2009
IEEE
As transistor density continues to grow at an exponential rate in accordance to Moore’s law, the goal for many Chip Multi-Processor (CMP) systems is to scale the number of on-ch...
167
click to vote
ISPAN
2009
IEEE
15 years 11 months ago
2009
IEEE
— Scientific computing often requires the availability of a massive number of computers for performing large scale experiments. Traditionally, these needs have been addressed by ...
166
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
149
click to vote
BICOB
2009
Springer
15 years 11 months ago
2009
Springer
The de novo assembly of genomes from high-throughput short reads is an active area of research. Several promising methods have been recently developed, with applicability mainly re...
144
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Background: Diagnosis techniques using urine are non-invasive, inexpensive, and easy to perform in clinical settings. The metabolites in urine, as the end products of cellular pro...