Search for tag: "assembly"

11 Media

01:04:12 SOIL Seminar: Project Everest: Verified Secure… SOIL Seminar: Project Everest: Verified Secure Compenents in WebAssembly	SOIL Seminar: Project Everest: Verified Secure Compenents in WebAssembly Title: Project Everest: Verified Secure Compenents in WebAssembly Speaker: Jonathan Protzenko Summary: Project Everest is a multi-institutional effort that aims to build a stack of formally verified… crypto memory compiler stack instance implementation performance algorithms specification protocol assembly proposal From Ross Tate on February 1st, 2021 9 plays Creation Date February 1st, 2021 Creator 1 First Name Jonathan Creator 1 Last Name Protzenko Creator 1 Role Presenter Language English Searchable Yes Searchable On Cornell Web Search Public Search Engines Landing Page http://soil-initiative.org/seminar/#20210201
50:52 SOIL Seminar: Julia Language on WebAssembly: Our… SOIL Seminar: Julia Language on WebAssembly: Our Wish List and Experience So Far	SOIL Seminar: Julia Language on WebAssembly: Our Wish List and Experience So Far Title: Julia Language on WebAssembly: Our Wish List and Experience So Far Speaker: Jeff Bezanson—Julia Computing Summary: Last year a proof-of-concept WASM port of the Julia run-time was… stack julia assembly thread task model runtime scheduler language memory threads object things lot thing bit kind kinds stuff gc objects From Ross Tate on December 26th, 2020 26 plays Content Categories Presentations Creation Date December 18th, 2020 Creator 1 First Name Jeff Creator 1 Last Name Bezanson Creator 1 Role Presenter Language English Searchable Yes Searchable On Cornell Web Search Public Search Engines Landing Page http://soil-initiative.org/seminar/#20201218
01:08:55 SOIL Seminar: An Indexed Type System for Fast and… SOIL Seminar: An Indexed Type System for Fast and Safe WebAssembly	SOIL Seminar: An Indexed Type System for Fast and Safe WebAssembly Title: An Indexed Type System for Fast and Safe WebAssembly Speaker: Adam Geller—University of British Columbia Summary: Often in low-level languages (i.e., assembly languages), potentially… assembly function constraint checks variable instruction language values types instructions memory integer constraints division precondition functions From Ross Tate on December 7th, 2020 16 plays Creation Date December 8th, 2020 Creator 1 First Name Adam Creator 1 Last Name Geller Creator 1 Role Presenter Language English Searchable Yes Searchable On Cornell Web Search Public Search Engines Landing Page http://soil-initiative.org/seminar/#20201207
01:12:25 SOIL Seminar: Wasm/k: Delimited Continuations for… SOIL Seminar: Wasm/k: Delimited Continuations for WebAssembly	SOIL Seminar: Wasm/k: Delimited Continuations for WebAssembly Title: Wasm/k: Delimited Continuations for WebAssembly Speaker: Donald Pinckney—University of Massachusetts, AmherstSummary: WebAssembly is designed to be an alternative to JavaScript that is a… stack function continuation assembly control memory shadow instruction table copy generator call semantics handler From Ross Tate on October 23rd, 2020 17 plays Creation Date October 23rd, 2020 Creator 1 First Name Donald Creator 1 Last Name Pinckney Creator 1 Role Presenter Contributing Unit Computer Science \| Department Language English Searchable Yes Searchable On Public Search Engines Landing Page http://soil-initiative.org/seminar/#20201023
55:20 SOIL Seminar: Decomposing C++ Modules for Fast… SOIL Seminar: Decomposing C++ Modules for Fast Load Times	SOIL Seminar: Decomposing C++ Modules for Fast Load Times Title: Decomposing C++ Modules for Fast Load TimesSpeaker: Thomas Lively—GoogleSummary: Even with streaming baseline compilers, downloading and compiling large WebAssembly modules can… module assembly function functions stack application memory table call script binary load modules js javascript size From Ross Tate on October 12th, 2020 67 plays Creation Date October 12th, 2020 Creator 1 First Name Thomas Creator 1 Last Name Lively Creator 1 Role Presenter Contributing Unit Computer Science \| Department Language English Searchable Yes Searchable On Public Search Engines Landing Page http://soil-initiative.org/seminar/#20201012
01:09:57 Fabricate Day Three VOD Fabricate Day Three VOD	Fabricate Day Three VOD RECORDED LIVE SESSIONSFabricate Day Three EastFabricate Day Three West FABRICATE 2020 is a four-day peer-reviewed international online conference and book, with supporting events, exploring the… 3d building structure construction shell fabrication geometry concrete form formwork material fiber structures textile materials process floor lot pavilion assembly From Andre Hafner on September 8th, 2020 1,030 plays
01:24:10 Fabricate Day One VOD Fabricate Day One VOD	Fabricate Day One VOD RECORDED LIVE SESSIONSFabricate Day One East Fabricate Day One West ARUP AFTER@FABRICATE2020 Day One East ARUP AFTER@FABRICATE2020 Day One West FABRICATE 2020 is a four-day peer-reviewed… 3d material construction architecture wood structure building fabrication surface materials scale layer production structures blocks form assembly cambridge session process From Andre Hafner on September 8th, 2020 3,058 plays
44:29 20200721_Employee Assembly Staff Feedbck Forum -… 20200721_Employee Assembly Staff Feedbck Forum - Virtual Community	20200721_Employee Assembly Staff Feedbck Forum - Virtual Community working remotely intentional strategy emotional intelligence feedback people intelligence romanian masculine given names good time oral communication remote experience analytic philosophy strategic management caption complete internet terminology internet forum terminology hypocorisms human resource management question great idea work remotely open forum support network topical form intention training program political terminology great suggestion feminine given names affinity group employee assembly positions of authority big red good day great question stereotypes social concepts educational psychology employee experience american comedy webcomics developmental psychology extraordinary time community members thing political philosophy comedy webcomics couple things good afternoon electronic feedback From Wendy Treat on July 21st, 2020 75 plays
30:16 20200715_Employee Assembly Staff Feedback Forum… 20200715_Employee Assembly Staff Feedback Forum Professional Growth	20200715_Employee Assembly Staff Feedback Forum Professional Growth supervisor skill set thoroughbred racehorses top performers avex trax singles political communication leadership program full time topical forum industrial and organizational psychology employment reasoning top-level domains personal development organizational theory bob wakeman management internet forum terminology career path administration great time responsibilities leadership mathematical notation caption complete professional development development business students program class employee assembly positions of authority employee degree program strategic management political science terminology 1st thing opportunity great attitude transferable skills social concepts question skills professional growth thing political philosophy business terms current job educating people educational stages From Wendy Treat on July 17th, 2020 28 plays
01:00:46 20200709_Employee Assembly Staff Forum 20200709_Employee Assembly Staff Forum	20200709_Employee Assembly Staff Forum motivation higher education international relations cornell medicine faculty staff vice president mutual responsibility people dying collaboration fiscal year operating costs frequent testing health economics marching couple years difficult time corporate finance great recession close collaboration staff members creativity working extremely hard work remotely open forum assumption wages and salaries remote work innovation microeconomics hiring pause plan design caption complete hiring freeze job loss hybrid model remote workplace financial aid county health department felt comfortable public health musical quartets financial downturn executive vice voluntary retirement incentive $7.00 days health system retirement contribution human resource management problem solving skills international students architectural design fewer people employ assembly educational stages good questions entire budget moving parts personal finance broken record community members salary freeze guiding principles design current situation workplace agreement common support functions musical groups from boston From Wendy Treat on July 9th, 2020 214 plays
35:39 CNF 30th - A Tiny Revolution: New Tools for… CNF 30th - A Tiny Revolution: New Tools for Synthetic Biology	CNF 30th - A Tiny Revolution: New Tools for Synthetic Biology silicon membrane borrowed ideas scotch tape silicon dioxide artificial cell protein factory nano system electricity plant physiology sugar molecules focused electron beam meetings single nucleotide polymorphisms george whitesides powerful tool current falls producing protein poor current basically produce electric field bacteriology special voltage negative electrode assembly area double strand biological systems membrane technology soil contamination dimensional version genetics cell biology hair pin microbiology atomic physics force required biology and pharmacology of chemical elements gene expression protein biosynthesis green cell electron beam nucleotide polymorphisms meter diameter physiology low voltage green receiver cell communication green arrays repressor protein length optical tweezers optical trap threshold voltage cutoff frequency excipients tightly focused electron nanometer diameter poor cell membrane d.n.a. molecule red center dna sequence d.n.a. lactose substitute molecular biology quorum sensing chemical engineering dimensional array physical quantities magnesium ions cells threshold behavior magnesium behavior electrical engineering red cells sweeteners positive electrode caption complete silicon layer coggan sequence sputter atoms biophysics molecular gate genetic code mediasite electromagnetism spaceflight diffusion limited environment threshold shift chemical sequence biotechnology chemistry limited number 3play_vodcnf_standard From Karlis Musa on February 19th, 2020 8 plays Content Categories Presentations Creation Date June 14th, 2007 Creator 1 First Name Gregory Creator 1 Last Name Timp