2203 search results - page 187 / 441 » Temporal Abstract Interpretation |
144
click to vote
VMCAI
2012
Springer
13 years 11 months ago
2012
Springer
We present a sound method for clustering alarms from static analyzers. Our method clusters alarms by discovering sound dependencies between them such that if the dominant alarm of ...
154
Voted
BIRTHDAY
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
155
Voted
FATES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
112
Voted
NECO
2007
15 years 3 months ago
2007
ll Text][Abstract] , October 18, 2006; 26 (42): 10826-10846.J. Neurosci. B. R. Conway and M. S. Livingstone Spatial and temporal properties of cone signals in alert macaque primary...
141
click to vote
CSIE
2009
IEEE
15 years 8 months ago
2009
IEEE
Mobile devices are constrained in terms of computational power, battery lifetime and memory sizes. Software development for mobile devices is further complicated by application co...