Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,209,347 papers from all fields of science
Search
Sign In
Create Free Account
Arvind (computer scientist)
Arvind Mithal (usually referred to as just Arvind) is the Johnson Professor of Computer Science and Engineering in the Computer Science and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Computer engineering
Dataflow
Formal verification
Harry H. Goode Memorial Award
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
SOLAR POWERED DC TO DC BUCK-BOOST CONVERTER WITH MPPT CONTROL
Bajpai
,
A. Mittal
2014
Corpus ID: 212515823
This paper discusses the solar powered dc to dc buck boost converter which can work in both buck mode and in boost mode according…
Expand
2011
2011
Toward Polyhydroxyalkanoate Production Concurrent with Municipal Wastewater Treatment in a Sequencing Batch Reactor System
Erik R. Coats
,
K. Vandevoort
,
J. Darby
,
F. Loge
2011
Corpus ID: 22526110
Bacteria can synthesize cytoplasmic granules known as polyhydroxyalkanoates PHAs, which are carbon and energy storage reserves…
Expand
2006
2006
Entertainment-Education and Health Promotion: A Cross-Continental Journey
A. Singhal
,
K. Njogu
,
M. Bouman
,
Eliana Elías
2006
Corpus ID: 168383077
Sometimes when you’re out of town, the future can go by. That happened to me in Los Angeles. Ev was hosting what would become the…
Expand
2005
2005
A distributed algorithm for logical location estimation in speckled computing
R. McNally
,
K. Wong
,
D. Arvind
IEEE Wireless Communications and Networking…
2005
Corpus ID: 2401705
Speckled computing (Arvind, D.K. and Wong, K.J., Proc. IEEE Int. Symp. on Consumer Electronics, p.219-23, 2004) is an emerging…
Expand
2004
2004
Counting Complexity of Solvable Black-Box Group Problems
N. V. Vinodchandran
SIAM journal on computing (Print)
2004
Corpus ID: 207078498
We place many computational problems over solvable black-box groups in the counting complexity classes SPP or LWPP\@. The classes…
Expand
2004
2004
The ephemeral history register: flexible scheduling for rule-based designs
Daniel L. Rosenband
Proceedings. Second ACM and IEEE International…
2004
Corpus ID: 16866253
The quality of high-level synthesis results is strongly dependant on the concurrency that can be found in designs. In this paper…
Expand
1998
1998
Compiling for parallel multithreaded computation on symmetric multiprocessors
A. Shaw
1998
Corpus ID: 6053686
Shared-memory symmetric multiprocessors (SMP's) based on conventional microprocessors are by far the most common parallel…
Expand
1986
1986
A new array operation
P. Wadler
Graph Reduction
1986
Corpus ID: 29338398
A new monolithic array operation has been proposed. The operation is similar to earlier proposals, except that it uses the fold…
Expand
Highly Cited
1982
Highly Cited
1982
A Practical Data Flow Computer
I. Watson
,
J. Gurd
Computer
1982
Corpus ID: 14883191
Based on a tagged dynamic data flow model, this prototype machine has eight unusual matching functions for handling incoming data…
Expand
1976
1976
A computer capable of exchanging processing elements for time
K. Gostelow
,
Arvind
1976
Corpus ID: 215950119
Author(s): Gostelow, Kim P.; Arvind | Abstract: With the advent of LSI technology large numbers of inexpensive processors have…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE