1425 search results - page 180 / 285 » Semantic Based Schema Analysis |
150
click to vote
ECMDAFA
2009
Springer
15 years 8 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
137
click to vote
PEPM
1993
ACM
15 years 5 months ago
1993
ACM
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
130
click to vote
CODES
2010
IEEE
14 years 11 months ago
2010
IEEE
Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task graphs. The behaviour of SDF graphs however is static and therefore not always able to ac...
124
click to vote
SDM
2009
SIAM
15 years 10 months ago
2009
SIAM
Automotive companies are forced to continuously extend and improve their product line-up. However, increasing diversity, higher design complexity, and shorter development cycles c...
103
click to vote
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...