3307 search results - page 389 / 662 » The meaning of concurrent programs |
181
click to vote
FPGA
1997
ACM
15 years 11 months ago
1997
ACM
Configurable Computing Machines (CCMs) are an emerging class of computing platform which provide the computational performance benefits of ASICs, yet retain the flexibility and ra...
174
click to vote
EWHCI
1993
15 years 11 months ago
1993
One of the new design goals in Human Computer Interaction is to extend the sensory-motor capabilities of computer systems to better match the natural communication means of human b...
154
click to vote
LICS
1992
IEEE
15 years 11 months ago
1992
IEEE
The aim of this paper is to find the finest `observable' and `implementable' equivalence on concurrent processes. This is a part of a larger programme to develop a theor...
181
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
175
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
The advent of networking technologies and high performance transport protocols facilitates the service of storage over networks. However, they pose challenges in integration and i...