Sciweavers

2595 search results - page 232 / 519
» Addressing Computational Viewpoint Design
Sort
View
88
Voted
RECOMB
2003
Springer
16 years 2 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...
120
Voted
ICCAD
2005
IEEE
160views Hardware» more  ICCAD 2005»
15 years 11 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
15 years 9 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
121
Voted
AINA
2008
IEEE
15 years 9 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
112
Voted
HPDC
2008
IEEE
15 years 9 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...