Zobrazeno 1 - 10
of 20
pro vyhledávání: '"O’LEARY, John W."'
Autor:
O'Leary, John W., Russinoff, David M.
Publikováno v:
EPTCS 152, 2014, pp. 145-162
We describe the formal language MASC, based on a subset of SystemC and intended for modeling algorithms to be implemented in hardware. By means of a special-purpose parser, an algorithm coded in SystemC is converted to a MASC model for the purpose of
Externí odkaz:
http://arxiv.org/abs/1406.1565
Autor:
O'Leary, John W.
Publikováno v:
The Public Opinion Quarterly, 1938 Oct 01. 2(4), 645-650.
Externí odkaz:
https://www.jstor.org/stable/2745110
ion plays a central role in formal verification. Term-level abstraction is a technique for abstracting word-level designs in a formal logic, wherein data is modeled with abstract terms, functional blocks with uninterpreted functions, and memories wit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a526478f5de3c05cdea4f92868cd472
Publikováno v:
Formal Methods in Computer Aided Design (FMCAD'07); 2007, p37-44, 8p
Autor:
Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Hunt, Warren A., Johnson, Steven D., Aagaard, Mark D., Jones, Robert B., Melham, Thomas F., O'Leary, John W., Seger, Carl-Johan H.
Publikováno v:
Formal Methods in Computer-Aided Design (978-3-540-41219-9); 2000, p300-319, 20p
Autor:
Seger, Carl-Johan H., Jones, Robert B., O'Leary, John W., Melham, Tom, Aagaard, Mark D., Barrett, Clark, Syme, Don
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; Sep2005, Vol. 24 Issue 9, p1381-1405, 15p
Autor:
Newhart, Dennis D., O'Leary, John W.
Publikováno v:
Proceedings of the 5th Conference: Winter Simulation; 1/1/1971, p1-4, 4p
Autor:
Herring, Pendleton, O'Leary, John W.
Publikováno v:
Public Opinion Quarterly; 10/1/38, Vol. 2 Issue 4, p645-650, 6p
Autor:
O’LEARY, John W.
Publikováno v:
Current History; February 1926, Vol. 23 Issue: 5 p699-704, 6p
Akademický článek
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.