4814 search results - page 617 / 963 » Combining abstract interpreters |
181
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
171
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...
164
click to vote
CG
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. By developing an intelligent computer system that will provide commentary of chess moves in a comprehensible, user-friendly and instructive way, we are trying to use the ...
166
click to vote
ACII
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. An eye contour extraction method which combines a simplied version of Active Shape Model(ASM) with a gradient method is proposed. Considering the large amount of calculat...
145
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
Abstract— Today’s embedded systems are typically distributed and more often confronted with timevarying demands. Existing methodologies that optimize the partitioning of comput...