1320 search results - page 186 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
120
Voted
ECOOP
1987
Springer
15 years 6 months ago
1987
Springer
Object oriented programming environments frequently suffer serious performance degradation because of a high level of paging activity when implemented using a conventional virtual...
147
Voted
SDMW
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Researchers have recently begun to develop and investigate policy languages to describe trust and security requirements on the Semantic Web. Such policies will be one com...
109
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
We consider the problem of computing the optimal swap edges of a shortest-path tree. This theoretical problem arises in practice in systems that offer point-offailure shortest-path...
104
Voted
TACO
2008
15 years 2 months ago
2008
r acceptance of FPGAs as a computing device requires a higher level of programming abstraction. ROCCC is an optimizing C to HDL compiler. We describe the code generation approach i...
113
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...