Sciweavers

4805 search results - page 79 / 961
» On the Analysis of Indexing Schemes
Sort
View
DATE
1998
IEEE
103views Hardware» more  DATE 1998»
14 years 10 days ago
Efficient Encoding Schemes for Symbolic Analysis of Petri Nets
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
Enric Pastor, Jordi Cortadella
EUC
2008
Springer
13 years 9 months ago
Design and Analysis of a Stable Queue Control Scheme for the Internet
The recently proposed Active Queue Management (AQM) is an effective method used in Internet routers for congestion control, and to achieve a tradeoff between link utilization and ...
Naixue Xiong, Laurence Tianruo Yang, Yaoxue Zhang,...
AIR
2006
76views more  AIR 2006»
13 years 8 months ago
Evolved term-weighting schemes in Information Retrieval: an analysis of the solution space
Evolutionary computation techniques are increasingly being applied to problems within Information Retrieval (IR). Genetic programming (GP) has previously been used with some succe...
Ronan Cummins, Colm O'Riordan
VLUDS
2010
138views Visualization» more  VLUDS 2010»
13 years 2 months ago
Finite Element Analysis for Linear Elastic Solids Based on Subdivision Schemes
Finite element methods are used in various areas ranging from mechanical engineering to computer graphics and bio-medical applications. In engineering, a critical point is the gap...
Daniel Burkhart, Bernd Hamann, Georg Umlauf
BROADNETS
2005
IEEE
14 years 1 months ago
Performance analysis of the ieee 802.11e block ACK scheme in a noisy channel
— A Block ACK (BTA) scheme has been proposed in IEEE 802.11e to improve medium access control (MAC) layer performance. It is also a promising technique for next-generation high-s...
Tianji Li, Qiang Ni, Thierry Turletti, Yang Xiao