Sciweavers

1179 search results - page 136 / 236
» Event Model Interfaces for Heterogeneous System Analysis
Sort
View
229
Voted
POPL
2007
ACM
16 years 3 months ago
Proving that programs eventually do something good
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
Byron Cook, Alexey Gotsman, Andreas Podelski, Andr...
144
Voted
SIGMETRICS
2010
ACM
146views Hardware» more  SIGMETRICS 2010»
14 years 10 months ago
In-degree dynamics of large-scale P2P systems
This paper builds a complete modeling framework for understanding user churn and in-degree dynamics in unstructured P2P systems in which each user can be viewed as a stationary al...
Zhongmei Yao, Daren B. H. Cline, Dmitri Loguinov
130
Voted
IMSCCS
2006
IEEE
15 years 9 months ago
An Execution Prototype of Mobile Agent-Based Peer-to-Peer Systems
Peer-to-peer networks are one of the trends in the field of internetworking. Mobile agent-based technology is a newly proposed technology that can be used in peer-to-peer network...
Wenyu Qu, Masaru Kitsuregawa, Keqiu Li, Hong Shen
ICC
2008
IEEE
146views Communications» more  ICC 2008»
15 years 10 months ago
APOS: Adaptive Parameters Optimization Scheme for Voice over IEEE 802.11g
—In this paper we present APOS, a method for dynamically adapting the parameters of IEEE 802.11g to the estimated system state, with the aim of enhancing the quality of a voice c...
Nicola Baldo, Federico Maguolo, Simone Merlin, And...
137
Voted
AIA
2006
15 years 5 months ago
Computational Model of Speech Understanding
This paper proposes a speech comprehension computational model based on neurocognitiveresearches. The computational representation uses techniques as wavelets transform and connec...
Daniel Nehme Müller, Philippe Olivier Alexand...