416 search results - page 82 / 84 » Software Code Generation for the RVC-CAL Language |
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
ASPLOS
2009
ACM
15 years 1 months ago
2009
ACM
Software systems are constantly changing. Patches to fix bugs and patches to add features are all too common. Every change risks breaking a previously working system. Hence admini...
111
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...
89
Voted
CGO
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a ļ¬nding and a technique on program behavior prediction. The ļ¬nding is that surprisingly strong statistical correlations exist among the behaviors of diffe...
LCTRTS
2009
Springer
15 years 4 months ago
2009
Springer
Dynamic binary translation (DBT) can provide security, virtualization, resource management and other desirable services to embedded systems. Although DBT has many beneļ¬ts, its r...