fsl a program logic for c11 memory fences
play

FSL: A Program Logic for C11 Memory Fences Marko Doko Viktor - PowerPoint PPT Presentation

Jan 11, 2023 •214 likes •1.04k views

FSL: A Program Logic for C11 Memory Fences Marko Doko Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) VMCAI 2016 Why C11? Oddities of weak memory W( ,0) W( ,0)

  1. FSL: A Program Logic for C11 Memory Fences Marko Doko Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) VMCAI 2016

  2. Why C11? Oddities of weak memory W( ① ,0) W( ② ,0) ① ❂ ✵❀ ② ❂ ✵❀ ① ❂ ✶❀ ② ❂ ✶❀ W( ① ,1) W( ② ,1) ♣r✐♥t ②❀ ♣r✐♥t ①❀ R( ② ,0) R( ① ,0) 1

  3. Why C11? Oddities of weak memory W( ① ,0) W( ② ,0) ① ❂ ✵❀ ② ❂ ✵❀ ① ❂ ✶❀ ② ❂ ✶❀ W( ① ,1) W( ② ,1) ♣r✐♥t ②❀ ♣r✐♥t ①❀ Both threads can print 0! R( ② ,0) R( ① ,0) 2

  4. Why C11? Oddities of weak memory W( ① ,0) W( ② ,0) ① ❂ ✵❀ ② ❂ ✵❀ ① ❂ ✶❀ ② ❂ ✶❀ W( ① ,1) W( ② ,1) ♣r✐♥t ②❀ ♣r✐♥t ①❀ Both threads can print 0! R( ② ,0) R( ① ,0) 3

  5. Why C11? Oddities of weak memory W( ① ,0) sb W( ② ,0) ① ❂ ✵❀ sb sb ② ❂ ✵❀ ① ❂ ✶❀ ② ❂ ✶❀ W( ① ,1) W( ② ,1) ♣r✐♥t ②❀ ♣r✐♥t ①❀ sb sb Both threads can print 0! R( ② ,0) R( ① ,0) sb – sequenced-before 4

  6. Why C11? Oddities of weak memory W( ① ,0) sb W( ② ,0) ① ❂ ✵❀ sb sb rf ② ❂ ✵❀ ① ❂ ✶❀ ② ❂ ✶❀ W( ① ,1) W( ② ,1) ♣r✐♥t ②❀ ♣r✐♥t ①❀ rf sb sb Both threads can print 0! R( ② ,0) R( ① ,0) sb – sequenced-before rf – reads-from 5

  7. ✐♥t ❛ ❂ ✵❀ ✐♥t ❛ ❂ ✵❀ ✐♥t ① ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ✐❢✭① ❂❂ ✶✮④ ❛ ❂ ✹✷❀ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ⑥ ⑥ ✐♥t ❛ ❂ ✵❀ ✐♥t ❛ ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ❢❡♥❝❡ ❀ ❢❡♥❝❡ ❀ ⑥ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ⑥ C11 model through examples 6

  8. ✐♥t ❛ ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ⑥ ✐♥t ❛ ❂ ✵❀ ✐♥t ❛ ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ❢❡♥❝❡ ❀ ❢❡♥❝❡ ❀ ⑥ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ⑥ C11 model through examples ✐♥t ❛ ❂ ✵❀ 1 ✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ⑥ 7

  9. ✐♥t ❛ ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ⑥ ✐♥t ❛ ❂ ✵❀ ✐♥t ❛ ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ❢❡♥❝❡ ❀ ❢❡♥❝❡ ❀ ⑥ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ⑥ C11 model through examples ✐♥t ❛ ❂ ✵❀ 1 ✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ race ⑥ 8

  10. ✐♥t ❛ ❂ ✵❀ ✐♥t ❛ ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ❢❡♥❝❡ ❀ ❢❡♥❝❡ ❀ ⑥ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ⑥ C11 model through examples ✐♥t ❛ ❂ ✵❀ ✐♥t ❛ ❂ ✵❀ 1 2 ✐♥t ① ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ❛ ❂ ✹✷❀ ✐❢✭① rlx ❂❂ ✶✮④ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ① rlx ❂ ✶❀ ♣r✐♥t✭❛✮❀ race ⑥ ⑥ 9

  11. ✐♥t ❛ ❂ ✵❀ ✐♥t ❛ ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ❢❡♥❝❡ ❀ ❢❡♥❝❡ ❀ ⑥ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ⑥ C11 model through examples ✐♥t ❛ ❂ ✵❀ ✐♥t ❛ ❂ ✵❀ 1 2 ✐♥t ① ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ❛ ❂ ✹✷❀ ✐❢✭① rlx ❂❂ ✶✮④ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ① rlx ❂ ✶❀ ♣r✐♥t✭❛✮❀ race race ⑥ ⑥ 10

  12. ✐♥t ❛ ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ❢❡♥❝❡ ❀ ❢❡♥❝❡ ❀ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ⑥ C11 model through examples ✐♥t ❛ ❂ ✵❀ ✐♥t ❛ ❂ ✵❀ 1 2 ✐♥t ① ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ❛ ❂ ✹✷❀ ✐❢✭① rlx ❂❂ ✶✮④ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ① rlx ❂ ✶❀ ♣r✐♥t✭❛✮❀ race race ⑥ ⑥ 3 ✐♥t ❛ ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① acq ❂❂ ✶✮④ ① rel ❂ ✶❀ ♣r✐♥t✭❛✮❀ ⑥ 11

  13. ✐♥t ❛ ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ❢❡♥❝❡ ❀ ❢❡♥❝❡ ❀ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ⑥ C11 model through examples ✐♥t ❛ ❂ ✵❀ ✐♥t ❛ ❂ ✵❀ 1 2 ✐♥t ① ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ❛ ❂ ✹✷❀ ✐❢✭① rlx ❂❂ ✶✮④ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ① rlx ❂ ✶❀ ♣r✐♥t✭❛✮❀ race race ⑥ ⑥ 3 ✐♥t ❛ ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① acq ❂❂ ✶✮④ rf ① rel ❂ ✶❀ ♣r✐♥t✭❛✮❀ ⑥ 12

  14. ✐♥t ❛ ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ❢❡♥❝❡ ❀ ❢❡♥❝❡ ❀ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ⑥ C11 model through examples ✐♥t ❛ ❂ ✵❀ ✐♥t ❛ ❂ ✵❀ 1 2 ✐♥t ① ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ❛ ❂ ✹✷❀ ✐❢✭① rlx ❂❂ ✶✮④ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ① rlx ❂ ✶❀ ♣r✐♥t✭❛✮❀ race race ⑥ ⑥ 3 ✐♥t ❛ ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① acq ❂❂ ✶✮④ rf ① rel ❂ ✶❀ ♣r✐♥t✭❛✮❀ sync ⑥ 13

  15. C11 model through examples ✐♥t ❛ ❂ ✵❀ ✐♥t ❛ ❂ ✵❀ 1 2 ✐♥t ① ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ❛ ❂ ✹✷❀ ✐❢✭① rlx ❂❂ ✶✮④ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ① rlx ❂ ✶❀ ♣r✐♥t✭❛✮❀ race race ⑥ ⑥ 3 ✐♥t ❛ ❂ ✵❀ 4 ✐♥t ❛ ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① acq ❂❂ ✶✮④ ❛ ❂ ✹✷❀ ✐❢✭① rlx ❂❂ ✶✮④ rf ① rel ❂ ✶❀ ♣r✐♥t✭❛✮❀ ❢❡♥❝❡ rel ❀ ❢❡♥❝❡ acq ❀ sync ⑥ ① rlx ❂ ✶❀ ♣r✐♥t✭❛✮❀ ⑥ 14

  16. C11 model through examples ✐♥t ❛ ❂ ✵❀ ✐♥t ❛ ❂ ✵❀ 1 2 ✐♥t ① ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ❛ ❂ ✹✷❀ ✐❢✭① rlx ❂❂ ✶✮④ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ① rlx ❂ ✶❀ ♣r✐♥t✭❛✮❀ race race ⑥ ⑥ 3 ✐♥t ❛ ❂ ✵❀ 4 ✐♥t ❛ ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① acq ❂❂ ✶✮④ ❛ ❂ ✹✷❀ ✐❢✭① rlx ❂❂ ✶✮④ rf ① rel ❂ ✶❀ ♣r✐♥t✭❛✮❀ ❢❡♥❝❡ rel ❀ rf ❢❡♥❝❡ acq ❀ sync ⑥ ① rlx ❂ ✶❀ ♣r✐♥t✭❛✮❀ ⑥ 15

  17. C11 model through examples ✐♥t ❛ ❂ ✵❀ ✐♥t ❛ ❂ ✵❀ 1 2 ✐♥t ① ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① ❂❂ ✶✮④ ❛ ❂ ✹✷❀ ✐❢✭① rlx ❂❂ ✶✮④ ① ❂ ✶❀ ♣r✐♥t✭❛✮❀ ① rlx ❂ ✶❀ ♣r✐♥t✭❛✮❀ race race ⑥ ⑥ 3 ✐♥t ❛ ❂ ✵❀ 4 ✐♥t ❛ ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛t♦♠✐❝❴✐♥t ① ❂ ✵❀ ❛ ❂ ✹✷❀ ✐❢✭① acq ❂❂ ✶✮④ ❛ ❂ ✹✷❀ ✐❢✭① rlx ❂❂ ✶✮④ rf ① rel ❂ ✶❀ ♣r✐♥t✭❛✮❀ ❢❡♥❝❡ rel ❀ rf ❢❡♥❝❡ acq ❀ sync sync ⑥ ① rlx ❂ ✶❀ ♣r✐♥t✭❛✮❀ ⑥ 16

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Memory Leak A bug in a program that prevents it from C++: Memory Problems freeing up memory

Memory Leak A bug in a program that prevents it from C++: Memory Problems freeing up memory

Memory Leak A bug in a program that prevents it from C++: Memory Problems freeing up memory that it no longer needs. As a result, the program grabs more and more memory until it finally crashes or because there is no more memory left.

230 views • 6 slides
Edge-effects of fences on elephant movement patterns: Implications for small reserves Abi Tamim

Edge-effects of fences on elephant movement patterns: Implications for small reserves Abi Tamim

Edge-effects of fences on elephant movement patterns: Implications for small reserves Abi Tamim Vanak , Maria Thaker & Rob Slotow University of KwaZulu-Natal Humans, fences and wildlife Keep wildlife out Keep wildlife in Effects of

454 views • 22 slides
Implementing Logic in FPGA Embedded Memory Arrays: Heterogeneous Memory Architectures Steve

Implementing Logic in FPGA Embedded Memory Arrays: Heterogeneous Memory Architectures Steve

Implementing Logic in FPGA Embedded Memory Arrays: Heterogeneous Memory Architectures Steve Wilton University of British Columbia Vancouver, B.C., Canada stevew@ece.ubc.ca As FPGAs Get Bigger... Embedded Memory is becoming critical

539 views • 31 slides
Virtual Memory What if program is bigger than available memory? Split program up and only have

Virtual Memory What if program is bigger than available memory? Split program up and only have

Virtual Memory What if program is bigger than available memory? Split program up and only have part in RAM. Only have what is currently needed in RAM. Paging is widely used. Process is broken up into several pages (e.g. 8K in size). One

899 views • 44 slides
FENCES MAKE GOOD NEIGHBORS? WISCONSIN FENCE LAW ATTORNEY KRIS

FENCES MAKE GOOD NEIGHBORS? WISCONSIN FENCE LAW ATTORNEY KRIS

FENCES MAKE GOOD NEIGHBORS? WISCONSIN FENCE LAW ATTORNEY KRIS HESS WISCONSIN DNR Chapter 90 - Fences Wisconsin Fence Law Issues When is a

606 views • 21 slides
UMBC A B M A L T F O U M B C I M Y O R T 1 (12/1/04) I E S R C E O V U

UMBC A B M A L T F O U M B C I M Y O R T 1 (12/1/04) I E S R C E O V U

Advanced VLSI Design Sequential Logic Design I CMPE 640 Concepts In sequential logic, the outputs depend not only on the inputs, but also on the preceding input values... it has memory. Memory can be implemented in 2 ways: Positive

181 views • 17 slides
T3-Memory Index Memory management concepts Basic Services Program loading in

T3-Memory Index Memory management concepts Basic Services Program loading in

T3-Memory Index Memory management concepts Basic Services Program loading in memory Dynamic memory HW support To memory assignment To address translation Services to optimize physical memory usage COW

818 views • 56 slides
A Strategic Epistemic Logic for Bounded Memory Agents Sophia Knight CNRS, Universit e de

A Strategic Epistemic Logic for Bounded Memory Agents Sophia Knight CNRS, Universit e de

Introduction Background Memory The Logic Final Remarks A Strategic Epistemic Logic for Bounded Memory Agents Sophia Knight CNRS, Universit e de Lorraine, Nancy, France Workshop on Resource Bounded Agents Barcelona 12 August, 2015

1.03k views • 48 slides
Memory Management 54 Memory Management Programs expand to fill the memory that holds them.

Memory Management 54 Memory Management Programs expand to fill the memory that holds them.

Memory Management 54 Memory Management Programs expand to fill the memory that holds them. Preparing a program for execution Development of programs Source program Compilation/Assembly Object program Linking / Linkage

575 views • 21 slides
Logic programming Logic program A set of logical formulas Logic programming

Logic programming Logic program A set of logical formulas Logic programming

Logic programming Logic program A set of logical formulas Logic programming Writing formulas, "describing rules of the game" Execution of a program Searching for a result that fulfills the rules Principles of

133 views • 10 slides
Von Newman Architecture (1/3) COMP9032: Microprocessors and Interfacing Memory (Program and

Von Newman Architecture (1/3) COMP9032: Microprocessors and Interfacing Memory (Program and

Von Newman Architecture (1/3) COMP9032: Microprocessors and Interfacing Memory (Program and Data) Introduction to Microprocessors Control Unit Arithmetic and Logic Unit http://www.cse.unsw.edu.au/~cs9032 Lecturer: Hui Wu Session 2, 2008

186 views • 7 slides
Logic Bug Hunting in Chrome on Android Infiltrate 17 April, 2017 Agenda Fuzzing and memory

Logic Bug Hunting in Chrome on Android Infiltrate 17 April, 2017 Agenda Fuzzing and memory

Logic Bug Hunting in Chrome on Android Infiltrate 17 April, 2017 Agenda Fuzzing and memory corruptions Introduction to logic flaws General approach to hunting logic bugs Application in Mobile Pwn2Own 2016 Exploit improvement

1.07k views • 52 slides
Logic Bug Hunting in Chrome on Android CanSecWest 17 March, 2017 Agenda Fuzzing and memory

Logic Bug Hunting in Chrome on Android CanSecWest 17 March, 2017 Agenda Fuzzing and memory

Logic Bug Hunting in Chrome on Android CanSecWest 17 March, 2017 Agenda Fuzzing and memory corruptions Introduction to logic flaws General approach to hunting logic bugs Application in Mobile Pwn2Own 2016 Exploit improvement

963 views • 73 slides
Memory hierarchy / Cache Hung-Wei Tseng Memory gap 3 Memory in stored program computer

Memory hierarchy / Cache Hung-Wei Tseng Memory gap 3 Memory in stored program computer

Memory hierarchy / Cache Hung-Wei Tseng Memory gap 3 Memory in stored program computer Processor PC instruction memory 120007a30: 0f00bb27 ldah gp,15(t12) 120007a34: 509cbd23 lda gp,-25520(gp) 120007a38: 00005d24 ldah t1,0(gp)

730 views • 42 slides
Logic and Prolog Lecture 10 Logic Programming The meaning of a Prolog program can be

Logic and Prolog Lecture 10 Logic Programming The meaning of a Prolog program can be

Logic and Prolog Lecture 10 Logic Programming The meaning of a Prolog program can be explained very naturally using First Order Predicate Logic (FOPL). This gives a theoretical basis for Prolog and related computational systems.

568 views • 4 slides
3/11/16 Problem How do we allocate memory during the execution of a program written in C?

3/11/16 Problem How do we allocate memory during the execution of a program written in C?

3/11/16 Problem How do we allocate memory during the execution of a program written in C? Programs need memory for code and data such as Chapter 10 instructions, global and local variables, etc. Memory Model for Modern programming practices

395 views • 8 slides
RF Field Control for 12 GeV Upgrade Tom Powers K. Davis, J. Delayen, H. Dong, A, Hofler, C.

RF Field Control for 12 GeV Upgrade Tom Powers K. Davis, J. Delayen, H. Dong, A, Hofler, C.

RF Field Control for 12 GeV Upgrade Tom Powers K. Davis, J. Delayen, H. Dong, A, Hofler, C. Hovater, S. Kauffman, G. Lahti, J. Musson, T. Plawski, Thomas Jefferson National Accelerator Facility Operated by the Southeastern Universities Research

333 views • 31 slides
Getting Things Done on Computational RFIDs with Energy-Aware Checkpointing and

Getting Things Done on Computational RFIDs with Energy-Aware Checkpointing and

HotPower 08 Getting Things Done on Computational RFIDs with Energy-Aware Checkpointing and Voltage-Aware Scheduling Benjamin Ransford , Shane Clark, Mastooreh Salajegheh, Kevin Fu Department of Computer Science University of

555 views • 36 slides
Drone accidents have increased Drone accidents have increased Drone Crashes Through Window Drone

Drone accidents have increased Drone accidents have increased Drone Crashes Through Window Drone

Matthan : Drone Presence Detection by y Id Identifying Physical Sig ignatures in in the Drones RF F Communicati tion Phuc Nguyen , Hoang Truong, Mahesh Ravindranathan, Anh Nguyen, Richard Han, Tam Vu Drone accidents have increased Drone

628 views • 24 slides
Multimodal Framework Proposal Skip Cave Chief Scientist, Intervoice Inc. 1 Workshop Goals

Multimodal Framework Proposal Skip Cave Chief Scientist, Intervoice Inc. 1 Workshop Goals

Multimodal Framework Proposal Skip Cave Chief Scientist, Intervoice Inc. 1 Workshop Goals Identify & prioritize requirements for changes, extensions, and additions to the MMI architecture to better support Speech, GUI, Ink, and

188 views • 15 slides
Enabling Practical Backscatter Communication for On-body Sensors Pengyu Zhang, Mohammad Rostami,

Enabling Practical Backscatter Communication for On-body Sensors Pengyu Zhang, Mohammad Rostami,

Enabling Practical Backscatter Communication for On-body Sensors Pengyu Zhang, Mohammad Rostami, Pan Hu, Deepak Ganesan UMass Amherst 1 Ubiquitous deployment of on-body sensors Fitness-band Smartphone Smart Watch Biometric clothing Sensor

409 views • 29 slides
Agenda High Power MW and LW The NX Series Complete system packages Some examples

Agenda High Power MW and LW The NX Series Complete system packages Some examples

Agenda High Power MW and LW The NX Series Complete system packages Some examples Chuck Kelly Director of Sales MDCL makes $ence! AUI functionality Nautel Commissioning, Training and Support Wendell Lonergan Your

687 views • 47 slides
Low Impact Focus Group August 16, 2018 Opening Comments This meeting is being recorded

Low Impact Focus Group August 16, 2018 Opening Comments This meeting is being recorded

Low Impact Focus Group August 16, 2018 Opening Comments This meeting is being recorded All lines will be muted. In order to comment, you may: Use the WebEx Raise Hand feature. Send a message to the presenter via WebEx

301 views • 26 slides
Flattening the Transition P Systems with Dissolution Oana Agrigoroaiei Gabriel Ciobanu

Flattening the Transition P Systems with Dissolution Oana Agrigoroaiei Gabriel Ciobanu

Flattening the Transition P Systems with Dissolution Oana Agrigoroaiei Gabriel Ciobanu A.I.Cuza University of Ia si, Department of Interdisciplinary Research, Romania Romanian Academy, Institute of Computer Science, Ia si, Romania

425 views • 31 slides

More recommend