8540 search results - page 1269 / 1708 » The Dynamic Servers Problem |
168
Voted
ENTCS
2007
15 years 6 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
143
click to vote
JSAC
2006
15 years 6 months ago
2006
Abstract--This paper presents efficient multiuser margin optimization algorithms suitable for multicarrier digital subscriber line (DSL) systems using Dynamic Spectrum Management (...
151
Voted
JVCA
2006
15 years 6 months ago
2006
This paper presents a novel interactive mesh deformation method that can achieve various dynamic material effects, including elastic membrane and cloth effects. In our framework, ...
188
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
The trends and recent changes in logistics lead to complex and partially conflicting requirements on logistic planning and control systems. Due to the lack of efficiency of curren...
145
click to vote
NN
2008
Springer
15 years 6 months ago
2008
Springer
MIIND (Multiple Interacting Instantiations of Neural Dynamics) is a highly modular multi-level C++ framework, that aims to shorten the development time for models in Cognitive Neu...