556 search results - page 58 / 112 » Checking Interval Properties of Computations |
113
click to vote
AMC
2005
15 years 4 months ago
2005
We present an interval branch-and-prune algorithm for computing verified enclosures for the global minimum and all global minimizers of univariate functions subject to bound const...
120
click to vote
JSCIC
2010
14 years 11 months ago
2010
A new way of devising numerical methods is introduced whose distinctive feature is the computation of a finite element approximation only in a polyhedral subdomain D of the origina...
128
click to vote
DAC
2001
ACM
16 years 5 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
145
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
142
click to vote
TRUSTBUS
2007
Springer
15 years 10 months ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...