Zobrazeno 1 - 10
of 1 462
pro vyhledávání: '"Hunt JR"'
Publikováno v:
EPTCS 359, 2022, pp. 61-75
VWSIM is a circuit simulator for rapid, single-flux, quantum (RSFQ) circuits. The simulator is designed to model and simulate primitive-circuit devices such as capacitors, inductors, Josephson Junctions, and can be extended to simulate other circuit
Externí odkaz:
http://arxiv.org/abs/2205.11698
Publikováno v:
PeerJ, Vol 11, p e14693 (2023)
Dipodomyine heteromyids (kangaroo rats and mice) are a diverse group of arid-adapted ricochetal rodents of North America. Here, a new genus and species of a large dipodomyine is reported from early Miocene-aged deposits of the John Day Formation in O
Externí odkaz:
https://doaj.org/article/aff3995adb2f456a9621d6a30e5fe83a
Autor:
Slobodova, Anna, Hunt Jr, Warren
Publikováno v:
EPTCS 249, 2017
This volume contains the proceedings of the Fourteenth International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2 2017, a two-day workshop held in Austin, Texas, USA, on May 22-23, 2017. ACL2 workshops occur at approximately 18-mont
Externí odkaz:
http://arxiv.org/abs/1705.00766
Publikováno v:
EPTCS 192, 2015, pp. 35-51
We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework for formally
Externí odkaz:
http://arxiv.org/abs/1509.06087
Autor:
Hunt Jr., James B.
Publikováno v:
Business North Carolina. Jun2023, Vol. 43 Issue 6, p28-33. 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.
Publikováno v:
EPTCS 114, 2013, pp. 54-69
We introduce a new ACL2 feature, the abstract stobj, and show how to apply it to modeling the instruction set architecture of a microprocessor. Benefits of abstract stobjs over traditional ("concrete") stobjs can include faster execution, support for
Externí odkaz:
http://arxiv.org/abs/1304.7858
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.
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.
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 192, Iss Proc. ACL2 2015, Pp 35-51 (2015)
We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework for formally
Externí odkaz:
https://doaj.org/article/6c3aa0fb812e4232ba2ff88a396d50c7