Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Yossi Malka"'
Publikováno v:
Algorithmica. 10:383-398
Ad-scheduling of a graphG is a sequence of rounds, each consisting of some of the nodes of the graph, such that the distance between any two nodes participating in the same round is greater thand. Ad-scheduler is a protocol that determines ad-schedul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f83a0269e733a24f958ef87705eccc08
https://doi.org/10.1007/bf01769705
https://doi.org/10.1007/bf01769705
Publikováno v:
VLSI Algorithms and Architectures ISBN: 0387968180
AWOC
AWOC
Let G=(V,E) be a given network, and d a positive integer. A d-scheduling of G is an infinite sequence of rounds [r 1,r 2, ...], such that for each i, r i is a non-empty subset of V, and the distance between any two nodes in r i is greater than d. A d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a7fb23f06adde09e4f99b8eed670f1bb
https://doi.org/10.1007/bfb0040402
https://doi.org/10.1007/bfb0040402
Publikováno v:
Proceedings of the Seventh Israeli Conference on Computer Systems and Software Engineering.
While the literature on testing sequential programs is rich, there has been very little work on testing concurrent programs. One major trend in testing sequential code is to define program-based, test data adequacy criteria. Different criteria are of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ce72dc89c73c2e19e6b1e88aa1abea4c
https://doi.org/10.1109/iccsse.1996.554913
https://doi.org/10.1109/iccsse.1996.554913
Autor:
Avi Ziv, Yossi Malka
Publikováno v:
DAC
Statistical analysis of bug discovery data is used in the software industry to check the quality of the testing process and estimate the reliability of the tested program. In this paper, we show that the same techniques are applicable to hardware des
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::05c52d7f4ac3cbeab1cda18f988b7ce2
https://doi.org/10.1109/dac.1998.724550
https://doi.org/10.1109/dac.1998.724550
Autor:
Yossi Lichtenstein, Dave Goodman, Charlotte Metzger, Aharon Aharon, Moshe Molcho, Gil Shurek, Yossi Malka, Moshe Levinger
Publikováno v:
DAC
A new methodology and test program generator have been used for the functional verification of six IBM PowerPC processors. The generator contains a formal model of the PowerPC architecture and a heuristic data-base of testing expertise. It has been u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::48979829ad0702d7bdf647a2591a6a2c
https://doi.org/10.1145/217474.217542
https://doi.org/10.1145/217474.217542
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.