556 search results - page 25 / 112 » Generic Properties of Datatypes |
119
Voted
SEFM
2009
IEEE
15 years 7 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...
89
Voted
DSN
2002
IEEE
15 years 5 months 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 ...
98
Voted
CORR
2008
Springer
15 years 21 days 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...
86
Voted
CVPR
2006
IEEE
16 years 2 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...
115
Voted
ICCV
2001
IEEE
16 years 2 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...