Sciweavers

6762 search results - page 734 / 1353
» Multiple drafts model
Sort
View
ATMOS
2009
103views Optimization» more  ATMOS 2009»
15 years 8 months ago
Efficient Route Planning in Flight Networks
We present a set of three new time-dependent models with increasing flexibility for realistic route planning in flight networks. By these means, we obtain small graph sizes while m...
Daniel Delling, Thomas Pajor, Dorothea Wagner, Chr...
JPDC
2008
92views more  JPDC 2008»
15 years 7 months ago
Techniques for pipelined broadcast on ethernet switched clusters
By splitting a large broadcast message into segments and broadcasting the segments in a pipelined fashion, pipelined broadcast can achieve high performance in many systems. In thi...
Pitch Patarasuk, Xin Yuan, Ahmad Faraj
ENTCS
2007
111views more  ENTCS 2007»
15 years 7 months ago
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
Rocco De Nicola, Michele Loreti
QUESTA
2006
110views more  QUESTA 2006»
15 years 7 months ago
Analysis of customers' impatience in queues with server vacations
Abstract Many models for customers impatience in queueing systems have been studied in the past; the source of impatience has always been taken to be either a long wait already exp...
Eitan Altman, Uri Yechiali
RAS
2006
129views more  RAS 2006»
15 years 7 months ago
Self-reconfigurable M-TRAN structures and walker generation
The M-TRAN is a modular robot capable of both three-dimensional self-reconfiguration and whole body locomotion. Introducing regularity in allowed structures reduced difficulties o...
Haruhisa Kurokawa, Eiichi Yoshida, Kohji Tomita, A...