2661 search results - page 286 / 533 » Model Checking Performability Properties |
113
click to vote
COMPLIFE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present an improved adaptive approach for studying systems of ODEs affected by parameter variability and state space uncertainty. Our approach is based on a reformulat...
96
Voted
EOR
2007
15 years 21 days ago
2007
In recent years, Support Vector Machines (SVMs) were successfully applied to a wide range of applications. Their good performance is achieved by an implicit non-linear transformat...
102
Voted
TACAS
2010
Springer
15 years 7 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
115
click to vote
PODS
2008
ACM
16 years 27 days ago
2008
ACM
We revisit the classical chase procedure, studying its properties as well as its applicability to standard database problems. We settle (in the negative) the open problem of decid...
127
click to vote
FORMATS
2007
Springer
15 years 4 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...