Sciweavers

9888 search results - page 1738 / 1978
» compute 2009
Sort
View
SAC
2009
ACM
16 years 1 months ago
Measuring coherence between electronic and manual annotations in biological databases
The use of controlled structured vocabularies for annotation purposes, such as the Gene Ontology (GO) is currently one of the strategies to cope with the increasingly cumbersome t...
Catia Pesquita, Daniel Faria, Francisco M. Couto
BIRTHDAY
2009
Springer
16 years 1 months ago
Vertical Object Layout and Compression for Fixed Heaps
Research into embedded sensor networks has placed increased focus on the problem of developing reliable and flexible software for microcontroller-class devices. Languages such as ...
Ben Titzer, Jens Palsberg
EUROPAR
2009
Springer
16 years 1 months ago
Adaptive Peer Sampling with Newscast
Abstract. The peer sampling service is a middleware service that provides random samples from a large decentralized network to support gossip-based applications such as multicast, ...
Norbert Tölgyesi, Márk Jelasity
ICTAC
2009
Springer
15 years 4 months ago
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
Delphine Longuet, Marc Aiguier
ARITH
2009
IEEE
16 years 1 months ago
A Dual-Purpose Real/Complex Logarithmic Number System ALU
—The real Logarithmic Number System (LNS) allows fast and inexpensive multiplication and division but more expensive addition and subtraction as precision increases. Recent advan...
Mark G. Arnold, Sylvain Collange
« Prev « First page 1738 / 1978 Last » Next »