31686 search results - page 92 / 6338 » Resource typing in Guru |
ASIAN
2009
Springer
13 years 6 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 ...
CSL
2000
Springer
14 years 1 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...
ICS
2011
Tsinghua U.
13 years 13 days 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
14 years 3 months ago
2007
Springer
TYPES
2007
Springer
14 years 3 months ago
2007
Springer
