Search
Search Funnelback University
- Refined by:
- Date: 2021
31 -
40 of
424
search results for KaKaoTalk:po03 op
where 0
match all words and 424
match some words.
Results that match 1 of 2 words
-
Compilation unit 000099e8 0000a6b8 arch/arm64/kvm/hyp/nvhe/setup.c…
https://www.cl.cam.ac.uk/~pes20/Stuff/pkvm/pkvm-O0/el2.rd/setup_c_sdt.html16 Feb 2021: hpool cupdie:<6c216>/<6c1f7>/<6c1ec> kind:var type:struct hyp_pool<6c1ec>/<6c22b> const_value:Nothing external:true declaration:false locations: 0x99e8 0xa6b8 (DW_OP_addr 0x1aa20) decl: setup.c:18 ... lt6c1f7>/<6c1ec> kind:var type:struct -
Category Theory
https://www.cl.cam.ac.uk/teaching/2122/CAT/lectures/CatTheory-lectures.pdf9 Nov 2021: identity morphism on - obj Cop isid- C(-,-) = C. op(-,-). -
��������� �� ��� ���������������������������� �����…
https://www.cl.cam.ac.uk/~rja14/Papers/prepay-oakland.pdf20 Jul 2021: #"$&%'( ),.- / 01( 324657)5. 869':;:< =>@? ABDC!:;9E? FG=H<'9EIJ'?LKBDMONPQABO?I9ENSR. T J'UWVC!PQAX'BY?P[ZEBOC;:;P[R T 9EU]N R_BOC4J'VG9'C_JaR;9EC! bc:;da9EUefBOUWVC!9Ed'BgFhR_C!BDBiR jkBDXlJnmJaR;R@eoJ'C!d. T J'UgVC;PpAXEB T Krqtsluv F Ja?A R_9'?bc -
Compilation unit 00012810 00013778…
https://www.cl.cam.ac.uk/~pes20/Stuff/pkvm/pkvm-O0/el2.rd/exception_c_die.html16 Feb 2021: AT_decl_line : (DW_FORM_data1) AV_block 1 [ff] <c7fd5> DW_AT_location : (DW_FORM_exprloc) AV_exprloc 9 [03,54,83,01,00,00,00,00,00] -
Submitted to:Applied Category Theory 2021 © S. Libkind, A. ...
https://www.cl.cam.ac.uk/events/act2021/papers/ACT_2021_paper_53.pdf5 Jul 2021: Following. the Catlab implementation, we instead focus on operad underlying(LensCospan(FinSet op),,. ... finite instances of Th(CPG)! form a symmetric monoidal subcategory of LensCospan(FinSet op). -
Vector RunaheadAjeya Naithani† Sam Ainsworth‡ Timothy M. Joneso…
https://www.cl.cam.ac.uk/~tmj32/papers/docs/naithani21-isca.pdf15 Jun 2021: arithmetic op-erations are converted into vector-unit operations, and thedependent loads themselves into vector gathers. ... We use a micro-op that convertsscalar branches into a predicate mask for the eight vectorlanes. -
VIP: Verifying Real-World C Idioms with Integer-Pointer Casts
https://www.cl.cam.ac.uk/~pes20/2022-popl-vip.pdf20 Nov 2021: 𝑣𝑛). | struct(T, [f1 = 𝑣1;. ; f𝑛 = 𝑣𝑛]) |. (Rel. op.) ::= | < | | > | = |. (Arith. op.) ::= | | |. (Mem. event) 𝑒 ::= allocate(al,𝜏) = 𝑝 | kill(𝑝) = () | load(𝜏, 𝑝) = 𝑣 | store(𝜏, 𝑝, 𝑣) = (). | -
Compilation unit 000099a8 000099e8 arch/arm64/kvm/hyp/nvhe/cache.S…
https://www.cl.cam.ac.uk/~pes20/Stuff/pkvm/pkvm-O0/el2.rd/cache_S_line_eval.html16 Feb 2021: Compilation unit 000099a8 000099e8 arch/arm64/kvm/hyp/nvhe/cache.S. debug_line evaluated line info. address op_index file line column is_stmt basic_block end_sequence prologue_end -
-2cm Operads for complex system design specification, analysis and…
https://www.cl.cam.ac.uk/events/act2021/slides/ACT_2021_slides_27.pdf25 Jul 2021: op(C)(c1,. ,ck ; c) := homC(c1 ck,c). Theorem (Baez, F, Moeller, Pollard, [1]). ... The composite functor. NetMod. SSMC op() TypedOp. constructs a network operad OF for each network model F. -
Compilation unit 000099e8 0000a6b8 arch/arm64/kvm/hyp/nvhe/setup.c…
https://www.cl.cam.ac.uk/~pes20/Stuff/pkvm/pkvm-O0/el2.rd/setup_c_die.html16 Feb 2021: 20,aa,01,00,00,00,00,00] DW_OP_addr 0x1aa20 <1><6c22b>: Abbrev Number: 3 (DW_TAG_structure_type) <6c22c> DW_AT_name : (DW_FORM_strp) AV_sec_offset ... AV_block 1 [13] <6c34f> DW_AT_location : (DW_FORM_exprloc) AV_exprloc 9 [03,f8,aa,01,00,00,00,00
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.