Sciweavers

854 search results - page 101 / 171
» Using Simulation to Investigate Requirements Prioritization ...
Sort
View
SIGIR
2011
ACM
14 years 1 months ago
The economics in interactive information retrieval
Searching is inherently an interactive process usually requiring numerous iterations of querying and assessing in order to find the desired amount of relevant information. Essent...
Leif Azzopardi
CN
2008
163views more  CN 2008»
14 years 11 months ago
Loss-resilient window-based congestion control
This paper addresses the problem of fair allocation of bandwidth resources on lossy channels in hybrid heterogeneous networks. It discusses more particularly the ability of window...
Christophe De Vleeschouwer, Pascal Frossard
ISCAS
2007
IEEE
173views Hardware» more  ISCAS 2007»
15 years 5 months ago
Critical Charge Characterization for Soft Error Rate Modeling in 90nm SRAM
— Due to continuous technology scaling, the reduction of nodal capacitances and the lowering of power supply voltages result in an ever decreasing minimal charge capable of upset...
Riaz Naseer, Younes Boulghassoul, Jeff Draper, San...
HYBRID
1998
Springer
15 years 3 months ago
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
Carolos Livadas, Nancy A. Lynch
GLOBECOM
2007
IEEE
15 years 5 months ago
Optimal Batch Scheduling in DVB-S2 Satellite Networks
—In this paper we present a new theoretical model to assess the performance of a class of batch scheduling orders in a forward DVB-S2 satellite link. The scheduling order in a DV...
G. T. Peeters, Benny Van Houdt, Chris Blondia