Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,495,980 papers from all fields of science
Search
Sign In
Create Free Account
Out-of-order execution
Known as:
Dynamic execution
, In-order processor
, Ooe
Expand
In computer engineering, out-of-order execution (or more formally dynamic execution) is a paradigm used in most high-performance microprocessors to…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
AMD K5
ARM Cortex-A12
ARM Cortex-A7
ARM Cortex-A9
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
CellMR: A framework for supporting mapreduce on asymmetric cell-based clusters
M. M. Rafique
,
Benjamin Rose
,
A. Butt
,
Dimitrios S. Nikolopoulos
IEEE International Symposium on Parallel…
2009
Corpus ID: 169134
The use of asymmetric multi-core processors with on-chip computational accelerators is becoming common in a variety of…
Expand
2008
2008
Predictable Out-of-Order Execution Using Virtual Traces
J. Whitham
,
N. Audsley
IEEE Real-Time Systems Symposium
2008
Corpus ID: 491802
The problem of worst-case execution time (WCET) analysis of complex CPUs is addressed in this paper using a proposed…
Expand
2005
2005
Executable task models
Tobias Klug
,
J. Kangasharju
International Workshop on Task Models and…
2005
Corpus ID: 18840438
Current task modeling techniques have a shortcoming in that they only use the model at design time. This means that the…
Expand
Highly Cited
2004
Highly Cited
2004
STEPS towards Cache-resident Transaction Processing
S. Harizopoulos
,
A. Ailamaki
Very Large Data Bases Conference
2004
Corpus ID: 28619307
2002
2002
Formal Verification of Out-of-Order Execution with Incremental Flushing
Robert B. Jones
,
J. U. Skakkebæk
,
D. Dill
Formal Methods Syst. Des.
2002
Corpus ID: 32418489
We present an approach for formally verifying that a high-level microprocessor model behaves as defined by an instruction-set…
Expand
1998
1998
An adaptive approach to object-oriented real-time computing
E. Nett
,
M. Gergeleit
,
M. Mock
IEEE International Symposium on Real-Time…
1998
Corpus ID: 14083193
Real time computing is becoming an enabling technology for many important distributed applications such as flexible manufacturing…
Expand
1997
1997
Verifying out-of-order executions
W. Damm
,
A. Pnueli
Conference on Correct Hardware Design and…
1997
Corpus ID: 8664538
The paper presents an approach to the specification and verification of out-of-order execution in the design of micro-processors…
Expand
1995
1995
A 64b 4-issue out-of-order execution RISC processor
G. Shen
,
N. Patkar
,
+17 authors
T. Williams
IEEE International Solid-State Circuits…
1995
Corpus ID: 60698408
This processor is the first implementation of the SPARC V9 64b instruction set architecture and has an estimated performance…
Expand
1993
1993
Visualization of Message Passing Parallel Programs with the TOPSYS Parallel Programming Environment
T. Bemmerl
,
P. Braun
J. Parallel Distributed Comput.
1993
Corpus ID: 27658887
Abstract Parallel programming is orders of magnitudes more complex than writing sequential programs. This is particularly true…
Expand
Highly Cited
1983
Highly Cited
1983
On the design of a query processing strategy in a distributed database environment
Clement T. Yu
,
C. Chang
ACM SIGMOD Conference
1983
Corpus ID: 16386282
An algorithm is given to process a given query in a fragmented distributed data base environment. Unlike previous algorithms, it…
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