556 search results - page 25 / 112 » Generic Properties of Datatypes |
SEFM
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
DSN
2002
IEEE
14 years 15 days ago
2002
IEEE
Designing applications with timeliness requirements in environments of uncertain synchrony is known to be a difficult problem. In this paper, we follow the perspective of timing ...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
With the growing interest in object categorization various methods have emerged that perform well in this challenging task, yet are inherently limited to only a moderate number of...
ICCV
2001
IEEE
14 years 9 months ago
2001
IEEE
We describe a novel viewpoint-lighting ambiguity which we call the KGBR. This ambiguity assumes orthographic projection or an affine camera, and uses Lambertian reflectance functi...