Machine code

Known as: Program machine code, Native applications, Code (disambiguation) 
Machine code or machine language is a set of instructions executed directly by a computer's central processing unit (CPU). Each instruction performs… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1951-2018
05010015019512017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by… (More)
  • figure 1
  • figure 2
Is this relevant?
2009
2009
Formal program verification provides mathematical means of increasing assurance for the correctness of software. Most approaches… (More)
  • figure 3.3
Is this relevant?
2007
2007
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
A great deal of software is distributed in the form of executable code. The ability to reverse engineer such executables can… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Binary code injection into an executing program is a common form of attack. Most current defenses against this form of attack use… (More)
  • table 1
  • figure 1
  • table 2
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Jalapeño is a virtual machine for Java servers written in the Java language. To be able to address the requirements of servers… (More)
  • figure 7
  • figure 9
Is this relevant?
2000
2000
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1998
1998
CPUs are often seen as sequential, however they have a high degree of internal parallelism, typically operating on 32 or 64 bits… (More)
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
The majority of commercial computers today are register machines of von Neumann type. We have developed a method to evolve Turing… (More)
Is this relevant?