Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,660,510 papers from all fields of science
Search
Sign In
Create Free Account
Executable
Known as:
Executable files
, Object program
, Executable code
Expand
In computing, executable code or an executable file or executable program, sometimes simply an executable, causes a computer "to perform indicated…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Artifact (software development)
Backward compatibility
Behavior tree
Binary file
Expand
Broader (1)
Programming language implementation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
A Branch-and-Cut Algorithm for the Double Traveling Salesman Problem with Multiple Stacks
Manuel A. Alba Martínez
,
J. Cordeau
,
M. dell’Amico
,
M. Iori
INFORMS journal on computing
2013
Corpus ID: 20979576
The double traveling salesman problem with multiple stacks is a variant of the pickup and delivery traveling salesman problem in…
Expand
Highly Cited
2005
Highly Cited
2005
Model-driven semantic Web service composition
Roy Grønmo
,
M. Jäger
Asia-Pacific Software Engineering Conference
2005
Corpus ID: 17077241
As the number of available Web services increases there is a growing demand to realise complex business processes by combining…
Expand
2005
2005
A Compositional Framework for Service Interaction Patterns and Interaction Flows
A. Barros
,
E. Börger
IEEE International Conference on Formal…
2005
Corpus ID: 5891032
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their…
Expand
2004
2004
Business Rule Verbalization
T. Halpin
Information Systems Technology and its…
2004
Corpus ID: 17178683
Business rules should first be specified at the conceptual level, using concepts and languages easily understood by the business…
Expand
2003
2003
On Inspection and Verification of Software with Timing Requirements
Jia Xu
IEEE Trans. Software Eng.
2003
Corpus ID: 15673113
Software with hard timing requirements should be designed using a systematic approach to make its timing properties easier to…
Expand
Review
2000
Review
2000
Plug and play with query algebras: SECONDO, a generic DBMS development environment
S. Dieker
,
R. H. Güting
Proceedings - International Database Engineering…
2000
Corpus ID: 2196943
Presents SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and…
Expand
Highly Cited
1997
Highly Cited
1997
Using a Programming Language for Digital System Design
Rajesh K. Gupta
,
S. Liao
IEEE Design & Test of Computers
1997
Corpus ID: 15486457
HDLs must satisfy important semantic requirements, especially when CAD tools are involved. Designers can meet these requirements…
Expand
1997
1997
Optimization of Complex Systems with OptQuest
M. Laguna
1997
Corpus ID: 1099035
⎯ Optimization of complex systems has been for many years limited to problems that could be formulated as mathematical…
Expand
1993
1993
Synchronization in the MAEstro multimedia authoring environment
G. Drapeau
MULTIMEDIA '93
1993
Corpus ID: 17563677
MAEstro is a distributed, multimedia authoring environment designed to simplify the process of creating multimedia documents [5…
Expand
1989
1989
Modelling sensors: Toward automatic generation of object recognition program
K. Ikeuchi
,
T. Kanade
Computer Vision Graphics and Image Processing
1989
Corpus ID: 3446077
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