Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 4

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

Control flow graphs and code coverage

100%
Gold R.
International Journal of Applied Mathematics and Computer Science
|
2010
|
tom 20
|
nr 4
739-749
EN
The control flow of programs can be represented by directed graphs. In this paper we provide a uniform and detailed formal basis for control flow graphs combining known definitions and results with new aspects. Two graph reductions are defined using only syntactical information about the graphs, but no semantical information about the represented programs. We prove some properties of reduced graphs and also about the paths in reduced graphs. Based on graphs, we define statement coverage and branch coverage such that coverage notions correspond to node coverage, and edge coverage, respectively.
2
Content available remote

Galois representations of Iwasawa modules

32%
Gold R., Madan M.
Acta Arithmetica
|
1985-1986
|
tom 46
|
nr 3
243-255
3
Content available remote

Zeros of p-adic L-functions

26%
Childress N., Gold R.
Acta Arithmetica
|
1987
|
tom 48
|
nr 1
63-71
4
Content available remote

Examples of Iwasawa invariants, II

26%
Gold R.
Acta Arithmetica
|
1974-1975
|
tom 26
|
nr 3
233-240
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.