22 search results - page 5 / 5 » Declarative fence insertion |
KBSE
1998
IEEE
13 years 9 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
JIDM
2010
13 years 3 months ago
2010
Because XML documents tend to be very large and are more and more collaboratively processed, their fine-grained storage and management is a must for which, in turn, a flexible tree...