2205 search results - page 141 / 441 » Mutation Operators for Specifications |
UML
2004
Springer
14 years 2 months ago
2004
Springer
Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined ...
EH
2003
IEEE
14 years 2 months ago
2003
IEEE
In the present paper, single-opamp sinusoidal oscillators are synthesized using genetic algorithms. The motivation is to evolve new topologies of oscillators using different activ...
DANTE
1999
IEEE
14 years 1 months ago
1999
IEEE
Data warehouse refreshment is often viewed as a problem of maintaining materialized views over operational sources. In this paper, we show that the data warehouse refreshment proc...
DATE
1999
IEEE
14 years 1 months ago
1999
IEEE
Commonly used scheduling algorithms in high-level synthesis only accept one process at a time and are not capable of sharing resources across process boundaries. This results in t...
HOTOS
1999
IEEE
14 years 1 months ago
1999
IEEE
Resource management is a fundamental concept in operating system design. In recent years it has become fashionable to consider the problem as an aspect of heterogeneous support fo...