7393 search results - page 394 / 1479 » Synthesis-for-testability using transformations |
147
click to vote
FASE
1999
Springer
15 years 9 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
131
click to vote
LOPSTR
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
141
click to vote
ICFP
1998
ACM
15 years 9 months ago
1998
ACM
If the continuations in functional data-structure-generating programs are made explicit and represented as records, they can be recycled." Once they have served their purpose...
144
Voted
DNA
2007
Springer
15 years 9 months ago
2007
Springer
Reliable DNA computing requires a large pool of oligonucleotides that do not produce cross-hybridize. In this paper, we present a transformed algorithm to calculate the maximum wei...
143
click to vote
ADC
2004
Springer
15 years 8 months ago
2004
Springer
Most modern database applications contain a significant amount of time dependent data and a substantial proportion of this data is now-relative, i.e. current now. While much resea...