31686 search results - page 327 / 6338 » Resource typing in Guru |
174
click to vote
HASKELL
2009
ACM
16 years 14 days ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
169
click to vote
TASE
2008
IEEE
16 years 10 days ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
186
click to vote
ADC
2008
Springer
16 years 10 days ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
173
click to vote
ESOP
2007
Springer
16 years 4 days ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
170
click to vote
MIRAGE
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. In this paper we describe a method for re-mapping animation parameters between multiple types of facial model for performance driven animation. A facial performance can b...