1847 search results - page 87 / 370 » Hybrid Functional Interpretations |
101
click to vote
ICS
2001
Tsinghua U.
15 years 4 months ago
2001
Tsinghua U.
This paper presents a novel technique to perform global optimization of communication and preprocessing calls in the presence of array accesses with arbitrary subscripts. Our sche...
177
click to vote
POPL
2005
ACM
16 years 5 days ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
BMCBI
2006
14 years 12 months ago
2006
Affymetrix microarrays have become a standard experimental platform for studies of mRNA expression profiling. Their success is due, in part, to the multiple oligonucleotide featur...
IEEEIAS
2007
IEEE
15 years 6 months ago
2007
IEEE
Recently, administration of RBAC systems using a role-based approach has become very appealing because of the benefits that such an approach typically brings. This approach uses R...
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
The emergence of multi-channel multi-radio wireless mesh networks has given us many new opportunities and challenges. Particularly, the issue on how to appropriately assign channel...