1111 search results - page 110 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
124
click to vote
FORMATS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
125
click to vote
ACMMSP
2005
ACM
15 years 8 months ago
2005
ACM
ct In the past, program monitoring often operates at the code level, performing checks at function and loop boundaries. Recent research shows that profiling analysis can identify ...
132
click to vote
ISQED
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
125
click to vote
TACAS
2010
Springer
15 years 10 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...
100
click to vote
ECML
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We study discriminative joint density models, that is, generative models for the joint density p(c, x) learned by maximizing a discriminative cost function, the condition...