1888 search results - page 321 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
118
Voted
SOSP
2003
ACM
15 years 11 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...
119
Voted
DAC
2007
ACM
15 years 6 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...
115
Voted
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
The Web Service Resource Framework (WSRF) was announced in January 2004 as a new way for manipulating "stateful resources" to perform grid computing tasks using Web Serv...
118
Voted
CLUSTER
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract-- Flash-based solid state disks (SSDs) are an alternative form of storage device that promises to deliver higher performance than the traditional mechanically rotating har...
124
Voted
PODC
2000
ACM
15 years 7 months ago
2000
ACM
Stampede is a parallel programming system to facilitate the programming of interactive multimedia applications on clusters of SMPs. In a Stampede application, a variable number of...