Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,976,207 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
2009
2009
Reseña de "The Ugly Kashmiri (Cameos in exile)," de GIGOO, Arvind
Hari Nair
2009
Corpus ID: 191001264
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
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
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
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
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