2 search results - page 1 / 1 » FloPSy - Search-Based Floating Point Constraint Solving for ... |
WCET
2003
13 years 6 months ago
2003
Worst-Case Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expr...
JAIR
2010
13 years 3 months ago
2010
Diagrammatic reasoning (DR) is pervasive in human problem solving as a powerful adjunct to symbolic reasoning based on language-like representations. The research reported in this...