Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,869,416 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
Low-power hardware synthesis from TRS-based specifications
Gaurav Singh
,
S. Shukla
Fourth ACM and IEEE International Conference on…
2006
Corpus ID: 2701172
Synthesis from guarded atomic actions used for high-level descriptions of hardware designs has been shown to be a successful…
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
Pim Lite: Vlsi Prototype of a Multithreaded Processor-In-Memory Chip
Shyamkumar Thoziyoor
2004
Corpus ID: 59775671
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
1985
1985
The stream machine: a data flow architecture for real-time applications
P. Barth
,
S. Guthery
,
D. Barstow
International Conference on Software Engineering
1985
Corpus ID: 17964628
The Stream Machine is a software architecture designed to support the development and evolution, as well as the efficient…
Expand
1975
1975
A new interpreter for data flow schemas and its implications for computer architecture
Arvind
,
K. Gostelow
1975
Corpus ID: 215917023
Author(s): Arvind; Gostelow, Kim P. | Abstract: The execution of a program may be viewed as the processing of a statement in a…
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
or Only Accept Required