Skip to search formSkip to main contentSkip to account menu

Executable

Known as: Executable files, Object program, Executable code 
In computing, executable code or an executable file or executable program, sometimes simply an executable, causes a computer "to perform indicated… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Artifact (software development)Backward compatibilityBehavior treeBinary file

Broader (1)

Programming language implementation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Wavelet-based feature extraction using probabilistic finite state automata for pattern classification
Highly Cited
2006
Highly Cited
2006
Partitioning bin-packing algorithms for distributed real-time systems
In this paper, we study extensions to bin packing algorithms to pack software modules into processors in real-time systems. We… 
Highly Cited
2005
Highly Cited
2005
Model-driven semantic Web service composition
As the number of available Web services increases there is a growing demand to realise complex business processes by combining… 
2005
2005
A Compositional Framework for Service Interaction Patterns and Interaction Flows
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their… 
Review
2000
Review
2000
Plug and play with query algebras: SECONDO, a generic DBMS development environment
Presents SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and… 
Highly Cited
2000
Highly Cited
2000
Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
Abstract.A program slice consists of the parts of a program that may affect or are affected by the value being computed at the… 
Review
2000
Review
2000
Building Equational Proving Tools by Reflection in Rewriting Logic
Highly Cited
1997
Highly Cited
1997
Using a Programming Language for Digital System Design
HDLs must satisfy important semantic requirements, especially when CAD tools are involved. Designers can meet these requirements… 
1997
1997
Optimization of Complex Systems with OptQuest
⎯ Optimization of complex systems has been for many years limited to problems that could be formulated as mathematical… 
Highly Cited
1980
Highly Cited
1980
An Approach to Concurrent Control Flow Checking
A control flow checking scheme capable of detecting control flow errors of programs resulting from software coding errors… 
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)