Sciweavers

1237 search results - page 197 / 248
» Strictness and Totality Analysis
Sort
View
COMGEO
2010
ACM
15 years 5 months ago
An efficient algorithm for the stratification and triangulation of an algebraic surface
: We present a method to compute the exact topology of a real algebraic surface S, implicitly given by a polynomial f Q[x,y,z] of arbitrary total degree N. Additionally, our analy...
Eric Berberich, Michael Kerber, Michael Sagraloff
COR
2010
124views more  COR 2010»
15 years 5 months ago
On tandem blocking queues with a common retrial queue
We consider systems of tandem blocking queues having a common retrial queue. The model represents dynamics of short TCP transfers in the Internet. Analytical results are available...
Konstantin Avrachenkov, Uri Yechiali
COR
2010
164views more  COR 2010»
15 years 5 months ago
The distributed permutation flowshop scheduling problem
This paper studies a new generalization of the regular permutation flowshop scheduling problem (PFSP) referred to as the distributed permutation flowshop scheduling problem or DPF...
B. Naderi, Rubén Ruiz
CORR
2008
Springer
89views Education» more  CORR 2008»
15 years 5 months ago
One MEMS Design Tool with Maximal Six Design Flows
This paper presents one MEMS design tool with total six design flows, which makes it possible that the MEMS designers are able to choose the most suitable design flow for their sp...
Honglong Chang, Jinghui Xu, Jianbing Xie, Chenglia...
EOR
2008
97views more  EOR 2008»
15 years 5 months ago
Optimization models for the single delay management problem in public transportation
Passengers travelling in public transportation networks often have to use different lines to cover the trip from their origin to the desired destination. As a consequence, the rel...
Géraldine Heilporn, Luigi De Giovanni, Mart...