1757 search results - page 169 / 352 » Integrating and Extending JCSP |
151
click to vote
CCS
1998
ACM
15 years 8 months ago
1998
ACM
Many modern computing environments involve dynamic peer groups. Distributed simulation, multi-user games, conferencing and replicated servers are just a few examples. Given the op...
SIGGRAPH
1998
ACM
15 years 8 months ago
1998
ACM
It has become increasingly difficult to drive a modern highperformance graphics accelerator at full speed with a serial immediate-mode graphics interface. To resolve this problem,...
142
Voted
DAC
1997
ACM
15 years 8 months ago
1997
ACM
Novel test bench techniques are required to cope with a functional test complexity which is predicted to grow much more strongly than design complexity. Our test bench approach at...
179
click to vote
ISKI
1994
15 years 8 months ago
1994
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...
129
click to vote
POPL
1994
ACM
15 years 8 months ago
1994
ACM
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...