1471 search results - page 143 / 295 » Composing concurrency control |
IPL
2010
14 years 8 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
TASLP
2010
14 years 4 months ago
2010
Abstract--A new method for the estimation of multiple concurrent pitches in piano recordings is presented. It addresses the issue of overlapping overtones by modeling the spectral ...
SOSP
2001
ACM
15 years 7 months ago
2001
ACM
We propose a new design for highly concurrent Internet services, which we call the staged event-driven architecture (SEDA). SEDA is intended to support massive concurrency demands...
ACSC
2005
IEEE
15 years 3 months ago
2005
IEEE
There is now widespread acceptance of Web services and service-oriented architectures. But despite the agreement on key Web services standards there remain many challenges. Progra...
PODC
1997
ACM
15 years 2 months ago
1997
ACM
Thispaperdescribesanewschemeforguaranteeingthattransactions in a client/server system observe consistent state while they are running. The scheme is presented in conjunction with ...