3342 search results - page 270 / 669 » Automating Abstract Interpretation |
152
Voted
FDL
2006
IEEE
15 years 9 months ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
141
click to vote
ICALT
2006
IEEE
15 years 9 months ago
2006
IEEE
The application of software engineering approaches to generate learning material adapted to a specific instructional purpose presents some issues: of different models, different a...
113
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
113
Voted
ICCBR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we propose an approach to attach semantic annotations to textual cases for their representation. To achieve this goal, a framework that combines machine le...
120
click to vote
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a new answer set solver nomore++. Distinguishing features include its treatment of heads and bodies equitably as computational objects and a new hybrid lookahe...