1982 search results - page 47 / 397 » New Products |
ICDT
2009
ACM
13 years 5 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
BMCBI
2010
13 years 5 months ago
2010
Background: Bioinformatics is confronted with a new data explosion due to the availability of high throughput DNA sequencers. Data storage and analysis becomes a problem on local ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In a previous paper, we have given an algebraic model to the set of intervals. Here, we apply this model in a linear frame. For example, we define a notion of diagonalization of s...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
Abstract -- This paper describes a new memory estimation technique for DSP applications written in an applicative language. Since no concept of storage is present in an applicative...
VAMOS
2007
Springer
14 years 1 months ago
2007
Springer
Aspect-oriented software development has recently emerged as a new paradigm for systematic modularization and representation of the crosscutting concern. Because the variability i...