2249 search results - page 378 / 450 » ILP-based engineering change |
ITP
2010
14 years 1 months ago
2010
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
ICCAD
2007
IEEE
14 years 1 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
BIRTHDAY
2006
Springer
14 years 29 days ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
ECRTS
2004
IEEE
14 years 28 days ago
2004
IEEE
Dynamic storage allocation (DSA) algorithms play an important role in the modern software engineering paradigms and techniques (such as object oriented programming). Using DSA inc...
EDOC
2006
IEEE
14 years 27 days ago
2006
IEEE
Abstract-- Analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger ...