Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,190,174 papers from all fields of science
Search
Sign In
Create Free Account
MISRA C
Known as:
MISRA C++
, MISRA-C
, Misra
MISRA C is a set of software development guidelines for the C programming language developed by MISRA (Motor Industry Software Reliability…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
Astrée (static analysis)
C99
Computer security
ECLAIR
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Quantum dot sensitized electrospun mesoporous titanium dioxide hollow nanofibers for photocatalytic applications
Narendra Pratap Singh
,
K. Mondal
,
M. Misra
,
Ashutosh Sharma
,
R. Gupta
2016
Corpus ID: 102172206
In this work, mesoporous, hollow TiO2 nanofibers were fabricated by a coaxial electrospinning technique for the photocatalytic…
Expand
2007
2007
Non‐minimum phase wavelet estimation by non‐linear optimization of all‐pass operators
S. Misra
,
M. Sacchi
2007
Corpus ID: 55380724
Convolution of a minimum‐phase wavelet with an all‐pass wavelet provides a means of varying the phase of the minimum‐phase…
Expand
Highly Cited
1995
Highly Cited
1995
Assessment of microwave permittivity for sensing peach maturity
S. Nelson
,
W. Forbus
,
K. Lawrence
1995
Corpus ID: 53381131
Permittivity measurements were taken from 0.2 to 20 GHz on fresh peaches of three varieties at three stages of maturity during…
Expand
Highly Cited
1993
Highly Cited
1993
New trends in system reliability evaluation
K. Misra
1993
Corpus ID: 60570572
1991
1991
A study of achievable speedup in distributed simulation via NULL messages
Devendra Kumar
,
S. Harous
[ Proceedings] Tenth Annual International Phoenix…
1991
Corpus ID: 39264407
The authors report the results of an experimental study on distributed simulation of two open queueing networks. The distributed…
Expand
Review
1990
Review
1990
A UNITY-Style Programming Logic for Shared Dataspace Programs
H. C. Cunningham
,
G. Roman
IEEE Trans. Parallel Distributed Syst.
1990
Corpus ID: 18151709
A proof system for a shared dataspace programming notation called Swarm (a programming logic similar in style to that of UNITY…
Expand
Highly Cited
1988
Highly Cited
1988
Improved algorithms for distributed resource allocation
E. Styer
,
G. Peterson
ACM SIGACT-SIGOPS Symposium on Principles of…
1988
Corpus ID: 18532738
Eugene St yer Gary L. Peterson School of Information and Computer Science Georgia Institute of Technology Atlanta, Ga. 30332 The…
Expand
1988
1988
Characterization of Parallelism and Deadlocks in Distributed Digital Logic Simulation
Larry Soulé
,
Anoop Gupta
26th ACM/IEEE Design Automation Conference
1988
Corpus ID: 14962372
This paper explores the suitability of the Chandy-Misra algorithm for digital logic simulation. We use four realistic circuits as…
Expand
1979
1979
Distribution and electrophoretic properties of alcohol-soluble proteins in normal and high-lysine sorghums
J. Paulis
,
J. Wall
1979
Corpus ID: 53668000
Electrophoretic patterns and amino acid compositions were compared between alcohol-soluble proteins from normal and high-lysine…
Expand
1974
1974
On the Systematics and identity of four pelagicSharks of the family Carcharhinidaefrom Indian region
R. Nair
,
K. K. Appukkuttan
,
M. E. Rajapandian
1974
Corpus ID: 84540944
Four species of pelagic sharks of the family Carcharhinidae belonging to the genera ScoUodon, Loxodon and Rhizoprionodon viz…
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