Sciweavers

Share
924 search results - page 1 / 185
» Explaining Synthesized Software
Sort
View
KBSE
1998
IEEE
9 years 5 months ago
Explaining Synthesized Software
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 ...
Jeffrey Van Baalen, Peter Robinson, Michael R. Low...
SYNTHESE
2010
80views more  SYNTHESE 2010»
8 years 8 months ago
The language of social software
Jan van Eijck
ISPASS
2010
IEEE
9 years 8 months ago
Synthesizing memory-level parallelism aware miniature clones for SPEC CPU2006 and ImplantBench workloads
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...
Karthik Ganesan, Jungho Jo, Lizy K. John
SYNTHESE
2011
98views more  SYNTHESE 2011»
8 years 8 months ago
How scientific models can explain
: 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...
Alisa Bokulich
books