Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
Background: The Distributed Annotation System (DAS) is a network protocol for exchanging biological data. It is frequently used to share annotations of genomes and protein sequenc...
Andreas Prlic, Thomas A. Down, Eugene Kulesha, Rob...
This paper investigates whether and to what extent there is a conflict of interest between artists and their publishers, regarding to whether and to what degree illegal distributi...
The advent of computer-supported collaborative work (CSCW) systems significantly impacts group collaboration. This paper reviews three CSCW systems: Lotus Notes, Xerox DocuShare, ...
Abstract. Loop distribution and loop fusion are two effective loop transformation techniques to optimize the execution of the programs in DSP applications. In this paper, we propo...
Meilin Liu, Qingfeng Zhuge, Zili Shao, Chun Xue, M...