4074 search results - page 478 / 815 » Abstract Graph Transformation |
190
Voted
FMCAD
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
191
click to vote
ICS
2004
Tsinghua U.
16 years 7 days ago
2004
Tsinghua U.
Storage mapping optimization is a flexible approach to folding array dimensions in numerical codes. It is designed to reduce the memory footprint after a wide spectrum of loop tr...
186
Voted
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
Software architecture is important for large systems in which it is the main means for, among other things, controlling complexity. Current ideas on software architectures were no...
173
Voted
PODS
1989
ACM
15 years 11 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
201
Voted
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...