Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,229,881 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
2010
2010
A Critical Look at Fixed Point Theorems for Occasionally Weakly Compatible Maps in Probabilistic Semi-Metric Spaces
K. Sastry
,
P. Prasad
,
V. M. Latha
2010
Corpus ID: 123594024
In this paper, certain modifications of the results given in Harish Chandra and Arvind Bhatt (1) are shown.
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
1976
1976
Programming in a viable data flow language
Arvind
,
K. Gostelow
,
Wil Plouffe
1976
Corpus ID: 215849314
Author(s): Arvind; Gostelow, Kim P.; Plouffe, Wil | Abstract: Current solid state technology suggests that future computers will…
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