5600 search results - page 31 / 1120 » Synthesizing robust systems |
SYNTHESE
2008
13 years 7 months ago
2008
Quine introduced a famous distinction between the `notional' sense and the `relational' sense of certain attitude verbs. The distinction is both intuitive and sound but i...
IJCAT
2010
13 years 6 months ago
2010
: In order to synthesize distortionless texture on surfaces, we develop a direct and accurate approach for local resampling in vector fields, and then use the approach to synthesiz...
SYNTHESE
2011
13 years 2 months ago
2011
Scientific and statistical inferences build heavily on explicit, parametric models, and often with good reasons. However, the limited scope of parametric models and the increasin...
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...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...