Sciweavers

8766 search results - page 1282 / 1754
» Functional logic programming
Sort
View
AOSD
2007
ACM
15 years 9 months ago
An aspect-oriented implementation of the EJB3.0 persistence concept
This paper demonstrates the power of aspect-orientation by implementing the EJB3.0 persistence framework. Our approach has advantages over existing mapping tools: Flexibility is h...
Uwe Hohenstein, Regine Meunier, Christa Schwanning...
ERSHOV
2009
Springer
15 years 8 months ago
A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols
Abstract. The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin's supercompilation method and extended to support imperative and object-oriented...
Andrei V. Klimov
155
Voted
CIE
2006
Springer
15 years 8 months ago
Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis
This note reexamines Spector's remarkable computational interpretation of full classical analysis. Spector's interpretation makes use of a rather abstruse recursion schem...
Paulo Oliva
FPL
2006
Springer
99views Hardware» more  FPL 2006»
15 years 8 months ago
Reconfiguration and Fine-Grained Redundancy for Fault Tolerance in FPGAs
As manufacturing technology enters the ultra-deep submicron era, wafer yields are destined to drop due to higher occurrence of physical defects on the die. This paper proposes a y...
Nicola Campregher, Peter Y. K. Cheung, George A. C...
ACSAC
2001
IEEE
15 years 8 months ago
Security Policy Enforcement at the File System Level in the Windows NT Operating System Family
This paper describes the implementation of an enforcement module for file system security implemented as part of a security architecture for distributed systems which enforces a c...
Stephen D. Wolthusen
« Prev « First page 1282 / 1754 Last » Next »