Sciweavers

859 search results - page 1 / 172
» Explaining Synthesized Software
Sort
View
KBSE
1998
IEEE
13 years 7 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»
12 years 10 months ago
The language of social software
Jan van Eijck
ISPASS
2010
IEEE
13 years 10 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»
12 years 10 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