Sciweavers

165 search results - page 30 / 33
» A Tabling Implementation Based on Variables with Multiple Bi...
Sort
View
ICST
2009
IEEE
14 years 2 months ago
Test Input Generation Using UML Sequence and State Machines Models
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
Aritra Bandyopadhyay, Sudipto Ghosh
CDC
2008
IEEE
186views Control Systems» more  CDC 2008»
13 years 9 months ago
A mathematical model of the Skype VoIP congestion control algorithm
The Internet is changing from being only an efficient platform for data delivery to become also a platform for audio/video applications. The stability of the traditional Internet i...
Luca De Cicco, Saverio Mascolo, Vittorio Palmisano
TCOM
2010
162views more  TCOM 2010»
13 years 2 months ago
Design of Fair Weights for Heterogeneous Traffic Scheduling in Multichannel Wireless Networks
Fair weights have been implemented to maintain fairness in recent resource allocation schemes. However, designing fair weights for multiservice wireless networks is not trivial bec...
Mehri Mehrjoo, Mohamad Khattar Awad, Mehrdad Diana...
VLDB
2005
ACM
126views Database» more  VLDB 2005»
14 years 26 days ago
Consistently Estimating the Selectivity of Conjuncts of Predicates
Cost-based query optimizers need to estimate the selectivity of conjunctive predicates when comparing alternative query execution plans. To this end, advanced optimizers use multi...
Volker Markl, Nimrod Megiddo, Marcel Kutsch, Tam M...
ASPLOS
2008
ACM
13 years 9 months ago
Improving the performance of object-oriented languages with dynamic predication of indirect jumps
Indirect jump instructions are used to implement increasinglycommon programming constructs such as virtual function calls, switch-case statements, jump tables, and interface calls...
José A. Joao, Onur Mutlu, Hyesoon Kim, Rish...