Sciweavers

4770 search results - page 276 / 954
» Flexible Type Analysis
Sort
View
SIAMJO
2008
110views more  SIAMJO 2008»
15 years 7 months ago
Subdifferential Calculus Rules in Convex Analysis: A Unifying Approach Via Pointwise Supremum Functions
We provide a rule to calculate the subdifferential of the pointwise supremum of an arbitrary family of convex functions defined on a real locally convex topological vector space. ...
Abderrahim Hantoute, Marco A. López, Consta...
ROBOTICA
2008
121views more  ROBOTICA 2008»
15 years 6 months ago
Kinematic and dynamic performance analysis of artificial legged systems
This paper studies the mechanical configuration and the periodic gaits of multi-legged locomotion systems based on its kinematic and dynamic models. The purpose is to determine the...
Manuel F. Silva, José António Tenrei...
JCO
2010
70views more  JCO 2010»
15 years 5 months ago
Worst-case analysis for on-line service policies
This paper considers an on-line scheduling problem occurred in a service system with two classes (normal and special) of customers and two types (dedicated and flexible) of serve...
Zhenbo Wang, Wenxun Xing
NOMS
2010
IEEE
194views Communications» more  NOMS 2010»
15 years 5 months ago
Analysis of P2P file sharing network's credit system for fairness management
Fairness is an important management issue for peer-to-peer file sharing systems. In this paper, we study the credit system of the P2P file sharing network eMule (http://www.emule-p...
Yunzhao Li, Don Gruenbacher
PVLDB
2010
82views more  PVLDB 2010»
15 years 5 months ago
SECRET: A Model for Analysis of the Execution Semantics of Stream Processing Systems
There are many academic and commercial stream processing engines (SPEs) today, each of them with its own execution semantics. This variation may lead to seemingly inexplicable diï...
Irina Botan, Roozbeh Derakhshan, Nihal Dindar, Lau...