419 search results - page 47 / 84 » A Thread of HOL Development |
103
click to vote
ECLIPSE
2004
ACM
15 years 5 months ago
2004
ACM
Debugging distributed applications is a wellknown challenge within the realm of Computer Science. Common problems faced by developers include: lack of an observable global state, ...
SAMOS
2004
Springer
15 years 5 months ago
2004
Springer
Embedded digital signal processors for baseband communication systems have stringent design constraints including high computational bandwidth, low power consumption, and low inter...
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
We propose a new representation to describe mobile agents computations, where the underlying control structures are diffusing computations. Usually, distributed coms are abstracte...
JAVA
1999
Springer
15 years 4 months ago
1999
Springer
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. The Java memory model is hard to interp...
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it support...