31686 search results - page 92 / 6338 » Resource typing in Guru |
133
click to vote
ASIAN
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
107
click to vote
CSL
2000
Springer
15 years 5 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
108
Voted
ICS
2011
Tsinghua U.
14 years 4 months ago
2011
Tsinghua U.
Efficient on-chip resource management is crucial for Chip Multiprocessors (CMP) to achieve high resource utilization and enforce system-level performance objectives. Existing mul...
TYPES
2007
Springer
15 years 6 months ago
2007
Springer
TYPES
2007
Springer
15 years 6 months ago
2007
Springer
