Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Theano is a compiler for mathematical expressions in Python that combines the convenience of NumPy's syntax with the speed of… Expand
  • figure 5
  • figure 6
  • figure 7
  • figure 8
  • table I
Highly Cited
2005
Highly Cited
2005
This article provides a detailed description of the automatic theorem prover Simplify, which is the proof engine of the Extended… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2005
Highly Cited
2005
Digital image processing allows one to enhance image features of interest while attenuating detail irrelevant to a g iven… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Highly Cited
2003
Highly Cited
2003
Mutual-exclusion locks are currently the most popular mechanism for interpro-cess synchronisation, largely due to their apparent… Expand
  • figure 3.2
  • figure 3.4
  • figure 3.6
  • figure 3.7
  • figure 3.9
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2002
Highly Cited
2002
Current system loggers have two problems: they depend on the integrity of the operating system being logged, and they do not save… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Highly Cited
2001
Highly Cited
2001
  • A. Appel
  • Proceedings 16th Annual IEEE Symposium on Logic…
  • 2001
  • Corpus ID: 14537781
Proof-carrying code is a framework for the mechanical verification of safety properties of machine-language programs, but the… Expand
Highly Cited
1996
Highly Cited
1996
From the Publisher: The nucleus of the Java 2 platform, the Java virtual machine is the technology that enables the Java 2… Expand
  • table 2.1
  • table 2.2
  • table 2.3
  • table 4.1
  • table 4.3
Highly Cited
1996
Highly Cited
1996
Abstract : This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to… Expand
  • figure 2
  • figure 6
  • figure 7
  • figure 8
  • table 1
Highly Cited
1979
Highly Cited
1979
  • M. Kay
  • ACL
  • 1979
  • Corpus ID: 58106824
In computational linguistics, which began in the 1950's with machine translation, systems that are based mainly on the lexicon… Expand