Sciweavers

6756 search results - page 434 / 1352
» Distributed Shared State
Sort
View
CONCUR
2006
Springer
15 years 10 months ago
A Capability Calculus for Concurrency and Determinism
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
Tachio Terauchi, Alex Aiken
BMCBI
2007
108views more  BMCBI 2007»
15 years 7 months ago
Integrating sequence and structural biology with DAS
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...
IEPOL
2006
80views more  IEPOL 2006»
15 years 6 months ago
Publishers, artists, and copyright enforcement
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...
Amit Gayer, Oz Shy
ETS
2002
IEEE
120views Hardware» more  ETS 2002»
15 years 6 months ago
Review of Computer-Supported Collaborative Work Systems
The advent of computer-supported collaborative work (CSCW) systems significantly impacts group collaboration. This paper reviews three CSCW systems: Lotus Notes, Xerox DocuShare, ...
Deniz Eseryel, Radha Ganesan, Gerald S. Edmonds
EUC
2005
Springer
16 years 10 days ago
Loop Distribution and Fusion with Timing and Code Size Optimization for Embedded DSPs
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...