1714 search results - page 253 / 343 » Abstract Models of Memory Management |
126
Voted
IJHPCA
2007
15 years 2 months ago
2007
We describe the rationale behind the design of key features of Titanium—an explicitly parallel dialect of JavaTM for high-performance scientific programming—and our experienc...
140
Voted
IJVR
2007
15 years 2 months ago
2007
—To construct 3D virtual scenes from two-dimensional images with depth information, image warping techniques could be used. In this paper, a novel approach of cylindrical depth i...
121
Voted
ENTCS
2002
15 years 2 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
120
Voted
ICS
2005
Tsinghua U.
15 years 8 months ago
2005
Tsinghua U.
The combination of increasing component power consumption, a desire for denser systems, and the required performance growth in the face of technology-scaling issues are posing eno...
102
Voted
AGP
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...