2880 search results - page 67 / 576 » Types are calling conventions |
MICRO
2000
IEEE
15 years 4 months ago
2000
IEEE
Register promotion is an optimization that allocates a value to a register for a region of its lifetime where it is provably not aliased. Conventional compiler analysis cannot alw...
100
click to vote
ESOP
2007
Springer
15 years 3 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
103
click to vote
CL
2002
Springer
14 years 11 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
178
click to vote
ICDE
1999
IEEE
1999
IEEE
Working Together in Harmony - An Implementation of the CORBA Object Query Service and Its Evaluation
16 years 1 months ago
The CORBA standard, together with its service specifications, has gained considerable attention in recent years. The CORBA Object Query Service allows for declarative access to he...
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
We propose a new image device called gigavision camera. The main differences between a conventional and a gigavision camera are that the pixels of the gigavision camera are binary...