4211 search results - page 165 / 843 » Types as Abstract Interpretations |
118
Voted
FCCM
2006
IEEE
15 years 10 months ago
2006
IEEE
Recently, platform FPGAs that integrate sequential processors with a spatial fabric have become prevalent. While these hybrid architectures ease the burden of integrating sequenti...
127
click to vote
CASSIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
EUC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Pyroelectric sensors can detect changes of infrared rays. Usually, typical pyroelectric sensors are the digital output type, used for lighting switches and security syste...
120
click to vote
ADBIS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Query rewriting method is proposed for the heterogeneous information integration infrastructure formed by the subject mediator environment. Local as View (LAV) approach t...
132
click to vote
ECOOP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...