iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/isvlsi/SchnieberFD22.nt
.
.
.
.
"Martha Schnieber et al.: Polynomial Formal Verification of Approximate Functions. (2022)" .
.
_:ID_8e52efdef58c2baca0fb6fb2d98271eb . _:ID_8e52efdef58c2baca0fb6fb2d98271eb
. _:ID_8e52efdef58c2baca0fb6fb2d98271eb
. _:ID_8e52efdef58c2baca0fb6fb2d98271eb
. _:ID_8e52efdef58c2baca0fb6fb2d98271eb
"conf/isvlsi/SchnieberFD22" .
_:ID_96000f486aa2ea6f6468482d73f96224 . _:ID_96000f486aa2ea6f6468482d73f96224
. _:ID_96000f486aa2ea6f6468482d73f96224
. _:ID_96000f486aa2ea6f6468482d73f96224
. _:ID_96000f486aa2ea6f6468482d73f96224
"10.1109/ISVLSI54635.2022.00029" .
"Polynomial Formal Verification of Approximate Functions." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_40e09b40db9e9d6853891b14bf94e3a7_1 . _:Sig_40e09b40db9e9d6853891b14bf94e3a7_1
. _:Sig_40e09b40db9e9d6853891b14bf94e3a7_1
. _:Sig_40e09b40db9e9d6853891b14bf94e3a7_1
"Martha Schnieber" . _:Sig_40e09b40db9e9d6853891b14bf94e3a7_1
. _:Sig_40e09b40db9e9d6853891b14bf94e3a7_1
"1"^^
. _:Sig_40e09b40db9e9d6853891b14bf94e3a7_1
.
_:Sig_40e09b40db9e9d6853891b14bf94e3a7_2 . _:Sig_40e09b40db9e9d6853891b14bf94e3a7_2
. _:Sig_40e09b40db9e9d6853891b14bf94e3a7_2
. _:Sig_40e09b40db9e9d6853891b14bf94e3a7_2
"Saman Fr\u00F6hlich" . _:Sig_40e09b40db9e9d6853891b14bf94e3a7_2
. _:Sig_40e09b40db9e9d6853891b14bf94e3a7_2
"2"^^
. _:Sig_40e09b40db9e9d6853891b14bf94e3a7_2
.
_:Sig_40e09b40db9e9d6853891b14bf94e3a7_3 . _:Sig_40e09b40db9e9d6853891b14bf94e3a7_3
. _:Sig_40e09b40db9e9d6853891b14bf94e3a7_3
. _:Sig_40e09b40db9e9d6853891b14bf94e3a7_3
"Rolf Drechsler" . _:Sig_40e09b40db9e9d6853891b14bf94e3a7_3
. _:Sig_40e09b40db9e9d6853891b14bf94e3a7_3
. _:Sig_40e09b40db9e9d6853891b14bf94e3a7_3
"3"^^
. _:Sig_40e09b40db9e9d6853891b14bf94e3a7_3
.
.
.
.
.
"92-97" .
"ISVLSI" .
"ISVLSI" .
"2022"^^
.
"2022"^^
.
.
"provenance information for RDF data of dblp record 'conf/isvlsi/SchnieberFD22'" .
.
.
.
"2023-09-30T09:50:55+0200" .
