Sciweavers

7380 search results - page 268 / 1476
» time 2008
Sort
View
CCR
2005
89views more  CCR 2005»
15 years 6 months ago
Achieving sub-second IGP convergence in large IP networks
We describe and analyse in details the various factors that influence the convergence time of intradomain link state routing protocols. This convergence time reflects the time req...
Pierre François, Clarence Filsfils, John Ev...
TIME
2008
IEEE
16 years 1 months ago
Temporal Description Logics: A Survey
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfi...
Carsten Lutz, Frank Wolter, Michael Zakharyaschev
DISOPT
2008
118views more  DISOPT 2008»
15 years 6 months ago
Approximation algorithm for minimizing total latency in machine scheduling with deliveries
We study the problem of minimizing total latency in machine scheduling with deliveries, which is defined as follows. There is a set of n jobs to be processed by a single machine a...
Asaf Levin, Michal Penn
WSC
2008
15 years 9 months ago
Simulation analysis of semiconductor manufacturing with small lot size and batch tool replacements
Long cycle times in semiconductor manufacuring represent an increasing challenge for the industry and lead to a growing need of break-through approaches to reduce it. Small lot si...
Kilian Schmidt, Oliver Rose
RTCSA
2008
IEEE
16 years 1 months ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...