130 search results - page 13 / 26 » Behavioural Language Compilation with Virtual Hardware Manag... |
CBSE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
206
click to vote
POPL
2007
ACM
16 years 1 days ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
101
click to vote
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
Indirect jump instructions are used to implement increasinglycommon programming constructs such as virtual function calls, switch-case statements, jump tables, and interface calls...
126
click to vote
ASPLOS
2012
ACM
13 years 7 months ago
2012
ACM
Virtualization has become a standard part of many computer systems. A key part of virtualization is the all-powerful hypervisor which manages the physical platform and can access ...
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
Nested paging is a hardware solution for alleviating the software memory management overhead imposed by system virtualization. Nested paging complements existing page walk hardwar...