2520 search results - page 88 / 504 » Model-checking behavioral programs |
100
Voted
IEEEINTERACT
2002
IEEE
15 years 5 months ago
2002
IEEE
Smaller input data sets such as the test and the train input sets are commonly used in simulation to estimate the impact of architecture/micro-architecture features on the perform...
70
Voted
AAAI
2008
15 years 3 months ago
2008
78
Voted
FOAL
2008
ACM
15 years 2 months ago
2008
ACM
104
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
132
Voted
ICSE
2004
IEEE-ACM
16 years 24 days ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...