42 search results - page 1 / 9 » Specialising Finite Domain Programs Using Polyhedra |
ECOOPW
1999
Springer
13 years 9 months ago
1999
Springer
ICEIS
2009
IEEE
13 years 11 months ago
2009
IEEE
The corner stone of the interoperability of eLearning systems is the standard definition of learning objects. Nevertheless, for some domains this standard is insufficient to fully ...
SAS
1999
Springer
13 years 9 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
VG
2003
13 years 6 months ago
2003
Finite element methods commonly use unstructured grids as the computational domain. As a matter of fact, the volume visualization of these unstructured grids is a time consuming t...
SAS
2007
Springer
13 years 11 months ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...