Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 222,884,069 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.
Highly Cited
2013
Highly Cited
2013
Virtual machine security challenges: case studies
A. Rehman
,
Sultan S. Alqahtani
,
A. Altameem
,
T. Saba
International Journal of Machine Learning and…
2013
Corpus ID: 3041862
Currently Virtual Machines (VMs) have many applications and their use is growing constantly as the hardware gets more powerful…
Expand
Highly Cited
2010
Highly Cited
2010
Axel: a heterogeneous cluster with FPGAs and GPUs
K. H. Tsoi
,
W. Luk
Symposium on Field Programmable Gate Arrays
2010
Corpus ID: 6036005
This paper describes a heterogeneous computer cluster called Axel. Axel contains a collection of nodes; each node can include…
Expand
Highly Cited
2009
Highly Cited
2009
Interacting services: From specification to execution
Gero Decker
,
Oliver Kopp
,
F. Leymann
,
M. Weske
Data & Knowledge Engineering
2009
Corpus ID: 2300847
Highly Cited
2008
Highly Cited
2008
MDD4SOA: Model-Driven Service Orchestration
Philip Mayer
,
Andreas Schroeder
,
N. Koch
12th International IEEE Enterprise Distributed…
2008
Corpus ID: 16206765
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software…
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
Highly Cited
2004
Highly Cited
2004
How to Disembed a Program?
Benoît Chevallier-Mames
,
D. Naccache
,
Pascal Paillier
,
D. Pointcheval
IACR Cryptology ePrint Archive
2004
Corpus ID: 8844855
This paper presents the theoretical blueprint of a new secure token called the Externalized Microprocessor (X μ P). Unlike a…
Expand
Highly Cited
2004
Highly Cited
2004
ArchC: a systemC-based architecture description language
S. Rigo
,
G. Araújo
,
Marcus Bartholomeu
,
R. Azevedo
Symposium on Computer Architecture and High…
2004
Corpus ID: 12056198
This paper presents an architecture description language (ADL) called ArchC, which is an open-source SystemC-based language that…
Expand
Highly Cited
2002
Highly Cited
2002
Optimization of fuzzy production inventory models
C. Hsieh
Information Sciences
2002
Corpus ID: 36171248
Highly Cited
2002
Highly Cited
2002
Automating speculative queries through event-based requirements traceability
J. Cleland-Huang
,
Carl K. Chang
,
Gaurav Sethi
,
Kumar Javvaji
,
Haijian Hu
,
Jinchun Xia
Proceedings IEEE Joint International Conference…
2002
Corpus ID: 10738488
Posing speculative questions about a software system is an important yet often unsupported activity. Current impact analysis…
Expand
Highly Cited
1980
Highly Cited
1980
An Approach to Concurrent Control Flow Checking
S. Yau
,
Fu-Chung Chen
IEEE Transactions on Software Engineering
1980
Corpus ID: 2253073
A control flow checking scheme capable of detecting control flow errors of programs resulting from software coding errors…
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