1497 search results - page 200 / 300 » Extended static checking |
101
Voted
HVC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
97
Voted
CMSB
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
84
Voted
SAC
2010
ACM
15 years 2 months ago
2010
ACM
Low-power and energy-efficient system implementations have become very important design issues to extend operation duration or cut power bills. To balance the energy consumption r...
DAWAK
2008
Springer
15 years 2 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...
101
click to vote
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Online multiplicative weight-update learning algorithms, such as Winnow, have proven to behave remarkably for learning simple disjunctions with few relevant attributes. The aim of ...