4983 search results - page 217 / 997 » order 2008 |
147
click to vote
ENTCS
2008
15 years 4 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
156
click to vote
ESWA
2008
15 years 4 months ago
2008
DADICC is the abbreviated name for an intelligent system able to detect on-line and diagnose anomalies as soon as possible in the dynamic evolution of the behaviour of a power pla...
128
Voted
HEURISTICS
2008
15 years 4 months ago
2008
A Local Linear Embedding (LLE) module enhances the performance of two Evolutionary Computation (EC) algorithms employed as search tools in global optimization problems. The LLE em...
158
click to vote
IAJIT
2008
15 years 4 months ago
2008
: The Gamma-Ray scanning technique effective means for the diagnosis and identification of installations and process's problems in general and in particular in the case of dis...
146
click to vote
CCR
2006
15 years 4 months ago
2006
In the past two years, several papers have proposed rules that suggest two to five orders of magnitude reduction in Internet core router buffers. Others present scenarios where bu...