859 search results - page 1 / 172 » Explaining Synthesized Software |
KBSE
1998
IEEE
13 years 11 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 ...
SYNTHESE
2010
13 years 2 months ago
2010
ISPASS
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—We generate and provide miniature synthetic benchmark clones for modern workloads to solve two pre-silicon design challenges, namely: 1) huge simulation time (weeks to m...
SYNTHESE
2011
13 years 2 months ago
2011
: ic models invariably involve some degree of idealization, abstraction, or fictionalization of their target system. Nonetheless, I argue that there are circumstances under which s...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
