Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,732,000 papers from all fields of science
Search
Sign In
Create Free Account
Hermes (programming language)
Known as:
Hermes (disambiguation)
Hermes is a language for distributed programming that was developed at IBM's Thomas J. Watson Research Center from 1986 through 1992. Hermes' primary…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Cyclone
Definite assignment analysis
Java
Pointer (computer programming)
Expand
Broader (1)
Distributed computing
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Dynamic Symbolic Verification of MPI Programs
Dhriti Khanna
,
Subodh Sharma
,
César Rodríguez
,
Rahul Purandare
World Congress on Formal Methods
2018
Corpus ID: 51877747
The success of dynamic verification techniques for Message Passing Interface (MPI) programs rests on their ability to address…
Expand
2016
2016
HERMES: A high-level policy language for high-granularity enterprise-wide secure browser configuration management
Ananth A. Jillepalli
,
D. Leon
,
Stuart Steiner
,
Frederick T. Sheldon
IEEE Symposium Series on Computational…
2016
Corpus ID: 6883013
In this article, we describe the characteristics, structure, and uses of HERMES. HERMES is a high-level security policy…
Expand
2014
2014
Multiscale Simulation of Pedestrians for Faster Than Real Time Modeling in Large Events
B. Steffen
,
Mohcine Chraibi
International Conference on Cellular Automata for…
2014
Corpus ID: 6383164
The Hermes project [1] demonstrated the usefulness of on site faster than real time simulations of probable evacuation scenarios…
Expand
Review
2010
Review
2010
HerMES: SPIRE detection of high-redshift massive compact galaxies in GOODS-N field
A. Cava
,
G. Rodighiero
,
+47 authors
G. Wright
2010
Corpus ID: 39528266
We have analysed the rest-frame far-infrared properties of a sample of massive (M_★ > 10^(11) M_⊙) galaxies at 2 ≲ z ≲ 3 in the…
Expand
2009
2009
Paediatric HERMES: a European Syllabus in Paediatric Respiratory Medicine
M. Gappa
,
Julie-Lyn Noël
,
+14 authors
J. Paton
2009
Corpus ID: 56593128
2007
2007
Byzantine robust trust establishment for mobile ad hoc networks
Charikleia Zouridaki
,
B. L. Mark
,
Marek Hejmo
Telecommunications Systems
2007
Corpus ID: 6230337
Abstract In a mobile ad hoc network (MANET), the nodes act both as traffic sources and as relays that forward packets from other…
Expand
2002
2002
HERMES - an Intelligent Humanoid Robot Designed and Tested for Dependability
R. Bischoff
,
V. Graefe
International Symposium on Experimental Robotics
2002
Corpus ID: 5734565
The problem of dependability is addressed in the context of intelligent experimental robots. Although this problem is now…
Expand
1991
1991
Experts systems to assist first responders to chemical emergencies
J. Hushon
1991
Corpus ID: 62537376
1991
1991
Transaction management in Hermes
Dexter P. Bradshaw
,
R. L. Sunday
,
P. Larson
Conference of the Centre for Advanced Studies on…
1991
Corpus ID: 35097274
The main objective of our research is to provide efficient mechanisms for storing and accessing bulk data using Hermes. The…
Expand
1987
1987
The Sacrifice of Eumaeus Reconsidered
A. Petropoulou
1987
Corpus ID: 55351888
I N HOMER it is generally self-evident that sacrificial gifts are intended for the divinity to whom the sacrifice is offered. The…
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