7529 search results - page 438 / 1506 » The Modula-3 Type System |
185
click to vote
CSFW
2003
IEEE
16 years 5 days ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
164
click to vote
CHI
2008
ACM
15 years 9 months ago
2008
ACM
We present a novel system for notification management and report results from two studies testing its performance and impact. The system uses statistical models to realize defer-t...
145
click to vote
LFP
1994
15 years 8 months ago
1994
We present the rst system for estimating and using datadependent expression execution times in a language with rst-class procedures and imperative constructs. The presence of rst-...
215
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
In a frequency selective slow-fading channel in a MIMO system, the channel matrix is of the form of a block matrix. This paper proposes a method to calculate the limit of the eige...
167
click to vote
CCE
2007
15 years 6 months ago
2007
This study focuses on performance assessment of industrial controllers. A methodology based on the concept of the predictability of controller errors is proposed for performance m...