2407 search results - page 349 / 482 » A Tool for Abstraction in Model Checking |
208
click to vote
RSP
2005
IEEE
15 years 11 months ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
173
click to vote
EKAW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we present an overview of the principle components of GIPO, an environment to support knowledge acquisition for AI Planning. GIPO assists in the knowledge f...
157
click to vote
ASPDAC
1999
ACM
15 years 10 months ago
1999
ACM
Abstract Due to the large variety of di erent embedded processor types, retargetable software development tools, such as compilers and simulators, have received attention recently....
154
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Social bookmark tools are rapidly emerging on the Web. In such systems users are setting up lightweight conceptual structures called folksonomies. The reason for their im...
181
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a new proof of decidability of higher-order subtyping in the presence of bounded quantification. The algorithm is formulated as a judgement which operates on b...