3311 search results - page 205 / 663 » Deductive Object Programming |
118
click to vote
IWMM
2000
Springer
15 years 5 months ago
2000
Springer
The performance of automatic memory management may be improved if the policies used in allocating and collecting objects had knowledge of the lifetimes of objects. To date, approa...
149
Voted
DBSEC
1996
15 years 3 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
116
Voted
VLC
2002
15 years 1 months ago
2002
Real-time 3D graphics are being extensively used to build interactive virtual environments for a number of different applications. In many situations, virtual objects are required...
224
Voted
VR
2011
IEEE
14 years 5 months ago
2011
IEEE
We introduce a general technique for blending imagery from multiple projectors on a tracked, moving, non-planar object. Our technique continuously computes visibility of pixels ov...
122
Voted
IFM
2007
Springer
15 years 8 months ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...