1342 search results - page 171 / 269 » Ordered Programs as Abductive Systems |
PARELEC
2000
IEEE
14 years 1 months ago
2000
IEEE
The purpose of this paper consists of demonstrating an implementation methodology of sequential and distributed simulations using Java programming: two specific algorithms based o...
SIGOPSE
2000
ACM
14 years 1 months ago
2000
ACM
The role of small devices in the emerging all-connected computer infrastructure is growing. So are the requirements that the application execution environments face. Portability, ...
LCPC
1999
Springer
14 years 1 months ago
1999
Springer
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
EUROPAR
2000
Springer
14 years 14 days ago
2000
Springer
In this paper we discuss the behavior of the replacement mechanism of well-known COMA protocols applied to a loosely-coupled multicomputer system sharing a common bus. We also pres...
FMOODS
2007
13 years 10 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...