1681 search results - page 293 / 337 » Formal Design of Distributed Control Systems with Lustre |
GROUP
2007
ACM
13 years 11 months ago
2007
ACM
The tension between privacy and awareness has been a persistent difficulty in distributed environments that support opportunistic and informal interaction. For example, many aware...
SOSP
2003
ACM
14 years 4 months ago
2003
ACM
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...
HPCS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents the initial design of the Cyclops-64 (C64) system software infrastructure and tools under development as a joint effort between IBM T.J. Watson Research Center...
IMC
2009
ACM
14 years 2 months ago
2009
ACM
A number of commercial peer-to-peer systems for live streaming, such as PPLive, Joost, LiveStation, SOPCast, TVants, etc. have been introduced in recent years. The behavior of the...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
The prediction of protein 3D structure has become a hot research area in the post-genome era, through which people can understand a protein’s function in health and disease, exp...