3056 search results - page 468 / 612 » Compiling Embedded Languages |
126
click to vote
POLICY
2007
Springer
15 years 11 months ago
2007
Springer
Obligation Policies specify management actions that must be performed when a particular kind of event occurs and certain conditions are satisfied. Large scale distributed systems...
147
click to vote
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
150
click to vote
PROVSEC
2007
Springer
15 years 11 months ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
165
Voted
VEE
2006
ACM
15 years 11 months ago
2006
ACM
We present Vector LLVA, a virtual instruction set architecture (VISA) that exposes extensive static information about vector parallelism while avoiding the use of hardware-speci...
147
click to vote
HPCC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Recent advances in processor technology such as Simultaneous Multithreading (SMT) and Chip Multiprocessing (CMP) enable parallel processing on a single die. These process...