2748 search results - page 135 / 550 » Generating Object-Z Specifications from Use Cases |
101
click to vote
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
Digital images can be captured or generated by a variety of sources including digital cameras, scanners and computer graphics softwares. In many cases it is important to be able t...
71
Voted
SAMOS
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we describe an efficient data fetch circuitry for retrieving several operands from a n-bank interleaved memory system in a single machine cycle. The proposed address ...
AAAI
2006
15 years 1 months ago
2006
Clustering under constraints is a recent innovation in the artificial intelligence community that has yielded significant practical benefit. However, recent work has shown that fo...
112
click to vote
BMCBI
2008
15 years 20 days ago
2008
Background: With the completion of the HapMap project, a variety of computational algorithms and tools have been proposed for haplotype inference, tag SNP selection and genome-wid...
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and ...