Hermes (programming language)
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
- ASPLOS
- 2014
Work stealing is a promising approach to constructing multithreaded program runtimes of parallel programming languages. This… (More)
Is this relevant?
2010
2010
- 2010
News items play an increasingly important role in the current business decision processes. Due to the large amount of news… (More)
Is this relevant?
2008
2008
- SBCCI
- 2008
We describe an enhanced generic model for Networks-on-Chip (NoCs), implemented in the executable logic of the ACL2 theorem prover… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
- EDBT
- 2006
The aim of this paper is to demonstrate Hermes, a robust framework capable of aiding a spatio-temporal database developer in… (More)
Is this relevant?
2006
2006
- International Conference on Computational Science
- 2006
The dynamic nature and the geographic distribution of scientific resources, require flexible and adaptive computational… (More)
Is this relevant?
2003
2003
- International Journal on Software Tools for…
- 2003
Reliability of medical devices such as the CARA Infusion Pump Control System is of extreme importance given that these devices… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
- ICDCS Workshops
- 2002
In this paper, we argue that there is a need for an event-based middleware to build large-scale distributed systems. Existing… (More)
Is this relevant?
2002
2002
- ISER
- 2002
The problem of dependability is addressed in the context of intelligent experimental robots. Although this problem is now… (More)
Is this relevant?
2001
2001
- JCDL
- 2001
The high publication rate of scholarly material makes searching and br owsing an inconvenient way to keep oneself up-to-date… (More)
Is this relevant?
1991
1991
- CASCON
- 1991
The work reported in this paper is part of a project aimed at designing and prototyping a n application development environment… (More)
Is this relevant?