Sciweavers

2595 search results - page 232 / 519
» Addressing Computational Viewpoint Design
Sort
View
RECOMB
2003
Springer
16 years 7 months ago
Towards optimally multiplexed applications of universal DNA tag systems
We study a design and optimization problem that occurs, for example, when single nucleotide polymorphisms (SNPs) are to be genotyped using a universal DNA tag array. The problem o...
Amir Ben-Dor, Tzvika Hartman, Benno Schwikowski, R...
ICCAD
2005
IEEE
160views Hardware» more  ICCAD 2005»
16 years 3 months ago
Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
Namrata Shekhar, Priyank Kalla, Florian Enescu, Si...
GROUP
2009
ACM
16 years 1 months ago
Spreading the honey: a system for maintaining an online community
As online communities, such as social network sites, mature, they face challenges in sustaining user engagement. To address this, we designed and deployed a rating system to encou...
Rosta Farzan, Joan Morris DiMicco, Beth Brownholtz
AINA
2008
IEEE
16 years 1 months ago
A Protocol for Content-Based Communication in Disconnected Mobile Ad Hoc Networks
In content-based communication, information flows towards interested hosts rather than towards specifically set destinations. This new style of communication perfectly fits the...
Julien Haillot, Frédéric Guidec
HPDC
2008
IEEE
16 years 1 months ago
Dynasa: adapting grid applications to safety using fault-tolerant methods
Grid applications have been prone to encountering problems such as failures or malicious attacks during execution, due to their distributed and large-scale features. The applicati...
Xuanhua Shi, Jean-Louis Pazat, Eric Rodriguez, Hai...