1799 search results - page 49 / 360 » The Logic of Correctness in Software Engineering |
121
click to vote
ARCS
2010
Springer
15 years 10 months ago
2010
Springer
Register renaming is a widely used technique to remove false data dependencies in contemporary superscalar microprocessors. The register rename logic includes a mapping table that ...
155
click to vote
SOCO
2002
Springer
15 years 5 months ago
2002
Springer
The study introduces a new class of fuzzy neurons and fuzzy neural networks exploiting a model of a generalized multivalued exclusive-OR (XOR) operation. The proposed neural archit...
168
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
138
click to vote
CSMR
1998
IEEE
15 years 10 months ago
1998
IEEE
AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...
156
click to vote
TACS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...