◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

M. Becchi

2 papers hereh-index 283k citations89 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • middle author2

Across the 2 of 2 papers where every author was matched, so the position is known.

fields
  • cs.DC1
  • cs.PL1

identity via Semantic Scholar / OpenAlex

most citedFormal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications

3 citations · 3 across the 2 of their papers we have counts for

collaborators

2 papers

cs.DC2017

Fast Integral Histogram Computations on GPU for Real-Time Video Analytics

Mahdieh Poostchi, Kannappan Palaniappan, Da Li +3

In many Multimedia content analytics frameworks feature likelihood maps represented as histograms play a critical role in the overall algorithm. Integral histograms provide an effi…

cs.PL2012★ 3 cited

Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications

Chris Hathhorn, Michela Becchi, William L. Harrison +1

We extend an off-the-shelf, executable formal semantics of C (Ellison and Rosu's K Framework semantics) with the core features of CUDA-C. The hybrid CPU/GPU computation model of CU…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.