Sciweavers

1875 search results - page 70 / 375
» A Calculus of Broadcasting Systems
Sort
View
TSD
2009
Springer
14 years 2 months ago
Transcription of Catalan Broadcast Conversation
The paper describes aspects, methods and results of the development of an automatic transcription system for Catalan broadcast conversation by means of speech recognition. Emphasi...
Henrik Schulz, José A. R. Fonollosa, David ...
INFOCOM
2000
IEEE
14 years 2 days ago
Broadcast Disks with Polynomial Cost Functions
— In broadcast disk systems, information is broadcasted in a shared medium. When a client needs an item from the disk, it waits until that item is broadcasted. The fundamental al...
Amotz Bar-Noy, Boaz Patt-Shamir, Igor Ziper
PPDP
2009
Springer
14 years 2 months ago
The RPC calculus
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
Ezra Cooper, Philip Wadler
WOLLIC
2007
Springer
14 years 1 months ago
A Formal Calculus for Informal Equality with Binding
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
Murdoch Gabbay, Aad Mathijssen
GLOBECOM
2009
IEEE
13 years 11 months ago
Stochastic Network Calculus Models under Max-Plus Algebra
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
Jing Xie, Yuming Jiang