Intel MCS-51

Known as: Intel 8031, 80C51, Boolean 
The Intel MCS-51 (commonly termed 8051) is an internally Harvard architecture, complex instruction set computing (CISC) instruction set, single chip… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Humans routinely formulate plans in domains so complex that even the most powerful computers are taxed. To do so, they seem to… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2012
2012
We present a proof of correctness in Matita for an optimising assembler for the MCS-51 microcontroller. The efficient expansion… (More)
Is this relevant?
Highly Cited
2012
Highly Cited
2012
Cytokinins as key regulators in plant–microbe–insect interactions: connecting plant growth and defence David Giron*, Enric Frago… (More)
  • figure 1
  • table 1
  • figure 2
Is this relevant?
2010
2010
This research develops a conceptual model for predicting success of process improvement projects as a result of knowledge… (More)
  • figure 1
  • table 1
Is this relevant?
2009
2009
Embedded systems are ubiquitous and their software is in most cases the elaborate part of the system. The use of formal… (More)
  • figure 1
  • figure 2
  • table I
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This paper presents an architecture description language (ADL) called ArchC, which is an open-source SystemC-based language that… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
VLSI system performance increased by five orders of magnitude in the last three decades, made possible by continued technology… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The security of sensor network s is ever more important nowadays. In this paper we propose a new protocol BROSK to construct link… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
In this paper we present our C/C++-based design environment for hardware/software co-verification. Our approach is to use C/C… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 3
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Gregory D. D. Hurst1*, Francis M. Jiggins2, J. Hinrich Graf von der Schulenburg2, Dominique Bertrand2, Stuart A. West3, Irina I… (More)
  • figure 1
Is this relevant?