Sciweavers

2452 search results - page 192 / 491
» The Case for Precision Sharing
Sort
View
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
15 years 10 months ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
CLEF
2006
Springer
15 years 10 months ago
A WordNet-Based Indexing Technique for Geographical Information Retrieval
Abstract. This paper presents an indexing technique based on WordNet synonyms and holonyms. This technique has been developed for the Geographical Information Retrieval task. It ma...
Davide Buscaldi, Paolo Rosso, Emilio Sanchis
PRDC
2000
IEEE
15 years 10 months ago
Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule
In this paper, we extend the classical result by Huang, Kintala, Kolettis and Fulton (1995), and in addition propose a modified stochastic model to determine the software rejuvena...
Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor...
GLOBECOM
2009
IEEE
15 years 10 months ago
Analysis of Asynchronous Multi-Packet Reception in 802.11 Distributed Wireless Networks
— This paper proposes a mathematical framework for evaluating the throughput of an 802.11 Distributed Wireless Network (DWN) when the system allows Multi-Packet Reception (MPR) i...
Fulvio Babich, Massimiliano Comisso
AISC
2008
Springer
15 years 8 months ago
Validated Evaluation of Special Mathematical Functions
Because of the importance of special functions, several books and a large collection of papers have been devoted to the numerical computation of these functions, the most well-know...
Franky Backeljauw, Stefan Becuwe, Annie A. M. Cuyt