Sciweavers

ITP
2010
230views Mathematics» more  ITP 2010»
14 years 2 months ago
On the Formalization of the Lebesgue Integration Theory in HOL
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
Tarek Mhamdi, Osman Hasan, Sofiène Tahar
ITP
2010
178views Mathematics» more  ITP 2010»
14 years 2 months ago
Developing the Algebraic Hierarchy with Type Classes in Coq
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
Bas Spitters, Eelis van der Weegen
ASMTA
2008
Springer
200views Mathematics» more  ASMTA 2008»
14 years 2 months ago
Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks
Recently, a quality-of-service (QoS) extension of the IEEE 802.11 standard (known as IEEE 802.11e) for wireless LANs has been proposed. We present a versatile and accurate performa...
Anne Remke, Boudewijn R. Haverkort, Geert J. Heije...
ASMTA
2008
Springer
113views Mathematics» more  ASMTA 2008»
14 years 2 months ago
Exact Sojourn Time Distribution in an Online IPTV Recording System
In this paper we analytically derive the sojourn time of a user accessing an online IPTV recording service. Basically, the system consists of a server (or server farm) and the band...
Tobias Hoßfeld, Kenji Leibnitz, Marie-Ange R...
ASMTA
2008
Springer
100views Mathematics» more  ASMTA 2008»
14 years 2 months ago
A Tandem Queueing Model for Delay Analysis in Disconnected Ad Hoc Networks
Ad hoc network routing protocols may fail to operate in the absence of an end-to-end connection from source to destination. This deficiency can be resolved by so-called delay-toler...
Ahmad Al Hanbali, Roland de Haan, Richard J. Bouch...
ASMTA
2008
Springer
167views Mathematics» more  ASMTA 2008»
14 years 2 months ago
Perfect Simulation of Stochastic Automata Networks
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
Paulo Fernandes, Jean-Marc Vincent, Thais Webber
ASMTA
2008
Springer
103views Mathematics» more  ASMTA 2008»
14 years 2 months ago
A Response Time Distribution Model for Zoned RAID
Abstract. RAID systems are widely deployed, both as standalone storage solutions and as the building blocks of modern virtualised storage platforms. An accurate model of RAID syste...
Abigail S. Lebrecht, Nicholas J. Dingle, William J...