419 search results - page 49 / 84 » A Thread of HOL Development |
139
click to vote
WIESS
2000
15 years 1 months ago
2000
HP Caliper is an architecture for software developer tools that deal with executable (binary) programs. It provides a common framework that allows building of a wide variety of to...
110
click to vote
MACH
1990
15 years 29 days ago
1990
Distributed real-time systems play a very important role in our modern society. They are used in aircraft control, communication systems, military command and control systems, fac...
105
click to vote
LISP
2008
14 years 11 months ago
2008
This article constitutes a thorough presentation of an original scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the ...
AAMAS
2002
Springer
14 years 11 months ago
2002
Springer
The dynamic nature of the World Wide Web makes it a challenge to find information that is both relevant and recent. Intelligent agents can complement the power of search engines to...
104
click to vote
CONCURRENCY
2000
14 years 11 months ago
2000
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. This chapter is hard to interpret and po...