6059 search results - page 296 / 1212 » A Technique for Verifying Measurements |
180
click to vote
ITRUST
2005
Springer
16 years 8 days ago
2005
Springer
The work presented in this paper consists in the development of a portable platform to protect the copyright and distribution rights of digital contents, and empirically demonstrat...
176
click to vote
SAS
2005
Springer
16 years 7 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
172
click to vote
VMCAI
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
155
click to vote
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
192
click to vote
CC
2004
Springer
16 years 5 days ago
2004
Springer
When a compiler translates a procedure, it must lay out the procedure’s stack frame in a way that respects the calling convention. Many compilers respect the convention either by...